Curry.Syntax.Utils

This module provides some utility functions for working with the abstract syntax tree of Curry.

Documentation

hasLanguageExtension :: Module a -> KnownExtension -> Bool

Check whether a Module has a specific Extension enabled by a pragma

knownExtensions :: Module a -> [KnownExtension]

Extract all known extensions from a Module

isTopDecl :: Decl a -> Bool

Is the declaration a top declaration?

isBlockDecl :: Decl a -> Bool

Is the declaration a block declaration?

isTypeSig :: Decl a -> Bool

Is the declaration a type signature?

infixOp :: InfixOp a -> Expression a

Convert an infix operator into an expression

isTypeDecl :: Decl a -> Bool

Is the declaration a type declaration?

isValueDecl :: Decl a -> Bool

Is the declaration a value declaration?

isInfixDecl :: Decl a -> Bool

Is the declaration an infix declaration?

isDefaultDecl :: Decl a -> Bool

Is the declaration a default declaration?

isClassDecl :: Decl a -> Bool

Is the declaration a class declaration?

isTypeOrClassDecl :: Decl a -> Bool

Is the declaration a type or a class declaration?

isInstanceDecl :: Decl a -> Bool

Is the declaration an instance declaration?

isFunctionDecl :: Decl a -> Bool

Is the declaration a function declaration?

isExternalDecl :: Decl a -> Bool

Is the declaration an external declaration?

patchModuleId :: FilePath -> Module a -> Module a

Replace the generic module name main with the module name derived from the FilePath of the module.

isVariablePattern :: Pattern a -> Bool

Is the pattern semantically equivalent to a variable pattern?

isVariableType :: TypeExpr -> Bool

Is a type expression a type variable?

isSimpleType :: TypeExpr -> Bool

Is a type expression simple, i.e., is it of the form T u_1 ... u_n, where T is a type constructor and u_1 ... u_n are type variables?

typeConstr :: TypeExpr -> QualIdent

Return the qualified type constructor of a type expression.

typeVariables :: TypeExpr -> [Ident]

Return the list of variables occuring in a type expression.

varIdent :: Var a -> Ident

Return the identifier of a variable.

flatLhs :: Lhs a -> (Ident, [Pattern a])

flatten the left-hand-side to the identifier and all constructor terms

eqnArity :: Equation a -> Int

Return the arity of an equation.

fieldLabel :: Field a -> QualIdent

Select the label of a field

fieldTerm :: Field a -> a

Select the term of a field

field2Tuple :: Field a -> (QualIdent, a)

Select the label and term of a field

opName :: InfixOp a -> QualIdent

Get the operator name of an infix operator

funDecl :: SpanInfo -> a -> Ident -> [Pattern a] -> Expression a -> Decl a

mkEquation :: SpanInfo -> Ident -> [Pattern a] -> Expression a -> Equation a

simpleRhs :: SpanInfo -> Expression a -> Rhs a

patDecl :: SpanInfo -> Pattern a -> Expression a -> Decl a

varDecl :: SpanInfo -> a -> Ident -> Expression a -> Decl a

constrPattern :: a -> QualIdent -> [(a, Ident)] -> Pattern a

caseAlt :: SpanInfo -> Pattern a -> Expression a -> Alt a

mkLet :: [Decl a] -> Expression a -> Expression a

mkVar :: a -> Ident -> Expression a

apply :: Expression a -> [Expression a] -> Expression a

unapply :: Expression a -> [Expression a] -> (Expression a, [Expression a])

constrId :: ConstrDecl -> Ident

Get the identifier of a constructor declaration

nconstrId :: NewConstrDecl -> Ident

Get the identifier of a newtype constructor declaration

nconstrType :: NewConstrDecl -> TypeExpr

Get the type of a newtype constructor declaration

recordLabels :: ConstrDecl -> [Ident]

Get record label identifiers of a constructor declaration

nrecordLabels :: NewConstrDecl -> [Ident]

Get record label identifier of a newtype constructor declaration

methods :: Decl a -> [Ident]

Get the declared method identifiers of a type class method declaration

impls :: Decl a -> [Ident]

Get the method identifiers of a type class method implementations

imethod :: IMethodDecl -> Ident

Get the declared method identifier of an interface method declaration

imethodArity :: IMethodDecl -> Maybe Int

Get the arity of an interface method declaration

shortenModuleAST :: Module () -> Module ()