blob: 254f1f550d09e868a3aab95927e416e5c9e410b4 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
|
module DeprecatedNewtype where
-- | some documentation
newtype SomeNewType = SomeNewTypeConst String {- ^ constructor docu -}
{-# DEPRECATED SomeNewType "SomeNewType" #-}
{-# DEPRECATED SomeNewTypeConst "SomeNewTypeConst" #-}
newtype SomeOtherNewType = SomeOtherNewTypeConst String
{-# DEPRECATED SomeOtherNewType "SomeOtherNewType" #-}
{-# DEPRECATED SomeOtherNewTypeConst "SomeOtherNewTypeConst" #-}
|
