extensible-0.9.2: Extensible, efficient, optics-friendly data types and effects

Copyright	(c) Fumiaki Kinoshita 2018
License	BSD3
Maintainer	Fumiaki Kinoshita <[email protected]>
Safe Haskell	None
Language	Haskell2010

Data.Extensible.Wrapper

Description

Synopsis

class Wrapper (h :: k -> Type) where
- type Repr (h :: k -> Type) (v :: k)
- _Wrapper :: forall f p (v :: k). (Functor f, Profunctor p) => Optic' p f (h v) (Repr h v)
- wrap :: forall (v :: k). Repr h v -> h v
- unwrap :: forall (v :: k). h v -> Repr h v
_WrapperAs :: forall {k} f p h proxy (v :: k). (Functor f, Profunctor p, Wrapper h) => proxy v -> Optic' p f (h v) (Repr h v)
type Comp = Compose :: (k -> Type) -> (k1 -> k) -> k1 -> Type
pattern Comp :: forall {k} {k1} f g a. f (g a) -> Compose f g a
getComp :: forall {k} {k1} f (g :: k1 -> k) (a :: k1). Compose f g a -> f (g a)
comp :: forall {k1} f a g (b :: k1). Functor f => (a -> g b) -> f a -> Compose f g b
data Prod (f :: k -> Type) (g :: k -> Type) (a :: k) = Prod (f a) (g a)

Documentation

class Wrapper (h :: k -> Type) where Source #

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

Minimal complete definition

wrap, unwrap | _Wrapper

Associated Types

type Repr (h :: k -> Type) (v :: k) Source #

Repr h v is the user-facing representation of h v.

Methods

_Wrapper :: forall f p (v :: k). (Functor f, Profunctor p) => Optic' p f (h v) (Repr h v) Source #

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

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

wrap :: forall (v :: k). Repr h v -> h v Source #

unwrap :: forall (v :: k). h v -> Repr h v Source #

Instances

Instances details

Wrapper Identity Source #

Instance details

Defined in Data.Extensible.Wrapper

Associated Types

type Repr Identity (a :: Type)
Instance details Defined in Data.Extensible.Wrapper type Repr Identity (a :: Type) = a

Methods

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

wrap :: Repr Identity v -> Identity v Source #

unwrap :: Identity v -> Repr Identity v Source #

Wrapper Maybe Source #

Instance details

Defined in Data.Extensible.Wrapper

Associated Types

type Repr Maybe (a :: Type)
Instance details Defined in Data.Extensible.Wrapper type Repr Maybe (a :: Type) = Maybe a

Methods

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

wrap :: Repr Maybe v -> Maybe v Source #

unwrap :: Maybe v -> Repr Maybe v Source #

Wrapper [] Source #

Instance details

Defined in Data.Extensible.Wrapper

Associated Types

type Repr [] (a :: Type)
Instance details Defined in Data.Extensible.Wrapper type Repr [] (a :: Type) = [a]

Methods

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

wrap :: Repr [] v -> [v] Source #

unwrap :: [v] -> Repr [] v Source #

Wrapper (Either e :: Type -> Type) Source #

Instance details

Defined in Data.Extensible.Wrapper

Methods

_Wrapper :: (Functor f, Profunctor p) => Optic' p f (Either e v) (Repr (Either e) v) Source #

wrap :: Repr (Either e) v -> Either e v Source #

unwrap :: Either e v -> Repr (Either e) v Source #

Wrapper (Proxy :: k -> Type) Source #

Instance details

Defined in Data.Extensible.Wrapper

Methods

_Wrapper :: forall f p (v :: k). (Functor f, Profunctor p) => Optic' p f (Proxy v) (Repr (Proxy :: k -> Type) v) Source #

wrap :: forall (v :: k). Repr (Proxy :: k -> Type) v -> Proxy v Source #

unwrap :: forall (v :: k). Proxy v -> Repr (Proxy :: k -> Type) v Source #

Wrapper (Const a :: k -> Type) Source #

Instance details

Defined in Data.Extensible.Wrapper

Methods

_Wrapper :: forall f p (v :: k). (Functor f, Profunctor p) => Optic' p f (Const a v) (Repr (Const a :: k -> Type) v) Source #

wrap :: forall (v :: k). Repr (Const a :: k -> Type) v -> Const a v Source #

unwrap :: forall (v :: k). Const a v -> Repr (Const a :: k -> Type) v Source #

Wrapper (OptionDescr h :: k -> Type) Source #

Instance details

Defined in Data.Extensible.GetOpt

Methods

_Wrapper :: forall f p (v :: k). (Functor f, Profunctor p) => Optic' p f (OptionDescr h v) (Repr (OptionDescr h) v) Source #

wrap :: forall (v :: k). Repr (OptionDescr h) v -> OptionDescr h v Source #

unwrap :: forall (v :: k). OptionDescr h v -> Repr (OptionDescr h) v Source #

Wrapper h => Wrapper (Nullable h :: k -> Type) Source #

Instance details

Defined in Data.Extensible.Nullable

Methods

_Wrapper :: forall f p (v :: k). (Functor f, Profunctor p) => Optic' p f (Nullable h v) (Repr (Nullable h) v) Source #

wrap :: forall (v :: k). Repr (Nullable h) v -> Nullable h v Source #

unwrap :: forall (v :: k). Nullable h v -> Repr (Nullable h) v Source #

Wrapper h => Wrapper (Match h r :: k -> Type) Source #

Instance details

Defined in Data.Extensible.Match

Methods

_Wrapper :: forall f p (v :: k). (Functor f, Profunctor p) => Optic' p f (Match h r v) (Repr (Match h r) v) Source #

wrap :: forall (v :: k). Repr (Match h r) v -> Match h r v Source #

unwrap :: forall (v :: k). Match h r v -> Repr (Match h r) v Source #

(Wrapper f, Wrapper g) => Wrapper (Prod f g :: k -> Type) Source #

Instance details

Defined in Data.Extensible.Wrapper

Methods

_Wrapper :: forall f0 p (v :: k). (Functor f0, Profunctor p) => Optic' p f0 (Prod f g v) (Repr (Prod f g) v) Source #

wrap :: forall (v :: k). Repr (Prod f g) v -> Prod f g v Source #

unwrap :: forall (v :: k). Prod f g v -> Repr (Prod f g) v Source #

(Functor f, Wrapper g) => Wrapper (Compose f g :: k -> Type) Source #

Instance details

Defined in Data.Extensible.Wrapper

Methods

_Wrapper :: forall f0 p (v :: k). (Functor f0, Profunctor p) => Optic' p f0 (Compose f g v) (Repr (Compose f g) v) Source #

wrap :: forall (v :: k). Repr (Compose f g) v -> Compose f g v Source #

unwrap :: forall (v :: k). Compose f g v -> Repr (Compose f g) v Source #

Wrapper h => Wrapper (Field h :: Assoc k v -> Type) Source #

Instance details

Defined in Data.Extensible.Field

Methods

_Wrapper :: forall f p (v0 :: Assoc k v). (Functor f, Profunctor p) => Optic' p f (Field h v0) (Repr (Field h :: Assoc k v -> Type) v0) Source #

wrap :: forall (v0 :: Assoc k v). Repr (Field h :: Assoc k v -> Type) v0 -> Field h v0 Source #

unwrap :: forall (v0 :: Assoc k v). Field h v0 -> Repr (Field h :: Assoc k v -> Type) v0 Source #

_WrapperAs :: forall {k} f p h proxy (v :: k). (Functor f, Profunctor p, Wrapper h) => proxy v -> Optic' p f (h v) (Repr h v) Source #

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

type Comp = Compose :: (k -> Type) -> (k1 -> k) -> k1 -> Type Source #

Deprecated: Use Compose instead

pattern Comp :: forall {k} {k1} f g a. f (g a) -> Compose f g a Source #

Deprecated: Use Compose instead

getComp :: forall {k} {k1} f (g :: k1 -> k) (a :: k1). Compose f g a -> f (g a) Source #

Deprecated: Use getCompose instead

comp :: forall {k1} f a g (b :: k1). Functor f => (a -> g b) -> f a -> Compose f g b Source #

Wrap a result of fmap

data Prod (f :: k -> Type) (g :: k -> Type) (a :: k) Source #

Poly-kinded product

Constructors

Prod (f a) (g a)

Instances

Instances details

(Wrapper f, Wrapper g) => Wrapper (Prod f g :: k -> Type) Source #

Instance details

Defined in Data.Extensible.Wrapper

Methods

_Wrapper :: forall f0 p (v :: k). (Functor f0, Profunctor p) => Optic' p f0 (Prod f g v) (Repr (Prod f g) v) Source #

wrap :: forall (v :: k). Repr (Prod f g) v -> Prod f g v Source #

unwrap :: forall (v :: k). Prod f g v -> Repr (Prod f g) v Source #

(Foldable f, Foldable g) => Foldable (Prod f g) Source #

Instance details

Defined in Data.Extensible.Wrapper

Methods

fold :: Monoid m => Prod f g m -> m #

foldMap :: Monoid m => (a -> m) -> Prod f g a -> m #

foldMap' :: Monoid m => (a -> m) -> Prod f g a -> m #

foldr :: (a -> b -> b) -> b -> Prod f g a -> b #

foldr' :: (a -> b -> b) -> b -> Prod f g a -> b #

foldl :: (b -> a -> b) -> b -> Prod f g a -> b #

foldl' :: (b -> a -> b) -> b -> Prod f g a -> b #

foldr1 :: (a -> a -> a) -> Prod f g a -> a #

foldl1 :: (a -> a -> a) -> Prod f g a -> a #

toList :: Prod f g a -> [a] #

null :: Prod f g a -> Bool #

length :: Prod f g a -> Int #

elem :: Eq a => a -> Prod f g a -> Bool #

maximum :: Ord a => Prod f g a -> a #

minimum :: Ord a => Prod f g a -> a #

sum :: Num a => Prod f g a -> a #

product :: Num a => Prod f g a -> a #

(Traversable f, Traversable g) => Traversable (Prod f g) Source #

Instance details

Defined in Data.Extensible.Wrapper

Methods

traverse :: Applicative f0 => (a -> f0 b) -> Prod f g a -> f0 (Prod f g b) #

sequenceA :: Applicative f0 => Prod f g (f0 a) -> f0 (Prod f g a) #

mapM :: Monad m => (a -> m b) -> Prod f g a -> m (Prod f g b) #

sequence :: Monad m => Prod f g (m a) -> m (Prod f g a) #

(Functor f, Functor g) => Functor (Prod f g) Source #

Instance details

Defined in Data.Extensible.Wrapper

Methods

fmap :: (a -> b) -> Prod f g a -> Prod f g b #

(<$) :: a -> Prod f g b -> Prod f g a #

(Arbitrary (f a), Arbitrary (g a)) => Arbitrary (Prod f g a) Source #

Instance details

Defined in Data.Extensible.Wrapper

Methods

arbitrary :: Gen (Prod f g a) #

shrink :: Prod f g a -> [Prod f g a] #

(Monoid (f a), Monoid (g a)) => Monoid (Prod f g a) Source #

Instance details

Defined in Data.Extensible.Wrapper

Methods

mempty :: Prod f g a #

mappend :: Prod f g a -> Prod f g a -> Prod f g a #

mconcat :: [Prod f g a] -> Prod f g a #

(Semigroup (f a), Semigroup (g a)) => Semigroup (Prod f g a) Source #

Instance details

Defined in Data.Extensible.Wrapper

Methods

(<>) :: Prod f g a -> Prod f g a -> Prod f g a #

sconcat :: NonEmpty (Prod f g a) -> Prod f g a #

stimes :: Integral b => b -> Prod f g a -> Prod f g a #

Generic (Prod f g a) Source #

Instance details

Defined in Data.Extensible.Wrapper

Associated Types

type Rep (Prod f g a)

Instance details

Defined in Data.Extensible.Wrapper

type Rep (Prod f g a) = D1 ('MetaData "Prod" "Data.Extensible.Wrapper" "extensible-0.9.2-4T9Z6Fi5USt46xSSDAXrdd" 'False) (C1 ('MetaCons "Prod" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f a)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (g a))))

Methods

from :: Prod f g a -> Rep (Prod f g a) x #

to :: Rep (Prod f g a) x -> Prod f g a #

(Show (f a), Show (g a)) => Show (Prod f g a) Source #

Instance details

Defined in Data.Extensible.Wrapper

Methods

showsPrec :: Int -> Prod f g a -> ShowS #

show :: Prod f g a -> String #

showList :: [Prod f g a] -> ShowS #

(NFData (f a), NFData (g a)) => NFData (Prod f g a) Source #

Instance details

Defined in Data.Extensible.Wrapper

Methods

rnf :: Prod f g a -> () #

(Eq (f a), Eq (g a)) => Eq (Prod f g a) Source #

Instance details

Defined in Data.Extensible.Wrapper

Methods

(==) :: Prod f g a -> Prod f g a -> Bool #

(/=) :: Prod f g a -> Prod f g a -> Bool #

(Ord (f a), Ord (g a)) => Ord (Prod f g a) Source #

Instance details

Defined in Data.Extensible.Wrapper

Methods

compare :: Prod f g a -> Prod f g a -> Ordering #

(<) :: Prod f g a -> Prod f g a -> Bool #

(<=) :: Prod f g a -> Prod f g a -> Bool #

(>) :: Prod f g a -> Prod f g a -> Bool #

(>=) :: Prod f g a -> Prod f g a -> Bool #

max :: Prod f g a -> Prod f g a -> Prod f g a #

min :: Prod f g a -> Prod f g a -> Prod f g a #

(Hashable (f a), Hashable (g a)) => Hashable (Prod f g a) Source #

Instance details

Defined in Data.Extensible.Wrapper

Methods

hashWithSalt :: Int -> Prod f g a -> Int #

hash :: Prod f g a -> Int #

type Repr (Prod f g :: k -> Type) (a :: k) Source #

Instance details

Defined in Data.Extensible.Wrapper

type Repr (Prod f g :: k -> Type) (a :: k) = (Repr f a, Repr g a)

type Rep (Prod f g a) Source #

Instance details

Defined in Data.Extensible.Wrapper

type Rep (Prod f g a) = D1 ('MetaData "Prod" "Data.Extensible.Wrapper" "extensible-0.9.2-4T9Z6Fi5USt46xSSDAXrdd" 'False) (C1 ('MetaCons "Prod" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f a)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (g a))))