DDF.Bool

Documentation

class DBI r => Bool r where

Minimal complete definition

bool, ite

Methods

bool :: Bool -> r h Bool

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

Instances

Bool Eval

Methods

bool :: Bool -> Eval h Bool

ite :: Eval h (a -> a -> Bool -> a)

Bool Show

Methods

bool :: Bool -> Show h Bool

ite :: Show h (a -> a -> Bool -> a)

Bool Size

Methods

bool :: Bool -> Size h Bool

ite :: Size h (a -> a -> Bool -> a)

Bool r => Bool (GWDiff r)

Methods

bool :: Bool -> GWDiff r h Bool

ite :: GWDiff r h (a -> a -> Bool -> a)

(Prod r, Bool r) => Bool (ImpW r)

Methods

bool :: Bool -> ImpW r h Bool

ite :: ImpW r h (a -> a -> Bool -> a)

Bool r => Bool (UnHOAS r)

Methods

bool :: Bool -> UnHOAS r h Bool

ite :: UnHOAS r h (a -> a -> Bool -> a)

(Bool l, Bool r) => Bool (Combine l r)

Methods

bool :: Bool -> Combine l r h Bool

ite :: Combine l r h (a -> a -> Bool -> a)

Bool r => Bool (WDiff r v)

Methods

bool :: Bool -> WDiff r v h Bool

ite :: WDiff r v h (a -> a -> Bool -> a)

module DDF.DBI