Contents Index

TypedIds

Documentation

data NameSpace

Constructors ClassOrTypeNames ValueNames Instances Data NameSpace Eq NameSpace Ord NameSpace Show NameSpace Typeable NameSpace

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 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]) 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 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] 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 Instances HasNameSpace (Ent n) HasNameSpace (IdTy id)

isClassOrType :: HasNameSpace t => t -> Bool

isValue :: HasNameSpace t => t -> Bool

class HasIdTy i t | t -> i where

Methods idTy :: t -> IdTy i Instances HasIdTy PId PNT HasIdTy i (IdTy i) HasIdTy n (Ent n)

Produced by Haddock version 0.9