Language.Paraiso.Name

name identifier.

Documentation

class Nameable a where

something that has name.

Minimal complete definition

name

Methods

name :: a -> Name

get its name.

nameText :: a -> Text

get its name as a Text.

nameStr :: a -> String

get its name as a String.

Instances

Nameable Name

Name has Name. Name of Name is Name itself.

Nameable Var

Nameable Function

Nameable Class

Nameable Program

Nameable (Named a)

Nameable (Kernel v g a)

Nameable (StorageRef v g a)

Nameable (SubKernelRef v g a)

Nameable (Plan v g a)

Nameable (OM v g a)

data Name

a name.

Instances

Eq Name

Ord Name

Read Name

Show Name

Nameable Name

Name has Name. Name of Name is Name itself.

mkName :: Text -> Name

create a name from a Text. We do not export the constructor Name for future extensibility.

isNameOf :: Text -> a -> Named a

create Named object in an instance.

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)

namee :: Named a -> a

The thing the name points to.