Symantic.Univariant.Trans

Type family Output

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

Instances

type Output (Any repr)

Defined in Symantic.Univariant.Trans

type Output (Any repr) = repr

type Output (Term repr)

Defined in Symantic.Parser.Haskell.Optimize

type Output (Term 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

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 repr (Any repr)

Defined in Symantic.Univariant.Trans

Methods

trans :: repr a -> Any repr a

Trans repr (Term repr)

Defined in Symantic.Parser.Haskell.Optimize

Methods

trans :: repr a -> Term repr 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

Trans (Term Identity) Identity

Defined in Symantic.Parser.Haskell.Optimize

Methods

trans :: Term Identity a -> Identity a

Trans (Term ValueCode) ValueCode

Defined in Symantic.Parser.Haskell.Optimize

Methods

trans :: Term ValueCode a -> ValueCode a

Trans (SomeComb repr) repr

Defined in Symantic.Parser.Grammar.Optimize

Methods

trans :: SomeComb repr a -> repr a

Trans (Term (CodeQ :: Type -> Type)) (CodeQ :: Type -> Type)

Defined in Symantic.Parser.Haskell.Optimize

Methods

trans :: Term CodeQ a -> CodeQ a

Trans (Term (CodeQ :: Type -> Type)) (Term ValueCode)

Defined in Symantic.Parser.Haskell.Optimize

Methods

trans :: Term CodeQ a -> Term ValueCode a

Trans (Term ValueCode) (Term (CodeQ :: Type -> Type))

Defined in Symantic.Parser.Haskell.Optimize

Methods

trans :: Term ValueCode a -> Term CodeQ a

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

Defined in Symantic.Parser.Grammar.Optimize

Methods

trans :: Comb (Letable letName) repr a -> repr a

Lookable repr => Trans (Comb Lookable repr) repr

Defined in Symantic.Parser.Grammar.Optimize

Methods

trans :: Comb Lookable repr a -> repr a

Satisfiable tok repr => Trans (Comb (Satisfiable tok) repr) repr

Defined in Symantic.Parser.Grammar.Optimize

Methods

trans :: Comb (Satisfiable tok) repr a -> repr a

Foldable repr => Trans (Comb Foldable repr) repr

Defined in Symantic.Parser.Grammar.Optimize

Methods

trans :: Comb Foldable repr a -> repr a

Matchable repr => Trans (Comb Matchable repr) repr

Defined in Symantic.Parser.Grammar.Optimize

Methods

trans :: Comb Matchable repr a -> repr a

Selectable repr => Trans (Comb Selectable repr) repr

Defined in Symantic.Parser.Grammar.Optimize

Methods

trans :: Comb Selectable repr a -> repr a

Alternable repr => Trans (Comb Alternable repr) repr

Defined in Symantic.Parser.Grammar.Optimize

Methods

trans :: Comb Alternable repr a -> repr a

Applicable repr => Trans (Comb Applicable repr) repr

Defined in Symantic.Parser.Grammar.Optimize

Methods

trans :: Comb Applicable repr a -> 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

Trans (SomeInstr repr inp vs es) (repr inp vs es)

Defined in Symantic.Parser.Machine.Optimize

Methods

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

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

Defined in Symantic.Parser.Machine.Optimize

Methods

trans :: Instr (Readable tok) repr inp vs es a -> repr inp vs es a

Joinable repr => Trans (Instr Joinable repr inp vs es) (repr inp vs es)

Defined in Symantic.Parser.Machine.Optimize

Methods

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

Inputable repr => Trans (Instr Inputable repr inp vs es) (repr inp vs es)

Defined in Symantic.Parser.Machine.Optimize

Methods

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

Failable repr => Trans (Instr Failable repr inp vs es) (repr inp vs es)

Defined in Symantic.Parser.Machine.Optimize

Methods

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

Branchable repr => Trans (Instr Branchable repr inp vs es) (repr inp vs es)

Defined in Symantic.Parser.Machine.Optimize

Methods

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

Routinable repr => Trans (Instr Routinable repr inp vs es) (repr inp vs es)

Defined in Symantic.Parser.Machine.Optimize

Methods

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

Stackable repr => Trans (Instr Stackable repr inp vs es) (repr inp vs es)

Defined in Symantic.Parser.Machine.Optimize

Methods

trans :: Instr Stackable repr 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

(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

(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

(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