hets -- a heterogenous Specification (CASL) tool setContentsIndex
CASL.LiteralFuns
Portability portable
Stability experimental
Maintainer hets@tzi.de
Description
functions to test ids with argument terms for literals of CASL
Synopsis
isLiteral :: GlobalAnnos -> Id -> [TERM] -> Bool
isNumber :: GlobalAnnos -> Id -> [TERM] -> Bool
isSignedNumber :: GlobalAnnos -> Id -> [TERM] -> Bool
isString :: GlobalAnnos -> Id -> [TERM] -> Bool
isList :: GlobalAnnos -> Id -> [TERM] -> Bool
isFloat :: GlobalAnnos -> Id -> [TERM] -> Bool
isFrac :: GlobalAnnos -> Id -> [TERM] -> Bool
collectElements :: Maybe Id -> Id -> [TERM] -> [TERM]
basicTerm :: TERM -> Maybe Token
convCASLChar :: Token -> String
splitAppl :: TERM -> (Id, [TERM])
Produced by Haddock version 0.6