Symantic.Derive

Type family Derived

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

The representation that (repr) derives to.

Instances

type Derived View

Unusual, but enables to leverage default definition of methods.

Defined in Symantic.View

type Derived View = View

type Derived (SomeData repr)

Defined in Symantic.Data

type Derived (SomeData repr) = repr

type Derived (Data able repr)

Defined in Symantic.Data

type Derived (Data able repr) = repr

type Derived (FinalizeSharing _letName repr)

Defined in Symantic.ObserveSharing

type Derived (FinalizeSharing _letName repr) = repr

type Derived (ObserveSharing letName repr)

Defined in Symantic.ObserveSharing

type Derived (ObserveSharing letName repr) = FinalizeSharing letName repr

Class Derivable

class Derivable repr where

Derive an interpreter to a 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 :: repr a -> Derived repr a

Instances

Derivable (SomeData repr)

Defined in Symantic.Data

Methods

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

Semigroupable repr => Derivable (Data Semigroupable repr)

Defined in Symantic.Data

Methods

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

Emptyable repr => Derivable (Data Emptyable repr)

Defined in Symantic.Data

Methods

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

Maybeable repr => Derivable (Data Maybeable repr)

Defined in Symantic.Data

Methods

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

Listable repr => Derivable (Data Listable repr)

Defined in Symantic.Data

Methods

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

IfThenElseable repr => Derivable (Data IfThenElseable repr)

Defined in Symantic.Data

Methods

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

Equalable repr => Derivable (Data Equalable repr)

Defined in Symantic.Data

Methods

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

Eitherable repr => Derivable (Data Eitherable repr)

Defined in Symantic.Data

Methods

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

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

Defined in Symantic.Data

Methods

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

Bottomable repr => Derivable (Data Bottomable repr)

Defined in Symantic.Data

Methods

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

Anythingable repr => Derivable (Data Anythingable repr)

Defined in Symantic.Data

Methods

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

Abstractable repr => Derivable (Data Abstractable repr)

Defined in Symantic.Data

Methods

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

Class LiftDerived

class LiftDerived repr 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 repr a -> repr a

Instances

LiftDerived View

Defined in Symantic.View

Methods

liftDerived :: Derived View a -> View a

(Eq letName, Hashable letName) => LiftDerived (FinalizeSharing letName repr)

Defined in Symantic.ObserveSharing

Methods

liftDerived :: Derived (FinalizeSharing letName repr) a -> FinalizeSharing letName repr a

(Referenceable letName repr, MakeLetName letName, Eq letName, Hashable letName, Show letName) => LiftDerived (ObserveSharing letName repr)

Defined in Symantic.ObserveSharing

Methods

liftDerived :: Derived (ObserveSharing letName repr) a -> ObserveSharing letName repr a

Class LiftDerived1

class LiftDerived1 repr where

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

Minimal complete definition

Nothing

Methods

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

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

Instances

(Eq letName, Hashable letName) => LiftDerived1 (FinalizeSharing letName repr)

Defined in Symantic.ObserveSharing

Methods

liftDerived1 :: (Derived (FinalizeSharing letName repr) a -> Derived (FinalizeSharing letName repr) b) -> FinalizeSharing letName repr a -> FinalizeSharing letName repr b

(Referenceable letName repr, MakeLetName letName, Eq letName, Hashable letName, Show letName) => LiftDerived1 (ObserveSharing letName repr)

Defined in Symantic.ObserveSharing

Methods

liftDerived1 :: (Derived (ObserveSharing letName repr) a -> Derived (ObserveSharing letName repr) b) -> ObserveSharing letName repr a -> ObserveSharing letName repr b

Class LiftDerived2

class LiftDerived2 repr 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 repr a -> Derived repr b -> Derived repr c) -> repr a -> repr b -> repr c

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

Instances

(Eq letName, Hashable letName) => LiftDerived2 (FinalizeSharing letName repr)

Defined in Symantic.ObserveSharing

Methods

liftDerived2 :: (Derived (FinalizeSharing letName repr) a -> Derived (FinalizeSharing letName repr) b -> Derived (FinalizeSharing letName repr) c) -> FinalizeSharing letName repr a -> FinalizeSharing letName repr b -> FinalizeSharing letName repr c

(Referenceable letName repr, MakeLetName letName, Eq letName, Hashable letName, Show letName) => LiftDerived2 (ObserveSharing letName repr)

Defined in Symantic.ObserveSharing

Methods

liftDerived2 :: (Derived (ObserveSharing letName repr) a -> Derived (ObserveSharing letName repr) b -> Derived (ObserveSharing letName repr) c) -> ObserveSharing letName repr a -> ObserveSharing letName repr b -> ObserveSharing letName repr c

Class LiftDerived3

class LiftDerived3 repr 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 repr a -> Derived repr b -> Derived repr c -> Derived repr d) -> repr a -> repr b -> repr c -> repr d

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

Instances

(Eq letName, Hashable letName) => LiftDerived3 (FinalizeSharing letName repr)

Defined in Symantic.ObserveSharing

Methods

liftDerived3 :: (Derived (FinalizeSharing letName repr) a -> Derived (FinalizeSharing letName repr) b -> Derived (FinalizeSharing letName repr) c -> Derived (FinalizeSharing letName repr) d) -> FinalizeSharing letName repr a -> FinalizeSharing letName repr b -> FinalizeSharing letName repr c -> FinalizeSharing letName repr d

(Referenceable letName repr, MakeLetName letName, Eq letName, Hashable letName, Show letName) => LiftDerived3 (ObserveSharing letName repr)

Defined in Symantic.ObserveSharing

Methods

liftDerived3 :: (Derived (ObserveSharing letName repr) a -> Derived (ObserveSharing letName repr) b -> Derived (ObserveSharing letName repr) c -> Derived (ObserveSharing letName repr) d) -> ObserveSharing letName repr a -> ObserveSharing letName repr b -> ObserveSharing letName repr c -> ObserveSharing letName repr d

Class LiftDerived4

class LiftDerived4 repr 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 repr a -> Derived repr b -> Derived repr c -> Derived repr d -> Derived repr e) -> repr a -> repr b -> repr c -> repr d -> repr e

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

Instances

(Eq letName, Hashable letName) => LiftDerived4 (FinalizeSharing letName repr)

Defined in Symantic.ObserveSharing

Methods

liftDerived4 :: (Derived (FinalizeSharing letName repr) a -> Derived (FinalizeSharing letName repr) b -> Derived (FinalizeSharing letName repr) c -> Derived (FinalizeSharing letName repr) d -> Derived (FinalizeSharing letName repr) e) -> FinalizeSharing letName repr a -> FinalizeSharing letName repr b -> FinalizeSharing letName repr c -> FinalizeSharing letName repr d -> FinalizeSharing letName repr e

(Referenceable letName repr, MakeLetName letName, Eq letName, Hashable letName, Show letName) => LiftDerived4 (ObserveSharing letName repr)

Defined in Symantic.ObserveSharing

Methods

liftDerived4 :: (Derived (ObserveSharing letName repr) a -> Derived (ObserveSharing letName repr) b -> Derived (ObserveSharing letName repr) c -> Derived (ObserveSharing letName repr) d -> Derived (ObserveSharing letName repr) e) -> ObserveSharing letName repr a -> ObserveSharing letName repr b -> ObserveSharing letName repr c -> ObserveSharing letName repr d -> ObserveSharing letName repr e

Type synonyms FromDerived*

type FromDerived sym repr = (LiftDerived repr, sym (Derived repr))

Convenient type synonym for using liftDerived on symantic class (sym).

type FromDerived1 sym repr = (LiftDerived1 repr, sym (Derived repr))

type FromDerived2 sym repr = (LiftDerived2 repr, sym (Derived repr))

type FromDerived3 sym repr = (LiftDerived3 repr, sym (Derived repr))

type FromDerived4 sym repr = (LiftDerived4 repr, sym (Derived repr))