Symantic.Univariant.Trans

Type family Output

type family Output (repr :: Type -> Type) :: Type -> Type

Instances

type Output Haskell

Defined in Symantic.Parser.Haskell

type Output Haskell = ValueCode

type Output (Any repr)

Defined in Symantic.Univariant.Trans

type Output (Any repr) = repr

type Output (Comb repr)

Defined in Symantic.Parser.Grammar.Optimize

type Output (Comb repr) = repr

type Output (CleanDefs _letName repr)

Defined in Symantic.Univariant.Letable

type Output (CleanDefs _letName repr) = repr

type Output (ObserveSharing letName repr)

Defined in Symantic.Univariant.Letable

type Output (ObserveSharing letName repr) = CleanDefs letName repr

type Output (OptimizeComb _letName repr)

Defined in Symantic.Parser.Grammar.Optimize

type Output (OptimizeComb _letName repr) = Comb repr

Class Trans

class Trans from to where

A translation from an interpreter (from) to an interpreter (to).

Methods

trans :: from a -> to a

Instances

Trans Haskell Value

Defined in Symantic.Parser.Haskell

Methods

trans :: Haskell a -> Value a

Trans Haskell ValueCode

Defined in Symantic.Parser.Haskell

Methods

trans :: Haskell a -> ValueCode a

Trans ValueCode Haskell

Defined in Symantic.Parser.Haskell

Methods

trans :: ValueCode a -> Haskell a

Trans repr (Any repr)

Defined in Symantic.Univariant.Trans

Methods

trans :: repr a -> Any repr a

Trans Haskell (CodeQ :: Type -> Type)

Defined in Symantic.Parser.Haskell

Methods

trans :: Haskell a -> CodeQ a

Trans InstrPure (CodeQ :: Type -> Type)

Defined in Symantic.Parser.Machine.Instructions

Methods

trans :: InstrPure a -> CodeQ a

Trans repr (CleanDefs letName repr)

Defined in Symantic.Univariant.Letable

Methods

trans :: repr a -> CleanDefs letName repr a

Trans (Any repr) repr

Defined in Symantic.Univariant.Trans

Methods

trans :: Any repr a -> repr a

(Applicable repr, Alternable repr, Selectable repr, Foldable repr, Lookable repr, Matchable repr, Letable Name repr) => Trans (Comb repr) repr

Defined in Symantic.Parser.Grammar.Optimize

Methods

trans :: Comb repr a -> repr a

Trans (Comb repr) (OptimizeComb letName repr)

Defined in Symantic.Parser.Grammar.Optimize

Methods

trans :: Comb repr a -> OptimizeComb letName repr a

Trans (Comb repr) repr => Trans (OptimizeComb letName repr) repr

Defined in Symantic.Parser.Grammar.Optimize

Methods

trans :: OptimizeComb letName repr a -> repr a

Trans (OptimizeComb letName repr) (Comb repr)

Defined in Symantic.Parser.Grammar.Optimize

Methods

trans :: OptimizeComb letName repr a -> Comb repr a

(Letable letName repr, MakeLetName letName, Eq letName, Hashable letName) => Trans (CleanDefs letName repr) (ObserveSharing letName repr)

Defined in Symantic.Univariant.Letable

Methods

trans :: CleanDefs letName repr a -> ObserveSharing letName repr a

(Executable repr, Readable repr (InputToken inp)) => Trans (Instr inp vs es) (repr inp vs es)

Defined in Symantic.Parser.Machine.Instructions

Methods

trans :: Instr inp vs es a -> repr inp vs es a

Class BiTrans

type BiTrans from to = (Trans from to, Trans to from)

Convenient type class synonym. Note that this is not necessarily a bijective translation, a trans being not necessarily injective nor surjective.

Class Liftable

type Liftable repr = Trans (Output repr) repr

Convenient type class synonym for using Output

lift :: forall repr a. Liftable repr => Output repr a -> repr a

unlift :: forall repr a. Trans repr (Output repr) => repr a -> Output repr a

Class Unliftable

type Unliftable repr = Trans repr (Output repr)

Convenient type class synonym for using Output

Class Trans1

class Trans1 from to where

Minimal complete definition

Nothing

Methods

trans1 :: (from a -> from b) -> to a -> to b

trans1 :: BiTrans from to => (from a -> from b) -> to a -> to b

Instances

Trans1 repr (Any repr)

Defined in Symantic.Univariant.Trans

Methods

trans1 :: (repr a -> repr b) -> Any repr a -> Any repr b

Trans1 repr (CleanDefs letName repr)

Defined in Symantic.Univariant.Letable

Methods

trans1 :: (repr a -> repr b) -> CleanDefs letName repr a -> CleanDefs letName repr b

Trans1 (Any repr) repr

Defined in Symantic.Univariant.Trans

Methods

trans1 :: (Any repr a -> Any repr b) -> repr a -> repr b

Trans1 (Comb repr) (OptimizeComb letName repr)

Defined in Symantic.Parser.Grammar.Optimize

Methods

trans1 :: (Comb repr a -> Comb repr b) -> OptimizeComb letName repr a -> OptimizeComb letName repr b

(Letable letName repr, MakeLetName letName, Eq letName, Hashable letName) => Trans1 (CleanDefs letName repr) (ObserveSharing letName repr)

Defined in Symantic.Univariant.Letable

Methods

trans1 :: (CleanDefs letName repr a -> CleanDefs letName repr b) -> ObserveSharing letName repr a -> ObserveSharing letName repr b

Class Liftable1

type Liftable1 repr = Trans1 (Output repr) repr

Convenient type class synonym for using Output

lift1 :: forall repr a b. Liftable1 repr => (Output repr a -> Output repr b) -> repr a -> repr b

Class Trans2

class Trans2 from to where

Minimal complete definition

Nothing

Methods

trans2 :: (from a -> from b -> from c) -> to a -> to b -> to c

trans2 :: BiTrans from to => (from a -> from b -> from c) -> to a -> to b -> to c

Instances

Trans2 repr (Any repr)

Defined in Symantic.Univariant.Trans

Methods

trans2 :: (repr a -> repr b -> repr c) -> Any repr a -> Any repr b -> Any repr c

Trans2 repr (CleanDefs letName repr)

Defined in Symantic.Univariant.Letable

Methods

trans2 :: (repr a -> repr b -> repr c) -> CleanDefs letName repr a -> CleanDefs letName repr b -> CleanDefs letName repr c

Trans2 (Any repr) repr

Defined in Symantic.Univariant.Trans

Methods

trans2 :: (Any repr a -> Any repr b -> Any repr c) -> repr a -> repr b -> repr c

Trans2 (Comb repr) (OptimizeComb letName repr)

Defined in Symantic.Parser.Grammar.Optimize

Methods

trans2 :: (Comb repr a -> Comb repr b -> Comb repr c) -> OptimizeComb letName repr a -> OptimizeComb letName repr b -> OptimizeComb letName repr c

(Letable letName repr, MakeLetName letName, Eq letName, Hashable letName) => Trans2 (CleanDefs letName repr) (ObserveSharing letName repr)

Defined in Symantic.Univariant.Letable

Methods

trans2 :: (CleanDefs letName repr a -> CleanDefs letName repr b -> CleanDefs letName repr c) -> ObserveSharing letName repr a -> ObserveSharing letName repr b -> ObserveSharing letName repr c

Class Liftable2

type Liftable2 repr = Trans2 (Output repr) repr

Convenient type class synonym for using Output

lift2 :: forall repr a b c. Liftable2 repr => (Output repr a -> Output repr b -> Output repr c) -> repr a -> repr b -> repr c

Class Trans3

class Trans3 from to where

Minimal complete definition

Nothing

Methods

trans3 :: (from a -> from b -> from c -> from d) -> to a -> to b -> to c -> to d

trans3 :: BiTrans from to => (from a -> from b -> from c -> from d) -> to a -> to b -> to c -> to d

Instances

Trans3 repr (Any repr)

Defined in Symantic.Univariant.Trans

Methods

trans3 :: (repr a -> repr b -> repr c -> repr d) -> Any repr a -> Any repr b -> Any repr c -> Any repr d

Trans3 repr (CleanDefs letName repr)

Defined in Symantic.Univariant.Letable

Methods

trans3 :: (repr a -> repr b -> repr c -> repr d) -> CleanDefs letName repr a -> CleanDefs letName repr b -> CleanDefs letName repr c -> CleanDefs letName repr d

Trans3 (Any repr) repr

Defined in Symantic.Univariant.Trans

Methods

trans3 :: (Any repr a -> Any repr b -> Any repr c -> Any repr d) -> repr a -> repr b -> repr c -> repr d

Trans3 (Comb repr) (OptimizeComb letName repr)

Defined in Symantic.Parser.Grammar.Optimize

Methods

trans3 :: (Comb repr a -> Comb repr b -> Comb repr c -> Comb repr d) -> OptimizeComb letName repr a -> OptimizeComb letName repr b -> OptimizeComb letName repr c -> OptimizeComb letName repr d

(Letable letName repr, MakeLetName letName, Eq letName, Hashable letName) => Trans3 (CleanDefs letName repr) (ObserveSharing letName repr)

Defined in Symantic.Univariant.Letable

Methods

trans3 :: (CleanDefs letName repr a -> CleanDefs letName repr b -> CleanDefs letName repr c -> CleanDefs letName repr d) -> ObserveSharing letName repr a -> ObserveSharing letName repr b -> ObserveSharing letName repr c -> ObserveSharing letName repr d

Class Liftable3

type Liftable3 repr = Trans3 (Output repr) repr

Convenient type class synonym for using Output

lift3 :: forall repr a b c d. Liftable3 repr => (Output repr a -> Output repr b -> Output repr c -> Output repr d) -> repr a -> repr b -> repr c -> repr d

Type Any

newtype Any repr a

A newtype to disambiguate the Trans instance to any other interpreter when there is also one or more Transs to other interpreters with a different interpretation than the generic one.

Constructors

Any

Fields

• unAny :: repr a

Instances

Trans3 repr (Any repr)

Defined in Symantic.Univariant.Trans

Methods

trans3 :: (repr a -> repr b -> repr c -> repr d) -> Any repr a -> Any repr b -> Any repr c -> Any repr d

Trans2 repr (Any repr)

Defined in Symantic.Univariant.Trans

Methods

trans2 :: (repr a -> repr b -> repr c) -> Any repr a -> Any repr b -> Any repr c

Trans1 repr (Any repr)

Defined in Symantic.Univariant.Trans

Methods

trans1 :: (repr a -> repr b) -> Any repr a -> Any repr b

Trans repr (Any repr)

Defined in Symantic.Univariant.Trans

Methods

trans :: repr a -> Any repr a

Trans3 (Any repr) repr

Defined in Symantic.Univariant.Trans

Methods

trans3 :: (Any repr a -> Any repr b -> Any repr c -> Any repr d) -> repr a -> repr b -> repr c -> repr d

Trans2 (Any repr) repr

Defined in Symantic.Univariant.Trans

Methods

trans2 :: (Any repr a -> Any repr b -> Any repr c) -> repr a -> repr b -> repr c

Trans1 (Any repr) repr

Defined in Symantic.Univariant.Trans

Methods

trans1 :: (Any repr a -> Any repr b) -> repr a -> repr b

Trans (Any repr) repr

Defined in Symantic.Univariant.Trans

Methods

trans :: Any repr a -> repr a

type Output (Any repr)

Defined in Symantic.Univariant.Trans

type Output (Any repr) = repr