Safe Haskell | None |
---|---|
Language | Haskell2010 |
Language.Haskell
Documentation
fromTyApps :: Type () -> (Type (), [Type ()]) #
fromTyTuple :: Type t -> [Type t] #
fromTyParen :: Type () -> Type () #
fromTyParens :: Type () -> Type () #
fromTyList :: Type t -> Maybe (Type t) #
isGuardFalse :: Match t -> Bool #
dataDeclType :: DataDecl -> Type () #
dataDeclFields :: DataDecl -> [String] #
type FullDataDecl = (ModuleName (), DataDecl) #
moduleName :: Module t -> ModuleName t #
moduleDecls :: Module t -> [Decl t] #
moduleImports :: Module t -> [ImportDecl t] #
modulePragmas :: Module t -> [ModulePragma t] #
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 #