stgi-1.0.1: Educational implementation of the STG (Spineless Tagless G-machine)

Safe HaskellNone
LanguageHaskell2010

Stg.Prelude.Bool

Description

Boolean functions, like in Data.Bool.

Synopsis

Documentation

and2 :: Program Source

Binary and. Haskell's (&&).

&& : Bool -> Bool -> Bool

or2 :: Program Source

Binary or. Haskell's (||).

|| : Bool -> Bool -> Bool

not :: Program Source

Binary negation.

not : Bool -> Bool

bool :: Program Source

Boolean deconstructor.

bool f _ False = f
bool _ t True  = t

bool : a -> a -> Bool -> a

eq_Bool :: Program Source

Boolean equality.