Language.Haskell

Documentation

(?) :: Bool -> a -> a -> a

foralls :: Type -> Type

tyApps :: Type -> [Type] -> Type

fromTyApps :: Type -> (Type, [Type])

fromTyTuple :: Type -> [Type]

fromTyParen :: Type -> Type

fromTyParens :: Type -> Type

tyRoot :: Type -> String

isTyFun :: Type -> Bool

isTyParen :: Type -> Bool

fromTyList :: Type -> Maybe Type

(~=) :: Pretty a => a -> String -> Bool

appP :: Exp -> Exp -> Exp

simplify :: Data a => a -> a

isGuardFalse :: Match -> Bool

rename :: QName -> QName

isAtom :: Exp -> Bool

paren :: Exp -> Exp

sl :: SrcLoc

noSl :: Data from => from -> from

title :: [Char] -> [Char]

qname :: String -> QName

var :: String -> Exp

con :: String -> Exp

tyVar :: String -> Type

tyVarBind :: String -> TyVarBind

tyCon :: String -> Type

pVar :: String -> Pat

qvop :: String -> QOp

dataDeclType :: DataDecl -> Type

dataDeclFields :: DataDecl -> [String]

type DataDecl = Decl

type CtorDecl = Either QualConDecl GadtDecl

type FieldDecl = [(String, Type)]

type FullDataDecl = (ModuleName, DataDecl)

moduleName :: Module -> ModuleName

moduleDecls :: Module -> [Decl]

moduleImports :: Module -> [ImportDecl]

modulePragmas :: Module -> [ModulePragma]

showDecls :: Pretty a => [a] -> String

tyApp :: Type -> [Type] -> Type

tyFun :: [Type] -> Type

apps :: Exp -> [Exp] -> Exp

bind :: String -> [Pat] -> Exp -> Decl

binds :: String -> [([Pat], Exp)] -> Decl

isDataDecl :: Decl -> Bool

dataDeclSrcLoc :: DataDecl -> SrcLoc

dataDeclContext :: DataDecl -> Context

dataDeclName :: DataDecl -> String

dataDeclVars :: DataDecl -> [String]

dataDeclArity :: DataDecl -> Int

dataDeclCtors :: DataDecl -> [CtorDecl]

ctorDeclName :: CtorDecl -> String

ctorDeclName' :: CtorDecl -> Name

ctorDeclFields :: CtorDecl -> FieldDecl

ctorDeclArity :: CtorDecl -> Int

declName :: Decl -> String