curry-frontend-0.2.5: Compile the functional logic language Curry to several intermediate formats Source code Contents Index

InterfaceCheck

Documentation

interfaceCheck :: Prog -> Prog -> Bool Source

checkTypeDecls :: [TypeDecl] -> [TypeDecl] -> Bool Source

checkConsDecls :: [ConsDecl] -> [ConsDecl] -> Bool Source

checkFuncDecls :: [FuncDecl] -> [FuncDecl] -> Bool Source

checkRule :: Rule -> Rule -> Bool Source

checkOpDecls :: [OpDecl] -> [OpDecl] -> Bool Source

isDataType :: QName -> TypeDecl -> Bool Source

isTypeSyn :: QName -> TypeDecl -> Bool Source

isCons :: QName -> ConsDecl -> Bool Source

isFunc :: QName -> FuncDecl -> Bool Source

isOp :: QName -> OpDecl -> Bool Source

extract :: (a -> Bool) -> [a] -> (Maybe a, [a]) Source

Produced by Haddock version 2.4.2