Download Manual

trFunc :: ((String,String) → Int → Visibility → TypeExpr → ARule a → b) →
AFuncDecl a → b
transform function
funcName :: AFuncDecl a → (String,String)
get name of function
funcArity :: AFuncDecl a → Int
get arity of function
funcVisibility :: AFuncDecl a → Visibility
get visibility of function
funcType :: AFuncDecl a → TypeExpr
get type of function
funcRule :: AFuncDecl a → ARule a
get rule of function
updFunc :: ((String,String) → (String,String)) → (Int → Int) → (Visibility →
Visibility) → (TypeExpr → TypeExpr) → (ARule a → ARule a) → AFuncDecl a →
AFuncDecl a
update function
updFuncName :: ((String,String) → (String,String)) → AFuncDecl a → AFuncDecl a
update name of function
updFuncArity :: (Int → Int) → AFuncDecl a → AFuncDecl a
update arity of function
updFuncVisibility :: (Visibility → Visibility) → AFuncDecl a → AFuncDecl a
update visibility of function
updFuncType :: (TypeExpr → TypeExpr) → AFuncDecl a → AFuncDecl a
update type of function
updFuncRule :: (ARule a → ARule a) → AFuncDecl a → AFuncDecl a
update rule of function
isExternal :: AFuncDecl a → Bool
is function externally defined?
260