ContentsIndex
TypedIds
Documentation
data NameSpace
Constructors
ClassOrTypeNames
ValueNames
show/hide Instances
data IdTy i
Constructors
Value
FieldOf i (TypeInfo i)
MethodOf i Int [i]
ConstrOf i (TypeInfo i)
Class Int [i]
Type (TypeInfo i)
Assertion
Property
show/hide Instances
Functor IdTy
HasIdTy i (IdTy i)
(Data i, ??? i) => Data (IdTy i)
(Eq i, ??? i) => Eq (IdTy i)
HasNameSpace (IdTy id)
(Read i, ??? i) => Read (IdTy i)
(Show i, ??? i) => Show (IdTy i)
(Typeable i, ??? i) => Typeable (IdTy i)
data ConInfo i
Constructors
ConInfo
conName :: i
conArity :: Int
conFields :: (Maybe [i])
show/hide Instances
Functor ConInfo
(Data i, ??? i) => Data (ConInfo i)
(Eq i, ??? i) => Eq (ConInfo i)
(Read i, ??? i) => Read (ConInfo i)
(Show i, ??? i) => Show (ConInfo i)
(Typeable i, ??? i) => Typeable (ConInfo i)
data DefTy
Constructors
Newtype
Data
Synonym
Primitive
show/hide Instances
Data DefTy
Eq DefTy
Ord DefTy
Read DefTy
Show DefTy
Typeable DefTy
data TypeInfo i
Constructors
TypeInfo
defType :: (Maybe DefTy)
constructors :: [ConInfo i]
fields :: [i]
show/hide Instances
Functor TypeInfo
??? i => Data (TypeInfo i)
??? i => Eq (TypeInfo i)
??? i => Read (TypeInfo i)
??? i => Show (TypeInfo i)
??? i => Typeable (TypeInfo i)
class HasNameSpace t where
Methods
namespace :: t -> NameSpace
show/hide Instances
isClassOrType :: HasNameSpace t => t -> Bool
isValue :: HasNameSpace t => t -> Bool
class HasIdTy i t | t -> i where
Methods
idTy :: t -> IdTy i
show/hide Instances
Produced by Haddock version 0.9