Portability | non-portable |
---|---|
Stability | experimental |
Maintainer | sjoerd@w3future.com |
Safe Haskell | None |
- eqADT :: (ADT t, Constraints t Eq) => t -> t -> Bool
- compareADT :: (ADT t, Constraints t Ord) => t -> t -> Ordering
- minBoundADT :: (ADT t, Constraints t Bounded) => t
- maxBoundADT :: (ADT t, Constraints t Bounded) => t
- showsPrecADT :: forall t. (ADT t, Constraints t Show) => Int -> t -> ShowS
- readPrecADT :: forall t. (ADT t, Constraints t Read) => ReadPrec t
- memptyADT :: (ADTRecord t, Constraints t Monoid) => t
- mappendADT :: (ADTRecord t, Constraints t Monoid) => t -> t -> t
- fromIntegerADT :: (ADTRecord t, Constraints t Num) => Integer -> t
For all instances
compareADT :: (ADT t, Constraints t Ord) => t -> t -> OrderingSource
minBoundADT :: (ADT t, Constraints t Bounded) => tSource
maxBoundADT :: (ADT t, Constraints t Bounded) => tSource
showsPrecADT :: forall t. (ADT t, Constraints t Show) => Int -> t -> ShowSSource
readPrecADT :: forall t. (ADT t, Constraints t Read) => ReadPrec tSource
For datatypes with one constructor
memptyADT :: (ADTRecord t, Constraints t Monoid) => tSource
mappendADT :: (ADTRecord t, Constraints t Monoid) => t -> t -> tSource
fromIntegerADT :: (ADTRecord t, Constraints t Num) => Integer -> tSource