Fcf.Data.Bool

Booleans.

Note that the operations from this module conflict with Data.Type.Bool.

Documentation

data UnBool :: Exp a -> Exp a -> Bool -> Exp a

N.B.: The order of the two branches is the opposite of "if": UnBool ifFalse ifTrue bool.

This mirrors the default order of constructors:

data Bool = False | True
----------- False < True

Instances

type Eval (UnBool fal tru 'False :: a -> Type)

Defined in Fcf.Data.Bool

type Eval (UnBool fal tru 'False :: a -> Type) = Eval fal

type Eval (UnBool fal tru 'True :: a -> Type)

Defined in Fcf.Data.Bool

type Eval (UnBool fal tru 'True :: a -> Type) = Eval tru

data (||) :: Bool -> Bool -> Exp Bool infixr 2

Instances

type Eval ('False || b :: Bool -> Type)

Defined in Fcf.Data.Bool

type Eval ('False || b :: Bool -> Type) = b

type Eval ('True || b :: Bool -> Type)

Defined in Fcf.Data.Bool

type Eval ('True || b :: Bool -> Type) = 'True

type Eval (a || 'False :: Bool -> Type)

Defined in Fcf.Data.Bool

type Eval (a || 'False :: Bool -> Type) = a

type Eval (a || 'True :: Bool -> Type)

Defined in Fcf.Data.Bool

type Eval (a || 'True :: Bool -> Type) = 'True

data (&&) :: Bool -> Bool -> Exp Bool infixr 3

Instances

type Eval ('False && b :: Bool -> Type)

Defined in Fcf.Data.Bool

type Eval ('False && b :: Bool -> Type) = 'False

type Eval ('True && b :: Bool -> Type)

Defined in Fcf.Data.Bool

type Eval ('True && b :: Bool -> Type) = b

type Eval (a && 'False :: Bool -> Type)

Defined in Fcf.Data.Bool

type Eval (a && 'False :: Bool -> Type) = 'False

type Eval (a && 'True :: Bool -> Type)

Defined in Fcf.Data.Bool

type Eval (a && 'True :: Bool -> Type) = a

data Not :: Bool -> Exp Bool

Instances

type Eval (Not 'False)

Defined in Fcf.Data.Bool

type Eval (Not 'False) = 'True

type Eval (Not 'True)

Defined in Fcf.Data.Bool

type Eval (Not 'True) = 'False