hets -- a heterogenous Specification (CASL) tool set
Contents
Index
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