Paraiso-0.3.1.2: a code generator for partial differential equations solvers.

Safe HaskellSafe-Infered

Language.Paraiso.Prelude

Description

an extension of the standard Prelude for paraiso.

Synopsis

Documentation

class Boolean b whereSource

Methods

true, false :: bSource

not :: b -> bSource

(&&), (||) :: b -> b -> bSource

Instances

Boolean Bool 
TRealm r => Boolean (Builder v g a (Value r Bool))

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

type Text = TextSource

An efficient String that is used thoroughout Paraiso modules.

showT :: Show a => a -> TextSource

(++) :: forall full item. ListLike full item => full -> full -> fullSource