Contents Index

TypedIds

Synopsis

data NameSpace = ClassOrTypeNames | ValueNames data DefTy = Newtype | Data | Synonym | Primitive data IdTy i = Value | FieldOf i (TypeInfo i) | MethodOf i [i] | ConstrOf i (TypeInfo i) | Class [i] | Type (TypeInfo i) | Assertion | Property data ConInfo i = ConInfo { conName :: i conArity :: Int conFields :: (Maybe [i]) } data TypeInfo i = TypeInfo { defType :: (Maybe DefTy) constructors :: [ConInfo i] fields :: [i] } class HasNameSpace t where namespace :: t -> NameSpace isClassOrType :: HasNameSpace t => t -> Bool isValue :: HasNameSpace t => t -> Bool class HasIdTy i t | t -> i where idTy :: t -> IdTy i

Produced by Haddock version 0.6