Safe Haskell	Safe
Language	Haskell2010

DDF.Bool

Documentation

class DBI r => Bool r where Source #

Minimal complete definition

Methods

ite :: r h (a -> a -> Bool -> a) Source #

Instances

Bool Eval Source #
Methods bool :: Bool -> Eval h Bool Source # ite :: Eval h (a -> a -> Bool -> a) Source #
Bool Show Source #
Methods bool :: Bool -> Show h Bool Source # ite :: Show h (a -> a -> Bool -> a) Source #
Bool Size Source #
Methods bool :: Bool -> Size h Bool Source # ite :: Size h (a -> a -> Bool -> a) Source #
Bool r => Bool (P r) Source #
Methods bool :: Bool -> P r h Bool Source # ite :: P r h (a -> a -> Bool -> a) Source #
SubL c Bool => Bool (Term c) Source #
Methods bool :: Bool -> Term c h Bool Source # ite :: Term c h (a -> a -> Bool -> a) Source #
Bool r => Bool (UnHOAS r) Source #
Methods bool :: Bool -> UnHOAS r h Bool Source # ite :: UnHOAS r h (a -> a -> Bool -> a) Source #
(Prod r, Bool r) => Bool (UnLiftEnv r) Source #
Methods bool :: Bool -> UnLiftEnv r h Bool Source # ite :: UnLiftEnv r h (a -> a -> Bool -> a) Source #
(Prod r, Bool r) => Bool (ImpW r) Source #
Methods bool :: Bool -> ImpW r h Bool Source # ite :: ImpW r h (a -> a -> Bool -> a) Source #
type SubLC c Bool Source #
type SubLC c Bool = SubL c DBI

ite1 :: Bool r => r h a -> r h (a -> Bool -> a) Source #

ite2 :: Bool r => r h a -> r h a -> r h (Bool -> a) Source #

ite3 :: Bool r => r h b -> r h b -> r h Bool -> r h b Source #