Language.Paraiso.Name

name identifier.

Documentation

newtype Name

a name.

Constructors

Name String

Instances

Eq Name

Ord Name

Read Name

Show Name

Nameable Name

Name has Name. Name of Name is Name itself.

Symbolable Cpp Name

data Named a

Convert some type to a named type.

Constructors

Named Name a

Instances

Functor Named

Eq a => Eq (Named a)

Ord a => Ord (Named a)

Read a => Read (Named a)

Show a => Show (Named a)

Nameable (Named a)

class Nameable a where

something that has name.

Methods

name :: a -> Name

get its name.

nameStr :: a -> String

get its name as a String.

Instances

Nameable Name

Name has Name. Name of Name is Name itself.

Nameable CMember

Nameable (Named a)

(Vector v, C g) => Nameable (Kernel v g a)

(Vector v, C g) => Nameable (POM v g a)

namee :: Named a -> a

The thing the name points to.