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.

Associated Types

type Repr h (v :: k) :: *

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 k (Proxy k)

Associated Types

type Repr (Proxy k) (h :: Proxy k -> *) (v :: Proxy k) :: *

Methods

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

Wrapper k (Const' k a)

Associated Types

type Repr (Const' k a) (h :: Const' k a -> *) (v :: Const' k a) :: *

Methods

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

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

Associated Types

type Repr (Nullable k h) (h :: Nullable k h -> *) (v :: Nullable k h) :: *

Methods

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

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

Associated Types

type Repr (Match k h r) (h :: Match k h r -> *) (v :: Match k h r) :: *

Methods

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

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

Associated Types

type Repr (Comp k * f g) (h :: Comp k * f g -> *) (v :: Comp k * f g) :: *

Methods

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

Wrapper * []

Associated Types

type Repr [] (h :: [] -> *) (v :: []) :: *

Methods

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

Wrapper * Maybe

Associated Types

type Repr Maybe (h :: Maybe -> *) (v :: Maybe) :: *

Methods

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

Wrapper * Identity

Associated Types

type Repr Identity (h :: Identity -> *) (v :: Identity) :: *

Methods

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

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

Associated Types

type Repr (Field k v h) (h :: Field k v h -> *) (v :: Field k v h) :: *

Methods

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

_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)

Associated Types

type Repr (Const' k a) (h :: Const' k a -> *) (v :: Const' k a) :: *

Methods

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

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

Methods

(==) :: Const' k a x -> Const' k a x -> Bool

(/=) :: Const' k a x -> Const' k a x -> Bool

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

Methods

compare :: Const' k a x -> Const' k a x -> Ordering

(<) :: Const' k a x -> Const' k a x -> Bool

(<=) :: Const' k a x -> Const' k a x -> Bool

(>) :: Const' k a x -> Const' k a x -> Bool

(>=) :: Const' k a x -> Const' k a x -> Bool

max :: Const' k a x -> Const' k a x -> Const' k a x

min :: Const' k a x -> Const' k a x -> Const' k a x

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

Methods

showsPrec :: Int -> Const' k a x -> ShowS

show :: Const' k a x -> String

showList :: [Const' k a x] -> ShowS

type Repr k (Const' k a) b

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)

Associated Types

type Repr (Comp k * f g) (h :: Comp k * f g -> *) (v :: Comp k * f g) :: *

Methods

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

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

Methods

(==) :: Comp i j f g a -> Comp i j f g a -> Bool

(/=) :: Comp i j f g a -> Comp i j f g a -> Bool

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

Methods

compare :: Comp i j f g a -> Comp i j f g a -> Ordering

(<) :: Comp i j f g a -> Comp i j f g a -> Bool

(<=) :: Comp i j f g a -> Comp i j f g a -> Bool

(>) :: Comp i j f g a -> Comp i j f g a -> Bool

(>=) :: Comp i j f g a -> Comp i j f g a -> Bool

max :: Comp i j f g a -> Comp i j f g a -> Comp i j f g a

min :: Comp i j f g a -> Comp i j f g a -> Comp i j f g a

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

Methods

showsPrec :: Int -> Comp i j f g a -> ShowS

show :: Comp i j f g a -> String

showList :: [Comp i j f g a] -> ShowS

type Repr k (Comp k * f g) x

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

Wrap a result of fmap