License	BSD-style (see the file LICENSE)
Maintainer	sjoerd@w3future.com
Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.Functor.Compose.List

Description

Synopsis

data FList (fs :: [* -> *]) (a :: *) where
- Id :: {..} -> FList '[] a
- F :: {..} -> FList '[f] a
- FComp :: {..} -> FList (f ': (g ': gs)) a
type family PlainF (fs :: [* -> *]) (a :: *) :: *
class IsFList fs where
- fappend :: Functor (FList gs) => FList gs (FList fs a) -> FList (fs ++ gs) a
- funappend :: Functor (FList gs) => FList (fs ++ gs) a -> FList gs (FList fs a)
- toPlainF :: FList fs a -> PlainF fs a
- fromPlainF :: PlainF fs a -> FList fs a
type (~>) f g = forall a. f a -> g a

Documentation

data FList (fs :: [* -> *]) (a :: *) where Source #

N-ary composition of functors.

FList '[] a ~ a
FList '[f, g, h] a ~ h (g (f a))

Constructors

Id
Fields :: { unId :: a } -> FList '[] a
F
Fields :: { unF :: f a } -> FList '[f] a
FComp
Fields :: { unFComp :: FList (g ': gs) (f a) } -> FList (f ': (g ': gs)) a

Instances details

(Functor f, Functor (FList (g ': gs))) => Functor (FList (f ': (g ': gs))) Source #
Instance details Defined in Data.Functor.Compose.List Methods fmap :: (a -> b) -> FList (f ': (g ': gs)) a -> FList (f ': (g ': gs)) b # (<$) :: a -> FList (f ': (g ': gs)) b -> FList (f ': (g ': gs)) a #
Functor f => Functor (FList '[f]) Source #
Instance details Defined in Data.Functor.Compose.List Methods fmap :: (a -> b) -> FList '[f] a -> FList '[f] b # (<$) :: a -> FList '[f] b -> FList '[f] a #
Functor (FList ('[] :: [Type -> Type])) Source #
Instance details Defined in Data.Functor.Compose.List Methods fmap :: (a -> b) -> FList '[] a -> FList '[] b # (<$) :: a -> FList '[] b -> FList '[] a #

type family PlainF (fs :: [* -> *]) (a :: *) :: * Source #

Calculate the simplified type of the composition of a list of functors.

Instances details

type PlainF ('[] :: [Type -> Type]) a Source #
Instance details Defined in Data.Functor.Compose.List type PlainF ('[] :: [Type -> Type]) a = a
type PlainF (f ': fs) a Source #
Instance details Defined in Data.Functor.Compose.List type PlainF (f ': fs) a = PlainF fs (f a)

class IsFList fs where Source #

Functions for working with FLists.

Methods

Combine 2 nested FLists into one FList.

Split one FList into 2 nested FLists.

Convert an FList to its simplified form.

Create an FList from its simplified form.

Instances details

IsFList ('[] :: [Type -> Type]) Source #
Instance details Defined in Data.Functor.Compose.List Methods fappend :: forall (gs :: [Type -> Type]) a. Functor (FList gs) => FList gs (FList '[] a) -> FList ('[] ++ gs) a Source # funappend :: forall (gs :: [Type -> Type]) a. Functor (FList gs) => FList ('[] ++ gs) a -> FList gs (FList '[] a) Source # toPlainF :: FList '[] a -> PlainF '[] a Source # fromPlainF :: PlainF '[] a -> FList '[] a Source #
IsFList (g ': gs) => IsFList (f ': (g ': gs)) Source #
Instance details Defined in Data.Functor.Compose.List Methods fappend :: forall (gs0 :: [Type -> Type]) a. Functor (FList gs0) => FList gs0 (FList (f ': (g ': gs)) a) -> FList ((f ': (g ': gs)) ++ gs0) a Source # funappend :: forall (gs0 :: [Type -> Type]) a. Functor (FList gs0) => FList ((f ': (g ': gs)) ++ gs0) a -> FList gs0 (FList (f ': (g ': gs)) a) Source # toPlainF :: FList (f ': (g ': gs)) a -> PlainF (f ': (g ': gs)) a Source # fromPlainF :: PlainF (f ': (g ': gs)) a -> FList (f ': (g ': gs)) a Source #
IsFList '[f] Source #
Instance details Defined in Data.Functor.Compose.List Methods fappend :: forall (gs :: [Type -> Type]) a. Functor (FList gs) => FList gs (FList '[f] a) -> FList ('[f] ++ gs) a Source # funappend :: forall (gs :: [Type -> Type]) a. Functor (FList gs) => FList ('[f] ++ gs) a -> FList gs (FList '[f] a) Source # toPlainF :: FList '[f] a -> PlainF '[f] a Source # fromPlainF :: PlainF '[f] a -> FList '[f] a Source #

type (~>) f g = forall a. f a -> g a Source #

Natural transformations between two functors. (Why is this still not in base??)