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