| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Hydra.Phantoms
Description
Phantom types for use in model definitions
Documentation
data Definition a Source #
Constructors
| Definition | |
Fields
| |
Instances
| Read (Definition a) Source # | |
Defined in Hydra.Phantoms Methods readsPrec :: Int -> ReadS (Definition a) # readList :: ReadS [Definition a] # readPrec :: ReadPrec (Definition a) # readListPrec :: ReadPrec [Definition a] # | |
| Show (Definition a) Source # | |
Defined in Hydra.Phantoms Methods showsPrec :: Int -> Definition a -> ShowS # show :: Definition a -> String # showList :: [Definition a] -> ShowS # | |
| Eq (Definition a) Source # | |
Defined in Hydra.Phantoms | |
| Ord (Definition a) Source # | |
Defined in Hydra.Phantoms Methods compare :: Definition a -> Definition a -> Ordering # (<) :: Definition a -> Definition a -> Bool # (<=) :: Definition a -> Definition a -> Bool # (>) :: Definition a -> Definition a -> Bool # (>=) :: Definition a -> Definition a -> Bool # max :: Definition a -> Definition a -> Definition a # min :: Definition a -> Definition a -> Definition a # | |
_Definition :: Name Source #
Constructors
| Reference | |
Instances
| Read (Reference a) Source # | |
| Show (Reference a) Source # | |
| Eq (Reference a) Source # | |
| Ord (Reference a) Source # | |
Defined in Hydra.Phantoms | |
_Reference :: Name Source #