Data.Functor.Unwrapped

Documentation

class Functor f => Unwrappable f where

Minimal complete definition

unwrap, wrap

Associated Types

type Unwrapped f x

Methods

unwrap :: f x -> Unwrapped f x

wrap :: Unwrapped f x -> f x

Instances

Unwrappable Identity

Defined in Data.Functor.Unwrapped

Associated Types

type Unwrapped Identity x :: *

Methods

unwrap :: Identity x -> Unwrapped Identity x

wrap :: Unwrapped Identity x -> Identity x

Unwrappable (Proxy :: * -> *)

Defined in Data.Functor.Unwrapped

Associated Types

type Unwrapped Proxy x :: *

Methods

unwrap :: Proxy x -> Unwrapped Proxy x

wrap :: Unwrapped Proxy x -> Proxy x

Unwrappable (Const a :: * -> *)

Defined in Data.Functor.Unwrapped

Associated Types

type Unwrapped (Const a) x :: *

Methods

unwrap :: Const a x -> Unwrapped (Const a) x

wrap :: Unwrapped (Const a) x -> Const a x

(Unwrappable f, Unwrappable g) => Unwrappable (Product f g)

Defined in Data.Functor.Unwrapped

Associated Types

type Unwrapped (Product f g) x :: *

Methods

unwrap :: Product f g x -> Unwrapped (Product f g) x

wrap :: Unwrapped (Product f g) x -> Product f g x

(Unwrappable f, Unwrappable g) => Unwrappable (Sum f g)

Defined in Data.Functor.Unwrapped

Associated Types

type Unwrapped (Sum f g) x :: *

Methods

unwrap :: Sum f g x -> Unwrapped (Sum f g) x

wrap :: Unwrapped (Sum f g) x -> Sum f g x

(Unwrappable f, Unwrappable g) => Unwrappable (Compose f g)

Defined in Data.Functor.Unwrapped

Associated Types

type Unwrapped (Compose f g) x :: *

Methods

unwrap :: Compose f g x -> Unwrapped (Compose f g) x

wrap :: Unwrapped (Compose f g) x -> Compose f g x