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

Safe HaskellNone
LanguageHaskell2010

Language.Paraiso.Prelude

Description

an extension of the standard Prelude for paraiso.

Synopsis

Documentation

class Boolean b where Source

Methods

true, false :: b Source

not :: b -> b Source

(&&), (||) :: b -> b -> b infixr 3 &&infixr 2 || Source

Instances

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

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

type Text = Text Source

An efficient String that is used thoroughout Paraiso modules.

showT :: Show a => a -> Text Source

(++) :: Appendable a => a -> a -> a infixr 5 Source