hoogleSource codeContentsIndex
Hoogle.TypeSig.Type
Documentation
data TypeSig Source
Constructors
TypeSig Constraint Type
show/hide Instances
type Constraint = [Type]Source
type TypeContext = [(String, String)]Source
data TypeSimp Source
Constructors
TypeSimp TypeContext Type
show/hide Instances
data Type Source
Constructors
TApp Type [Type]
TLit String
TVar String
TFun [Type]
show/hide Instances
tApp :: Type -> [Type] -> TypeSource
fromTFun :: Type -> [Type]Source
isTVar :: Type -> BoolSource
isTLit :: Type -> BoolSource
fromTApp :: Type -> (Type, [Type])Source
isTLitTuple :: String -> BoolSource
removeTApp :: Type -> TypeSource
insertTApp :: Type -> TypeSource
onTypeSig :: BiplateType TypeSig TypeSource
variables :: Type -> [String]Source
variablesSig :: TypeSig -> [String]Source
showConstraint :: Constraint -> StringSource
showFun :: Type -> StringSource
normaliseTypeSig :: TypeSig -> TypeSigSource
normaliseType :: Type -> TypeSource
splitFun :: Type -> [Type]Source
renameVars :: (String -> String) -> TypeSig -> TypeSigSource
Produced by Haddock version 2.4.2