Language.Haskell

Documentation

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

foralls :: Type () -> Type ()

tyApps :: Type () -> [Type ()] -> Type ()

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

fromTyTuple :: Type l -> [Type l]

fromTyParen :: Type () -> Type ()

fromTyParens :: Type () -> Type ()

tyRoot :: Type () -> String

isTyFun :: Type () -> Bool

isTyParen :: Type l -> Bool

fromTyList :: Type l -> Maybe (Type l)

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

appP :: Exp () -> Exp () -> Exp ()

simplify :: Data a => a -> a

isGuardFalse :: Match l -> Bool

rename :: QName () -> QName ()

isAtom :: Exp l -> Bool

paren :: Exp () -> Exp ()

sl :: SrcLoc

noSl :: Data from => from -> from

isIdent :: [Char] -> Bool

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 l -> ModuleName l

moduleDecls :: Module l -> [Decl l]

moduleImports :: Module l -> [ImportDecl l]

modulePragmas :: Module l -> [ModulePragma l]

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

dataDeclName :: DataDecl -> String

fromDeclHead :: DeclHead a -> (Name a, [TyVarBind a])

fromIParen :: InstRule a -> InstRule a

fromInstHead :: InstHead a -> (QName a, [Type a])

dataDeclVars :: DataDecl -> [String]

dataDeclVarsStar :: DataDecl -> [String]

dataDeclArity :: DataDecl -> Int

dataDeclCtors :: DataDecl -> [CtorDecl]

ctorDeclName :: CtorDecl -> String

ctorDeclName' :: CtorDecl -> Name ()

ctorDeclFields :: CtorDecl -> FieldDecl

ctorDeclArity :: CtorDecl -> Int

declName :: Decl () -> String

module Language.Haskell.Exts