GenI-0.24.3: A natural language generator (specifically, an FB-LTAG surface realiser)

Safe HaskellSafe-Inferred

BoolExp

Documentation

data BoolExp a Source

Constructors

Cond a 
And (BoolExp a) (BoolExp a) 
Or (BoolExp a) (BoolExp a) 
Not (BoolExp a) 

check :: (a -> Bool) -> BoolExp a -> BoolSource