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

Safe HaskellSafe-Infered

BoolExp

Documentation

data BoolExp a

Constructors

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

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