Safe Haskell	None
Language	Haskell98

UHC.Util.CHR.GTerm

Synopsis

Documentation

data GTm Source #

Terms

Constructors

GTm_Var String	variable (to be substituted)
GTm_Int Integer	int value (for arithmetic)
GTm_Str String	string value
GTm_Con String [GTm]	general term structure
GTm_Nil	special case: list nil
GTm_Cns GTm GTm	special case: list cons

Instances

Eq GTm Source #
Methods (==) :: GTm -> GTm -> Bool # (/=) :: GTm -> GTm -> Bool #
Ord GTm Source #
Methods compare :: GTm -> GTm -> Ordering # (<) :: GTm -> GTm -> Bool # (<=) :: GTm -> GTm -> Bool # (>) :: GTm -> GTm -> Bool # (>=) :: GTm -> GTm -> Bool # max :: GTm -> GTm -> GTm # min :: GTm -> GTm -> GTm #
Show GTm Source #
Methods showsPrec :: Int -> GTm -> ShowS # show :: GTm -> String # showList :: [GTm] -> ShowS #
Generic GTm Source #
Associated Types type Rep GTm :: * -> * # Methods from :: GTm -> Rep GTm x # to :: Rep GTm x -> GTm #
PP GTm Source #
Methods pp :: GTm -> PP_Doc Source # ppList :: [GTm] -> PP_Doc Source #
type Rep GTm Source #
type Rep GTm = D1 (MetaData "GTm" "UHC.Util.CHR.GTerm.AST" "uhc-util-0.1.6.7-6t9ue1OogRx64o0dPcpUzP" False) ((:+:) ((:+:) (C1 (MetaCons "GTm_Var" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))) ((:+:) (C1 (MetaCons "GTm_Int" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer))) (C1 (MetaCons "GTm_Str" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))))) ((:+:) (C1 (MetaCons "GTm_Con" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [GTm])))) ((:+:) (C1 (MetaCons "GTm_Nil" PrefixI False) U1) (C1 (MetaCons "GTm_Cns" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 GTm)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 GTm)))))))

class GTermAs cnstr guard bprio prio tm | cnstr -> guard bprio prio tm, guard -> cnstr bprio prio tm, bprio -> cnstr guard prio tm, prio -> cnstr guard bprio tm, tm -> cnstr guard bprio prio where Source #

Term interpretation in context of CHR

Minimal complete definition

asTm, asHeadConstraint, asBodyConstraint, asGuard, asHeadBacktrackPrio, asAltBacktrackPrio, asRulePrio

Methods

asTm :: GTm -> GTermAsM tm Source #

asTmList :: GTm -> GTermAsM ([tm], Maybe tm) Source #

as list, if matches/possible. Only to be invoked for GTm_Cns

asHeadConstraint :: GTm -> GTermAsM cnstr Source #

asBodyConstraint :: GTm -> GTermAsM cnstr Source #

asGuard :: GTm -> GTermAsM guard Source #

asHeadBacktrackPrio :: GTm -> GTermAsM bprio Source #

asAltBacktrackPrio :: GTm -> GTermAsM bprio Source #

asRulePrio :: GTm -> GTermAsM prio Source #

gtermasFail :: GTm -> String -> GTermAsM a Source #

Fail the interpretation

parseFile :: GTermAs c g bp rp tm => FilePath -> IO (Either PP_Doc ([Rule c g bp rp], [c])) Source #

Parse a file as a CHR spec + queries