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

Safe HaskellNone
LanguageHaskell2010

Stg.Prelude.Bool

Description

Boolean functions, like in Data.Bool.

This module should be imported qualified to avoid clashes with standard Haskell definitions.

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.