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
removeTApp :: Type -> Type
insertTApp :: Type -> Type
variablesSig :: TypeSig -> [String]
showConstraint :: Constraint -> String
normaliseTypeSig :: TypeSig -> TypeSig
normaliseType :: Type -> Type
renameVars :: (String -> String) -> TypeSig -> TypeSig