Symantic.Syntaxes.Derive

Type Semantic

type Semantic = Type -> Type

The kind of sem(antics) throughout this library.

Type family Derived

type family Derived (sem :: Semantic) :: Semantic

The next Semantic that (sem) derives to.

Instances

type Derived Viewer

Unusual, but enables to leverage default definition of methods.

Defined in Symantic.Semantics.Viewer

type Derived Viewer = Viewer

type Derived (SomeData sem)

Defined in Symantic.Syntaxes.Data

type Derived (SomeData sem) = sem

type Derived (Reader r sem)

Defined in Symantic.Semantics.Reader

type Derived (Reader r sem) = sem

type Derived (SharingFinalizer _letName sem)

Defined in Symantic.Semantics.SharingObserver

type Derived (SharingFinalizer _letName sem) = sem

type Derived (SharingObserver letName sem)

Defined in Symantic.Semantics.SharingObserver

type Derived (SharingObserver letName sem) = SharingFinalizer letName sem

type Derived (Data able sem)

Defined in Symantic.Syntaxes.Data

type Derived (Data able sem) = sem

Class Derivable

class Derivable sem where

Derive an interpreter to another interpreter determined by the Derived open type family. This is mostly useful when running the interpreter stack, but also when going back from an initial encoding to a final one.

Note that derive and liftDerived are not necessarily reciprocical functions.

Methods

derive :: sem a -> Derived sem a

Instances

Derivable (SomeData sem)

Defined in Symantic.Syntaxes.Data

Methods

derive :: SomeData sem a -> Derived (SomeData sem) a

Abstractable sem => Derivable (Data Abstractable sem)

Defined in Symantic.Syntaxes.Data

Methods

derive :: Data Abstractable sem a -> Derived (Data Abstractable sem) a

Anythingable sem => Derivable (Data Anythingable sem)

Defined in Symantic.Syntaxes.Data

Methods

derive :: Data Anythingable sem a -> Derived (Data Anythingable sem) a

Bottomable sem => Derivable (Data Bottomable sem)

Defined in Symantic.Syntaxes.Data

Methods

derive :: Data Bottomable sem a -> Derived (Data Bottomable sem) a

Constantable c sem => Derivable (Data (Constantable c) sem)

Defined in Symantic.Syntaxes.Data

Methods

derive :: Data (Constantable c) sem a -> Derived (Data (Constantable c) sem) a

Eitherable sem => Derivable (Data Eitherable sem)

Defined in Symantic.Syntaxes.Data

Methods

derive :: Data Eitherable sem a -> Derived (Data Eitherable sem) a

Emptyable sem => Derivable (Data Emptyable sem)

Defined in Symantic.Syntaxes.Data

Methods

derive :: Data Emptyable sem a -> Derived (Data Emptyable sem) a

Equalable sem => Derivable (Data Equalable sem)

Defined in Symantic.Syntaxes.Data

Methods

derive :: Data Equalable sem a -> Derived (Data Equalable sem) a

IfThenElseable sem => Derivable (Data IfThenElseable sem)

Defined in Symantic.Syntaxes.Data

Methods

derive :: Data IfThenElseable sem a -> Derived (Data IfThenElseable sem) a

Listable sem => Derivable (Data Listable sem)

Defined in Symantic.Syntaxes.Data

Methods

derive :: Data Listable sem a -> Derived (Data Listable sem) a

Maybeable sem => Derivable (Data Maybeable sem)

Defined in Symantic.Syntaxes.Data

Methods

derive :: Data Maybeable sem a -> Derived (Data Maybeable sem) a

Semigroupable sem => Derivable (Data Semigroupable sem)

Defined in Symantic.Syntaxes.Data

Methods

derive :: Data Semigroupable sem a -> Derived (Data Semigroupable sem) a

Unabstractable sem => Derivable (Data Unabstractable sem)

Defined in Symantic.Syntaxes.Data

Methods

derive :: Data Unabstractable sem a -> Derived (Data Unabstractable sem) a

Class LiftDerived

class LiftDerived sem where

Lift the Derived interpreter of an interpreter, to that interpreter. This is mostly useful to give default values to class methods in order to skip their definition for interpreters where liftDerived can already apply the right semantic.

Note that derive and liftDerived are not necessarily reciprocical functions.

Methods

liftDerived :: Derived sem a -> sem a

Instances

LiftDerived Viewer

Defined in Symantic.Semantics.Viewer

Methods

liftDerived :: Derived Viewer a -> Viewer a

LiftDerived (Reader r sem)

Defined in Symantic.Semantics.Reader

Methods

liftDerived :: Derived (Reader r sem) a -> Reader r sem a

(Eq letName, Hashable letName) => LiftDerived (SharingFinalizer letName sem)

Defined in Symantic.Semantics.SharingObserver

Methods

liftDerived :: Derived (SharingFinalizer letName sem) a -> SharingFinalizer letName sem a

(Referenceable letName sem, MakeLetName letName, Eq letName, Hashable letName, Show letName) => LiftDerived (SharingObserver letName sem)

Defined in Symantic.Semantics.SharingObserver

Methods

liftDerived :: Derived (SharingObserver letName sem) a -> SharingObserver letName sem a

Class LiftDerived1

class LiftDerived1 sem where

Convenient wrapper of derive and liftDerived for functions with a single argument.

Minimal complete definition

Nothing

Methods

liftDerived1 :: (Derived sem a -> Derived sem b) -> sem a -> sem b

default liftDerived1 :: LiftDerived sem => Derivable sem => (Derived sem a -> Derived sem b) -> sem a -> sem b

Instances

LiftDerived1 (Reader r sem)

Defined in Symantic.Semantics.Reader

Methods

liftDerived1 :: (Derived (Reader r sem) a -> Derived (Reader r sem) b) -> Reader r sem a -> Reader r sem b

(Eq letName, Hashable letName) => LiftDerived1 (SharingFinalizer letName sem)

Defined in Symantic.Semantics.SharingObserver

Methods

liftDerived1 :: (Derived (SharingFinalizer letName sem) a -> Derived (SharingFinalizer letName sem) b) -> SharingFinalizer letName sem a -> SharingFinalizer letName sem b

(Referenceable letName sem, MakeLetName letName, Eq letName, Hashable letName, Show letName) => LiftDerived1 (SharingObserver letName sem)

Defined in Symantic.Semantics.SharingObserver

Methods

liftDerived1 :: (Derived (SharingObserver letName sem) a -> Derived (SharingObserver letName sem) b) -> SharingObserver letName sem a -> SharingObserver letName sem b

Class LiftDerived2

class LiftDerived2 sem where

Convenient wrapper of derive and liftDerived for functions with two arguments. Note that the default instance relies upon LiftDerived, not LiftDerived1.

Minimal complete definition

Nothing

Methods

liftDerived2 :: (Derived sem a -> Derived sem b -> Derived sem c) -> sem a -> sem b -> sem c

default liftDerived2 :: LiftDerived sem => Derivable sem => (Derived sem a -> Derived sem b -> Derived sem c) -> sem a -> sem b -> sem c

Instances

LiftDerived2 (Reader r sem)

Defined in Symantic.Semantics.Reader

Methods

liftDerived2 :: (Derived (Reader r sem) a -> Derived (Reader r sem) b -> Derived (Reader r sem) c) -> Reader r sem a -> Reader r sem b -> Reader r sem c

(Eq letName, Hashable letName) => LiftDerived2 (SharingFinalizer letName sem)

Defined in Symantic.Semantics.SharingObserver

Methods

liftDerived2 :: (Derived (SharingFinalizer letName sem) a -> Derived (SharingFinalizer letName sem) b -> Derived (SharingFinalizer letName sem) c) -> SharingFinalizer letName sem a -> SharingFinalizer letName sem b -> SharingFinalizer letName sem c

(Referenceable letName sem, MakeLetName letName, Eq letName, Hashable letName, Show letName) => LiftDerived2 (SharingObserver letName sem)

Defined in Symantic.Semantics.SharingObserver

Methods

liftDerived2 :: (Derived (SharingObserver letName sem) a -> Derived (SharingObserver letName sem) b -> Derived (SharingObserver letName sem) c) -> SharingObserver letName sem a -> SharingObserver letName sem b -> SharingObserver letName sem c

Class LiftDerived3

class LiftDerived3 sem where

Convenient wrapper of derive and liftDerived for functions with three arguments. Note that the default instance relies upon LiftDerived, not LiftDerived2.

Minimal complete definition

Nothing

Methods

liftDerived3 :: (Derived sem a -> Derived sem b -> Derived sem c -> Derived sem d) -> sem a -> sem b -> sem c -> sem d

default liftDerived3 :: LiftDerived sem => Derivable sem => (Derived sem a -> Derived sem b -> Derived sem c -> Derived sem d) -> sem a -> sem b -> sem c -> sem d

Instances

LiftDerived3 (Reader r sem)

Defined in Symantic.Semantics.Reader

Methods

liftDerived3 :: (Derived (Reader r sem) a -> Derived (Reader r sem) b -> Derived (Reader r sem) c -> Derived (Reader r sem) d) -> Reader r sem a -> Reader r sem b -> Reader r sem c -> Reader r sem d

(Eq letName, Hashable letName) => LiftDerived3 (SharingFinalizer letName sem)

Defined in Symantic.Semantics.SharingObserver

Methods

liftDerived3 :: (Derived (SharingFinalizer letName sem) a -> Derived (SharingFinalizer letName sem) b -> Derived (SharingFinalizer letName sem) c -> Derived (SharingFinalizer letName sem) d) -> SharingFinalizer letName sem a -> SharingFinalizer letName sem b -> SharingFinalizer letName sem c -> SharingFinalizer letName sem d

(Referenceable letName sem, MakeLetName letName, Eq letName, Hashable letName, Show letName) => LiftDerived3 (SharingObserver letName sem)

Defined in Symantic.Semantics.SharingObserver

Methods

liftDerived3 :: (Derived (SharingObserver letName sem) a -> Derived (SharingObserver letName sem) b -> Derived (SharingObserver letName sem) c -> Derived (SharingObserver letName sem) d) -> SharingObserver letName sem a -> SharingObserver letName sem b -> SharingObserver letName sem c -> SharingObserver letName sem d

Class LiftDerived4

class LiftDerived4 sem where

Convenient wrapper of derive and liftDerived for functions with three arguments. Note that the default instance relies upon LiftDerived, not LiftDerived3.

Minimal complete definition

Nothing

Methods

liftDerived4 :: (Derived sem a -> Derived sem b -> Derived sem c -> Derived sem d -> Derived sem e) -> sem a -> sem b -> sem c -> sem d -> sem e

default liftDerived4 :: LiftDerived sem => Derivable sem => (Derived sem a -> Derived sem b -> Derived sem c -> Derived sem d -> Derived sem e) -> sem a -> sem b -> sem c -> sem d -> sem e

Instances

LiftDerived4 (Reader r sem)

Defined in Symantic.Semantics.Reader

Methods

liftDerived4 :: (Derived (Reader r sem) a -> Derived (Reader r sem) b -> Derived (Reader r sem) c -> Derived (Reader r sem) d -> Derived (Reader r sem) e) -> Reader r sem a -> Reader r sem b -> Reader r sem c -> Reader r sem d -> Reader r sem e

(Eq letName, Hashable letName) => LiftDerived4 (SharingFinalizer letName sem)

Defined in Symantic.Semantics.SharingObserver

Methods

liftDerived4 :: (Derived (SharingFinalizer letName sem) a -> Derived (SharingFinalizer letName sem) b -> Derived (SharingFinalizer letName sem) c -> Derived (SharingFinalizer letName sem) d -> Derived (SharingFinalizer letName sem) e) -> SharingFinalizer letName sem a -> SharingFinalizer letName sem b -> SharingFinalizer letName sem c -> SharingFinalizer letName sem d -> SharingFinalizer letName sem e

(Referenceable letName sem, MakeLetName letName, Eq letName, Hashable letName, Show letName) => LiftDerived4 (SharingObserver letName sem)

Defined in Symantic.Semantics.SharingObserver

Methods

liftDerived4 :: (Derived (SharingObserver letName sem) a -> Derived (SharingObserver letName sem) b -> Derived (SharingObserver letName sem) c -> Derived (SharingObserver letName sem) d -> Derived (SharingObserver letName sem) e) -> SharingObserver letName sem a -> SharingObserver letName sem b -> SharingObserver letName sem c -> SharingObserver letName sem d -> SharingObserver letName sem e

Type synonyms FromDerived*

type FromDerived syn sem = (LiftDerived sem, syn (Derived sem))

Convenient type synonym for using liftDerived on Syntax (syn).

type FromDerived1 syn sem = (LiftDerived1 sem, syn (Derived sem))

type FromDerived2 syn sem = (LiftDerived2 sem, syn (Derived sem))

type FromDerived3 syn sem = (LiftDerived3 sem, syn (Derived sem))

type FromDerived4 syn sem = (LiftDerived4 sem, syn (Derived sem))