hydra-0.8.0: Type-aware transformations for data and programs
Safe HaskellSafe-Inferred
LanguageHaskell2010

Hydra.Dsl.Lib.Logic

Documentation

and :: TTerm (Bool -> Bool -> Bool) Source #

ifElse :: TTerm (a -> a -> Bool -> a) Source #

not :: TTerm (Bool -> Bool) Source #

or :: TTerm (Bool -> Bool -> Bool) Source #