Name.VConsts

Documentation

class TypeNames a where

Methods

tInt :: a

tRational :: a

tChar :: a

tIntzh :: a

tEnumzh :: a

tCharzh :: a

tBool :: a

tUnit :: a

tString :: a

tInteger :: a

tWorld__ :: a

Instances

TypeNames Ty

TypeNames Name

TypeNames E

TypeNames Type

class ConNames a where

Methods

vTrue :: a

vFalse :: a

vCons :: a

vUnit :: a

Instances

ConNames Val

ConNames E

ConNames (Lit E E)

class FromTupname a where

Methods

fromTupname :: Monad m => a -> m Int

Instances

FromTupname String

FromTupname Name

FromTupname (String, String)

class ToTuple a where

Methods

toTuple :: Int -> a

Instances

ToTuple String

ToTuple Tycon

ToTuple Type

ToTuple (String, String)

data FuncNames a

various functions needed for desugaring.

Constructors

FuncNames

Fields

func_equals :: a

func_fromInt :: a

func_fromInteger :: a

func_fromRational :: a

func_negate :: a

func_runExpr :: a

func_runMain :: a

func_runNoWrapper :: a

func_runRaw :: a

Instances

Functor FuncNames

Foldable FuncNames

Traversable FuncNames