Data.Vinyl.Functor

Documentation

newtype Identity a

Constructors

Identity

Fields

getIdentity :: a

Instances

Monad Identity

Functor Identity

Applicative Identity

Foldable Identity

Traversable Identity

Show a => Show (Identity a)

Storable a => Storable (Identity a)

data Thunk a

Constructors

Thunk

Fields

getThunk :: a

Instances

Monad Thunk

Functor Thunk

Applicative Thunk

Foldable Thunk

Traversable Thunk

Show a => Show (Thunk a)

newtype Lift op f g x

Constructors

Lift

Fields

getLift :: op (f x) (g x)

Instances

(Functor f, Functor g) => Functor (Lift * * * Either f g)

(Functor f, Functor g) => Functor (Lift * * * (,) f g)

(Applicative f, Applicative g) => Applicative (Lift * * * (,) f g)

newtype Compose f g x

Constructors

Compose

Fields

getCompose :: f (g x)

Instances

(Functor f, Functor g) => Functor (Compose * * f g)

(Applicative f, Applicative g) => Applicative (Compose * * f g)

(Foldable f, Foldable g) => Foldable (Compose * * f g)

(Traversable f, Traversable g) => Traversable (Compose * * f g)

Storable (f (g x)) => Storable (Compose l k f g x)

type (:.) f g = Compose f g

newtype Const a b

Constructors

Const

Fields

getConst :: a

Instances

Functor (Const * a)

Foldable (Const * a)

Traversable (Const * a)

Storable a => Storable (Const k a b)