Data.Extensible.Wrapper

Documentation

class Wrapper h where

The extensible data types should take k -> * as a parameter. This class allows us to take a shortcut for direct representation.

Minimal complete definition

Nothing

Associated Types

type Repr h v :: *

Repr h v is the actual representation of h v.

Methods

_Wrapper :: (Functor f, Profunctor p) => Optic' p f (h v) (Repr h v)

This is an isomorphism between h v and Repr h v.

_Wrapper :: Iso' (h v) (Repr h v)

Instances

Wrapper * Identity

Wrapper k (Proxy k)

Wrapper k (Const' k a)

Wrapper k h => Wrapper k (Nullable k h)

Wrapper k h => Wrapper k (Match k h r)

(Functor f, Wrapper k g) => Wrapper k (Comp * k f g)

Wrapper (k -> *) (K1 k a)

Wrapper k h => Wrapper (Assoc k k) (Field k k h)

_WrapperAs :: (Functor f, Profunctor p, Wrapper h) => proxy v -> Optic' p f (h v) (Repr h v)

Restricted version of _Wrapper. It is useful for eliminating ambiguousness.

newtype Const' a x

Poly-kinded Const

Constructors

Const'

Fields

getConst' :: a

Instances

Wrapper k (Const' k a)

Typeable (* -> k -> *) (Const' k)

Eq a => Eq (Const' k a x)

Ord a => Ord (Const' k a x)

Show a => Show (Const' k a x)

type Repr k (Const' k a) b = a

newtype Comp f g a

Poly-kinded composition

Constructors

Comp

Fields

getComp :: f (g a)

Instances

(Functor f, Wrapper k g) => Wrapper k (Comp * k f g)

Typeable ((j -> *) -> (i -> j) -> i -> *) (Comp j i)

Eq (f (g a)) => Eq (Comp j i f g a)

Ord (f (g a)) => Ord (Comp j i f g a)

Show (f (g a)) => Show (Comp j i f g a)

type Repr k (Comp * k f g) x = f (Repr k g x)

comp :: Functor f => (a -> g b) -> f a -> Comp f g b