Safe Haskell | Safe-Infered |
---|
Hoogle.Type.TypeSig
Documentation
data TypeSig
Constructors
TypeSig Constraint Type |
type Constraint = [Type]
type TypeContext = [(String, String)]
data TypeSimp
Constructors
TypeSimp TypeContext Type |
data Type
isTLitTuple :: String -> Bool
insertTApp, removeTApp :: Type -> Type
transformSig :: (Type -> Type) -> TypeSig -> TypeSig
universeSig :: TypeSig -> [Type]
variablesSig :: TypeSig -> [String]
showConstraint :: Constraint -> String
normaliseTypeSig :: TypeSig -> TypeSig
normaliseType :: Type -> Type
renameVars :: (String -> String) -> TypeSig -> TypeSig