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

Hydra.Dsl.Lib.Logic

Documentation

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

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

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

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