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

Safe HaskellSafe-Infered

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