Data.Record.Generic.Transform

Interpretation function

type family Interpreted (d :: dom) (x :: Type) :: Type

Instances

type Interpreted (DefaultInterpretation f :: Type) (Uninterpreted x)

Defined in Data.Record.Generic.Transform

type Interpreted (DefaultInterpretation f :: Type) (Uninterpreted x) = f x

newtype Interpret d x

Constructors

Interpret (Interpreted d x)

Working with the Interpreted newtype wrapper

liftInterpreted :: (Interpreted dx x -> Interpreted dy y) -> Interpret dx x -> Interpret dy y

liftInterpretedA2 :: Applicative m => (Interpreted dx x -> Interpreted dy y -> m (Interpreted dz z)) -> Interpret dx x -> Interpret dy y -> m (Interpret dz z)

Normal form

Existence

type HasNormalForm d x y = InterpretTo d (MetadataOf x) (MetadataOf y)

type family InterpretTo d xs ys :: Constraint where ...

Equations

InterpretTo _ '[] '[] = ()

InterpretTo d ('(f, x) ': xs) ('(f, y) ': ys) = IfEqual x (Interpreted d y) (InterpretTo d xs ys)

type family IfEqual x y (r :: k) :: k where ...

Equations

IfEqual actual actual k = k

IfEqual expected actual k = TypeError ((('Text "Expected " :<>: 'ShowType expected) :<>: 'Text " but got ") :<>: 'ShowType actual)

Construction

normalize :: HasNormalForm d x y => Proxy d -> Proxy y -> Rep I x -> Rep (Interpret d) y

Construct normal form

TODO: Documentation.

denormalize :: HasNormalForm d x y => Proxy d -> Proxy y -> Rep (Interpret d) y -> Rep I x

Specialized forms for the common case of a single type argument

data Uninterpreted x

Instances

type Interpreted (DefaultInterpretation f :: Type) (Uninterpreted x)

Defined in Data.Record.Generic.Transform

type Interpreted (DefaultInterpretation f :: Type) (Uninterpreted x) = f x

data DefaultInterpretation (f :: Type -> Type)

Instances

StandardInterpretation DefaultInterpretation (f :: Type -> TYPE LiftedRep)

Defined in Data.Record.Generic.Transform

Methods

standardInterpretation :: forall (x :: k). Proxy DefaultInterpretation -> (Interpreted (DefaultInterpretation f) (Uninterpreted x) -> f x, f x -> Interpreted (DefaultInterpretation f) (Uninterpreted x))

type Interpreted (DefaultInterpretation f :: Type) (Uninterpreted x)

Defined in Data.Record.Generic.Transform

type Interpreted (DefaultInterpretation f :: Type) (Uninterpreted x) = f x

normalize1 :: forall d f x. HasNormalForm (d f) (x f) (x Uninterpreted) => Proxy d -> Rep I (x f) -> Rep (Interpret (d f)) (x Uninterpreted)

denormalize1 :: forall d f x. HasNormalForm (d f) (x f) (x Uninterpreted) => Proxy d -> Rep (Interpret (d f)) (x Uninterpreted) -> Rep I (x f)

Generalization of the default interpretation

class StandardInterpretation d f where

Minimal complete definition

Nothing

Methods

standardInterpretation :: Proxy d -> (Interpreted (d f) (Uninterpreted x) -> f x, f x -> Interpreted (d f) (Uninterpreted x))

default standardInterpretation :: Coercible (Interpreted (d f) (Uninterpreted x)) (f x) => Proxy d -> (Interpreted (d f) (Uninterpreted x) -> f x, f x -> Interpreted (d f) (Uninterpreted x))

Instances

StandardInterpretation DefaultInterpretation (f :: Type -> TYPE LiftedRep)

Defined in Data.Record.Generic.Transform

Methods

standardInterpretation :: forall (x :: k). Proxy DefaultInterpretation -> (Interpreted (DefaultInterpretation f) (Uninterpreted x) -> f x, f x -> Interpreted (DefaultInterpretation f) (Uninterpreted x))

toStandardInterpretation :: forall d f x. StandardInterpretation d f => Proxy d -> f x -> Interpret (d f) (Uninterpreted x)

fromStandardInterpretation :: forall d f x. StandardInterpretation d f => Proxy d -> Interpret (d f) (Uninterpreted x) -> f x