Paraiso-0.3.1.2: a code generator for partial differential equations solvers.
Language.Paraiso.Name
Description
name identifier.
Synopsis
class Nameable a whereSource
something that has name.
Methods
name :: a -> NameSource
get its name.
nameText :: a -> TextSource
get its name as a Text.
Text
nameStr :: a -> StringSource
get its name as a String.
String
Instances
Name has Name. Name of Name is Name itself.
Name
data Name Source
a name.
mkName :: Text -> NameSource
create a name from a Text. We do not export the constructor Name for future extensibility.
isNameOf :: Text -> a -> Named aSource
create Named object in an instance.
data Named a Source
Convert some type to a named type.
Constructors
namee :: Named a -> aSource
The thing the name points to.