Language.Paraiso.Prelude

Redefine some items from the standard Prelude.

Documentation

module Control.Applicative

module Control.Monad

module Data.Foldable

module Data.Traversable

module NumericPrelude

class Boolean b where

Methods

true :: b

false :: b

not :: b -> b

(&&) :: b -> b -> b

(||) :: b -> b -> b

Instances

Boolean Bool

(Vector v, C g, TRealm r) => Boolean (Builder v g (Value r Bool))

Builder is Boolean. You can use true, false, not, &&, ||.