Paraiso-0.3.1.5: a code generator for partial differential equations solvers.
Language.Paraiso.Prelude
Description
an extension of the standard Prelude for paraiso.
Synopsis
class Boolean b where Source
Methods
true, false :: b Source
not :: b -> b Source
(&&), (||) :: b -> b -> b infixr 3 &&infixr 2 || Source
Instances
Builder is Boolean. You can use true, false, not, &&, ||.
Boolean
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