kindly-functors-0.1.0.0: A category polymorphic `Functor` typeclass
Safe HaskellSafe-Inferred
LanguageHaskell2010

Kindly.Functor

Description

Single Parameter Functors of arbitrary categories.

Synopsis

Documentation

type Functor cat p = MapArg1 cat p Source #

A CategoricalFunctor of kind Type -> Type mapping from an arbitrary category cat to ->.

fmap :: forall cat f. Functor cat f => forall a b. (a `cat` b) -> f a -> f b Source #

Lift a function cat a b into a function f a -> f b.

contramap :: Functor Op p => (a -> b) -> p b -> p a Source #

A specialization of fmap for contravariant functors as defined in 'Data.Functor.Contravariant.'

TODO: Do we keep this around? This is nice to have so that library users don't have to manually pack functions in Op.

invmap :: Functor (<->) f => (a -> b) -> (b -> a) -> f a -> f b Source #

A specialization of fmap for invariant functors as defined in 'Data.Functor.Invariant.'

TODO: Do we keep this around? This is nice to have so that library users don't have to manually pack functions in Iso.

mapMaybe :: Filterable f => (a -> Maybe b) -> f a -> f b Source #

A specialization of fmap for filterable functors as defined in Witherable

TODO: Do we keep this around? This is nice to have so that library users don't have to manually pack functions in Star.

catMaybes :: Filterable f => f (Maybe a) -> f a Source #

The catMaybes function takes a list of Maybes and returns a list of all the Just values.

TODO: Do we keep this around? This is nice to have so that library users don't have to manually pack functions in Star.

filter :: Filterable f => (a -> Bool) -> f a -> f a Source #

Applied to a predicate and a functor f a, returns the those elements that satisfy the predicate.

TODO: Do we keep this around? This is nice to have so that library users don't have to manually pack functions in Star.

Orphan instances

CategoricalFunctor ZipList Source # 
Instance details

Associated Types

type Dom ZipList :: from -> from -> Type Source #

type Cod ZipList :: to -> to -> Type Source #

Methods

map :: forall (a :: from) (b :: from). Dom ZipList a b -> Cod ZipList (ZipList a) (ZipList b) Source #

CategoricalFunctor Handler Source # 
Instance details

Associated Types

type Dom Handler :: from -> from -> Type Source #

type Cod Handler :: to -> to -> Type Source #

Methods

map :: forall (a :: from) (b :: from). Dom Handler a b -> Cod Handler (Handler a) (Handler b) Source #

CategoricalFunctor Complex Source # 
Instance details

Associated Types

type Dom Complex :: from -> from -> Type Source #

type Cod Complex :: to -> to -> Type Source #

Methods

map :: forall (a :: from) (b :: from). Dom Complex a b -> Cod Complex (Complex a) (Complex b) Source #

CategoricalFunctor Predicate Source # 
Instance details

Associated Types

type Dom Predicate :: from -> from -> Type Source #

type Cod Predicate :: to -> to -> Type Source #

Methods

map :: forall (a :: from) (b :: from). Dom Predicate a b -> Cod Predicate (Predicate a) (Predicate b) Source #

CategoricalFunctor Identity Source # 
Instance details

Associated Types

type Dom Identity :: from -> from -> Type Source #

type Cod Identity :: to -> to -> Type Source #

Methods

map :: forall (a :: from) (b :: from). Dom Identity a b -> Cod Identity (Identity a) (Identity b) Source #

CategoricalFunctor First Source # 
Instance details

Associated Types

type Dom First :: from -> from -> Type Source #

type Cod First :: to -> to -> Type Source #

Methods

map :: forall (a :: from) (b :: from). Dom First a b -> Cod First (First a) (First b) Source #

CategoricalFunctor Last Source # 
Instance details

Associated Types

type Dom Last :: from -> from -> Type Source #

type Cod Last :: to -> to -> Type Source #

Methods

map :: forall (a :: from) (b :: from). Dom Last a b -> Cod Last (Last a) (Last b) Source #

CategoricalFunctor Down Source # 
Instance details

Associated Types

type Dom Down :: from -> from -> Type Source #

type Cod Down :: to -> to -> Type Source #

Methods

map :: forall (a :: from) (b :: from). Dom Down a b -> Cod Down (Down a) (Down b) Source #

CategoricalFunctor First Source # 
Instance details

Associated Types

type Dom First :: from -> from -> Type Source #

type Cod First :: to -> to -> Type Source #

Methods

map :: forall (a :: from) (b :: from). Dom First a b -> Cod First (First a) (First b) Source #

CategoricalFunctor Last Source # 
Instance details

Associated Types

type Dom Last :: from -> from -> Type Source #

type Cod Last :: to -> to -> Type Source #

Methods

map :: forall (a :: from) (b :: from). Dom Last a b -> Cod Last (Last a) (Last b) Source #

CategoricalFunctor Max Source # 
Instance details

Associated Types

type Dom Max :: from -> from -> Type Source #

type Cod Max :: to -> to -> Type Source #

Methods

map :: forall (a :: from) (b :: from). Dom Max a b -> Cod Max (Max a) (Max b) Source #

CategoricalFunctor Min Source # 
Instance details

Associated Types

type Dom Min :: from -> from -> Type Source #

type Cod Min :: to -> to -> Type Source #

Methods

map :: forall (a :: from) (b :: from). Dom Min a b -> Cod Min (Min a) (Min b) Source #

CategoricalFunctor Dual Source # 
Instance details

Associated Types

type Dom Dual :: from -> from -> Type Source #

type Cod Dual :: to -> to -> Type Source #

Methods

map :: forall (a :: from) (b :: from). Dom Dual a b -> Cod Dual (Dual a) (Dual b) Source #

CategoricalFunctor Endo Source # 
Instance details

Associated Types

type Dom Endo :: from -> from -> Type Source #

type Cod Endo :: to -> to -> Type Source #

Methods

map :: forall (a :: from) (b :: from). Dom Endo a b -> Cod Endo (Endo a) (Endo b) Source #

CategoricalFunctor Product Source # 
Instance details

Associated Types

type Dom Product :: from -> from -> Type Source #

type Cod Product :: to -> to -> Type Source #

Methods

map :: forall (a :: from) (b :: from). Dom Product a b -> Cod Product (Product a) (Product b) Source #

CategoricalFunctor Sum Source # 
Instance details

Associated Types

type Dom Sum :: from -> from -> Type Source #

type Cod Sum :: to -> to -> Type Source #

Methods

map :: forall (a :: from) (b :: from). Dom Sum a b -> Cod Sum (Sum a) (Sum b) Source #

CategoricalFunctor NonEmpty Source # 
Instance details

Associated Types

type Dom NonEmpty :: from -> from -> Type Source #

type Cod NonEmpty :: to -> to -> Type Source #

Methods

map :: forall (a :: from) (b :: from). Dom NonEmpty a b -> Cod NonEmpty (NonEmpty a) (NonEmpty b) Source #

CategoricalFunctor STM Source # 
Instance details

Associated Types

type Dom STM :: from -> from -> Type Source #

type Cod STM :: to -> to -> Type Source #

Methods

map :: forall (a :: from) (b :: from). Dom STM a b -> Cod STM (STM a) (STM b) Source #

CategoricalFunctor Par1 Source # 
Instance details

Associated Types

type Dom Par1 :: from -> from -> Type Source #

type Cod Par1 :: to -> to -> Type Source #

Methods

map :: forall (a :: from) (b :: from). Dom Par1 a b -> Cod Par1 (Par1 a) (Par1 b) Source #

CategoricalFunctor ArgDescr Source # 
Instance details

Associated Types

type Dom ArgDescr :: from -> from -> Type Source #

type Cod ArgDescr :: to -> to -> Type Source #

Methods

map :: forall (a :: from) (b :: from). Dom ArgDescr a b -> Cod ArgDescr (ArgDescr a) (ArgDescr b) Source #

CategoricalFunctor ArgOrder Source # 
Instance details

Associated Types

type Dom ArgOrder :: from -> from -> Type Source #

type Cod ArgOrder :: to -> to -> Type Source #

Methods

map :: forall (a :: from) (b :: from). Dom ArgOrder a b -> Cod ArgOrder (ArgOrder a) (ArgOrder b) Source #

CategoricalFunctor OptDescr Source # 
Instance details

Associated Types

type Dom OptDescr :: from -> from -> Type Source #

type Cod OptDescr :: to -> to -> Type Source #

Methods

map :: forall (a :: from) (b :: from). Dom OptDescr a b -> Cod OptDescr (OptDescr a) (OptDescr b) Source #

CategoricalFunctor ReadP Source # 
Instance details

Associated Types

type Dom ReadP :: from -> from -> Type Source #

type Cod ReadP :: to -> to -> Type Source #

Methods

map :: forall (a :: from) (b :: from). Dom ReadP a b -> Cod ReadP (ReadP a) (ReadP b) Source #

CategoricalFunctor ReadPrec Source # 
Instance details

Associated Types

type Dom ReadPrec :: from -> from -> Type Source #

type Cod ReadPrec :: to -> to -> Type Source #

Methods

map :: forall (a :: from) (b :: from). Dom ReadPrec a b -> Cod ReadPrec (ReadPrec a) (ReadPrec b) Source #

CategoricalFunctor IO Source # 
Instance details

Associated Types

type Dom IO :: from -> from -> Type Source #

type Cod IO :: to -> to -> Type Source #

Methods

map :: forall (a :: from) (b :: from). Dom IO a b -> Cod IO (IO a) (IO b) Source #

CategoricalFunctor Maybe Source # 
Instance details

Associated Types

type Dom Maybe :: from -> from -> Type Source #

type Cod Maybe :: to -> to -> Type Source #

Methods

map :: forall (a :: from) (b :: from). Dom Maybe a b -> Cod Maybe (Maybe a) (Maybe b) Source #

CategoricalFunctor Solo Source # 
Instance details

Associated Types

type Dom Solo :: from -> from -> Type Source #

type Cod Solo :: to -> to -> Type Source #

Methods

map :: forall (a :: from) (b :: from). Dom Solo a b -> Cod Solo (Solo a) (Solo b) Source #

CategoricalFunctor List Source # 
Instance details

Associated Types

type Dom List :: from -> from -> Type Source #

type Cod List :: to -> to -> Type Source #

Methods

map :: forall (a :: from) (b :: from). Dom List a b -> Cod List [a] [b] Source #

MapArg1 Op Predicate Source # 
Instance details

Methods

map1 :: forall (a :: from) (b :: from). Op a b -> Predicate a -> Predicate b Source #

MapArg1 (<->) Endo Source # 
Instance details

Methods

map1 :: forall (a :: from) (b :: from). (a <-> b) -> Endo a -> Endo b Source #

Monad m => CategoricalFunctor (WrappedMonad m :: Type -> Type) Source # 
Instance details

Associated Types

type Dom (WrappedMonad m) :: from -> from -> Type Source #

type Cod (WrappedMonad m) :: to -> to -> Type Source #

Methods

map :: forall (a :: from) (b :: from). Dom (WrappedMonad m) a b -> Cod (WrappedMonad m) (WrappedMonad m a) (WrappedMonad m b) Source #

Arrow a => CategoricalFunctor (ArrowMonad a :: Type -> Type) Source # 
Instance details

Associated Types

type Dom (ArrowMonad a) :: from -> from -> Type Source #

type Cod (ArrowMonad a) :: to -> to -> Type Source #

Methods

map :: forall (a0 :: from) (b :: from). Dom (ArrowMonad a) a0 b -> Cod (ArrowMonad a) (ArrowMonad a a0) (ArrowMonad a b) Source #

CategoricalFunctor (ST s :: Type -> Type) Source # 
Instance details

Associated Types

type Dom (ST s) :: from -> from -> Type Source #

type Cod (ST s) :: to -> to -> Type Source #

Methods

map :: forall (a :: from) (b :: from). Dom (ST s) a b -> Cod (ST s) (ST s a) (ST s b) Source #

CategoricalFunctor (Either a :: Type -> Type) Source # 
Instance details

Associated Types

type Dom (Either a) :: from -> from -> Type Source #

type Cod (Either a) :: to -> to -> Type Source #

Methods

map :: forall (a0 :: from) (b :: from). Dom (Either a) a0 b -> Cod (Either a) (Either a a0) (Either a b) Source #

CategoricalFunctor (Proxy :: Type -> Type) Source # 
Instance details

Associated Types

type Dom Proxy :: from -> from -> Type Source #

type Cod Proxy :: to -> to -> Type Source #

Methods

map :: forall (a :: from) (b :: from). Dom Proxy a b -> Cod Proxy (Proxy a) (Proxy b) Source #

CategoricalFunctor (Arg a :: Type -> Type) Source # 
Instance details

Associated Types

type Dom (Arg a) :: from -> from -> Type Source #

type Cod (Arg a) :: to -> to -> Type Source #

Methods

map :: forall (a0 :: from) (b :: from). Dom (Arg a) a0 b -> Cod (Arg a) (Arg a a0) (Arg a b) Source #

CategoricalFunctor (Array i :: Type -> Type) Source # 
Instance details

Associated Types

type Dom (Array i) :: from -> from -> Type Source #

type Cod (Array i) :: to -> to -> Type Source #

Methods

map :: forall (a :: from) (b :: from). Dom (Array i) a b -> Cod (Array i) (Array i a) (Array i b) Source #

CategoricalFunctor (U1 :: Type -> Type) Source # 
Instance details

Associated Types

type Dom U1 :: from -> from -> Type Source #

type Cod U1 :: to -> to -> Type Source #

Methods

map :: forall (a :: from) (b :: from). Dom U1 a b -> Cod U1 (U1 a) (U1 b) Source #

CategoricalFunctor (V1 :: Type -> Type) Source # 
Instance details

Associated Types

type Dom V1 :: from -> from -> Type Source #

type Cod V1 :: to -> to -> Type Source #

Methods

map :: forall (a :: from) (b :: from). Dom V1 a b -> Cod V1 (V1 a) (V1 b) Source #

CategoricalFunctor (ST s :: Type -> Type) Source # 
Instance details

Associated Types

type Dom (ST s) :: from -> from -> Type Source #

type Cod (ST s) :: to -> to -> Type Source #

Methods

map :: forall (a :: from) (b :: from). Dom (ST s) a b -> Cod (ST s) (ST s a) (ST s b) Source #

CategoricalFunctor (These a :: Type -> Type) Source # 
Instance details

Associated Types

type Dom (These a) :: from -> from -> Type Source #

type Cod (These a) :: to -> to -> Type Source #

Methods

map :: forall (a0 :: from) (b :: from). Dom (These a) a0 b -> Cod (These a) (These a a0) (These a b) Source #

CategoricalFunctor ((,) a :: Type -> Type) Source # 
Instance details

Associated Types

type Dom ((,) a) :: from -> from -> Type Source #

type Cod ((,) a) :: to -> to -> Type Source #

Methods

map :: forall (a0 :: from) (b :: from). Dom ((,) a) a0 b -> Cod ((,) a) (a, a0) (a, b) Source #

Arrow a => CategoricalFunctor (WrappedArrow a b :: Type -> Type) Source # 
Instance details

Associated Types

type Dom (WrappedArrow a b) :: from -> from -> Type Source #

type Cod (WrappedArrow a b) :: to -> to -> Type Source #

Methods

map :: forall (a0 :: from) (b0 :: from). Dom (WrappedArrow a b) a0 b0 -> Cod (WrappedArrow a b) (WrappedArrow a b a0) (WrappedArrow a b b0) Source #

FunctorOf (->) (->) m => CategoricalFunctor (Kleisli m a :: Type -> Type) Source # 
Instance details

Associated Types

type Dom (Kleisli m a) :: from -> from -> Type Source #

type Cod (Kleisli m a) :: to -> to -> Type Source #

Methods

map :: forall (a0 :: from) (b :: from). Dom (Kleisli m a) a0 b -> Cod (Kleisli m a) (Kleisli m a a0) (Kleisli m a b) Source #

CategoricalFunctor (Const m :: Type -> Type) Source # 
Instance details

Associated Types

type Dom (Const m) :: from -> from -> Type Source #

type Cod (Const m) :: to -> to -> Type Source #

Methods

map :: forall (a :: from) (b :: from). Dom (Const m) a b -> Cod (Const m) (Const m a) (Const m b) Source #

FunctorOf (->) (->) f => CategoricalFunctor (Ap f :: Type -> Type) Source # 
Instance details

Associated Types

type Dom (Ap f) :: from -> from -> Type Source #

type Cod (Ap f) :: to -> to -> Type Source #

Methods

map :: forall (a :: from) (b :: from). Dom (Ap f) a b -> Cod (Ap f) (Ap f a) (Ap f b) Source #

FunctorOf (->) (->) f => CategoricalFunctor (Alt f :: Type -> Type) Source # 
Instance details

Associated Types

type Dom (Alt f) :: from -> from -> Type Source #

type Cod (Alt f) :: to -> to -> Type Source #

Methods

map :: forall (a :: from) (b :: from). Dom (Alt f) a b -> Cod (Alt f) (Alt f a) (Alt f b) Source #

FunctorOf (->) (->) f => CategoricalFunctor (Rec1 f :: Type -> Type) Source # 
Instance details

Associated Types

type Dom (Rec1 f) :: from -> from -> Type Source #

type Cod (Rec1 f) :: to -> to -> Type Source #

Methods

map :: forall (a :: from) (b :: from). Dom (Rec1 f) a b -> Cod (Rec1 f) (Rec1 f a) (Rec1 f b) Source #

CategoricalFunctor (URec (Ptr ()) :: Type -> Type) Source # 
Instance details

Associated Types

type Dom (URec (Ptr ())) :: from -> from -> Type Source #

type Cod (URec (Ptr ())) :: to -> to -> Type Source #

Methods

map :: forall (a :: from) (b :: from). Dom (URec (Ptr ())) a b -> Cod (URec (Ptr ())) (URec (Ptr ()) a) (URec (Ptr ()) b) Source #

CategoricalFunctor (URec Char :: Type -> Type) Source # 
Instance details

Associated Types

type Dom (URec Char) :: from -> from -> Type Source #

type Cod (URec Char) :: to -> to -> Type Source #

Methods

map :: forall (a :: from) (b :: from). Dom (URec Char) a b -> Cod (URec Char) (URec Char a) (URec Char b) Source #

CategoricalFunctor (URec Double :: Type -> Type) Source # 
Instance details

Associated Types

type Dom (URec Double) :: from -> from -> Type Source #

type Cod (URec Double) :: to -> to -> Type Source #

Methods

map :: forall (a :: from) (b :: from). Dom (URec Double) a b -> Cod (URec Double) (URec Double a) (URec Double b) Source #

CategoricalFunctor (URec Float :: Type -> Type) Source # 
Instance details

Associated Types

type Dom (URec Float) :: from -> from -> Type Source #

type Cod (URec Float) :: to -> to -> Type Source #

Methods

map :: forall (a :: from) (b :: from). Dom (URec Float) a b -> Cod (URec Float) (URec Float a) (URec Float b) Source #

CategoricalFunctor (URec Int :: Type -> Type) Source # 
Instance details

Associated Types

type Dom (URec Int) :: from -> from -> Type Source #

type Cod (URec Int) :: to -> to -> Type Source #

Methods

map :: forall (a :: from) (b :: from). Dom (URec Int) a b -> Cod (URec Int) (URec Int a) (URec Int b) Source #

CategoricalFunctor (URec Word :: Type -> Type) Source # 
Instance details

Associated Types

type Dom (URec Word) :: from -> from -> Type Source #

type Cod (URec Word) :: to -> to -> Type Source #

Methods

map :: forall (a :: from) (b :: from). Dom (URec Word) a b -> Cod (URec Word) (URec Word a) (URec Word b) Source #

CategoricalFunctor ((,,) a b :: Type -> Type) Source # 
Instance details

Associated Types

type Dom ((,,) a b) :: from -> from -> Type Source #

type Cod ((,,) a b) :: to -> to -> Type Source #

Methods

map :: forall (a0 :: from) (b0 :: from). Dom ((,,) a b) a0 b0 -> Cod ((,,) a b) (a, b, a0) (a, b, b0) Source #

(FunctorOf (->) (->) f, FunctorOf (->) (->) g) => CategoricalFunctor (Product f g :: Type -> Type) Source # 
Instance details

Associated Types

type Dom (Product f g) :: from -> from -> Type Source #

type Cod (Product f g) :: to -> to -> Type Source #

Methods

map :: forall (a :: from) (b :: from). Dom (Product f g) a b -> Cod (Product f g) (Product f g a) (Product f g b) Source #

(FunctorOf (->) (->) f, FunctorOf (->) (->) g) => CategoricalFunctor (Sum f g :: Type -> Type) Source # 
Instance details

Associated Types

type Dom (Sum f g) :: from -> from -> Type Source #

type Cod (Sum f g) :: to -> to -> Type Source #

Methods

map :: forall (a :: from) (b :: from). Dom (Sum f g) a b -> Cod (Sum f g) (Sum f g a) (Sum f g b) Source #

(FunctorOf (->) (->) f, FunctorOf (->) (->) g) => CategoricalFunctor (f :*: g :: Type -> Type) Source # 
Instance details

Associated Types

type Dom (f :*: g) :: from -> from -> Type Source #

type Cod (f :*: g) :: to -> to -> Type Source #

Methods

map :: forall (a :: from) (b :: from). Dom (f :*: g) a b -> Cod (f :*: g) ((f :*: g) a) ((f :*: g) b) Source #

(FunctorOf (->) (->) f, FunctorOf (->) (->) g) => CategoricalFunctor (f :+: g :: Type -> Type) Source # 
Instance details

Associated Types

type Dom (f :+: g) :: from -> from -> Type Source #

type Cod (f :+: g) :: to -> to -> Type Source #

Methods

map :: forall (a :: from) (b :: from). Dom (f :+: g) a b -> Cod (f :+: g) ((f :+: g) a) ((f :+: g) b) Source #

CategoricalFunctor (K1 i c :: Type -> Type) Source # 
Instance details

Associated Types

type Dom (K1 i c) :: from -> from -> Type Source #

type Cod (K1 i c) :: to -> to -> Type Source #

Methods

map :: forall (a :: from) (b :: from). Dom (K1 i c) a b -> Cod (K1 i c) (K1 i c a) (K1 i c b) Source #

CategoricalFunctor ((,,,) a b c :: Type -> Type) Source # 
Instance details

Associated Types

type Dom ((,,,) a b c) :: from -> from -> Type Source #

type Cod ((,,,) a b c) :: to -> to -> Type Source #

Methods

map :: forall (a0 :: from) (b0 :: from). Dom ((,,,) a b c) a0 b0 -> Cod ((,,,) a b c) (a, b, c, a0) (a, b, c, b0) Source #

CategoricalFunctor ((->) r :: Type -> Type) Source # 
Instance details

Associated Types

type Dom ((->) r) :: from -> from -> Type Source #

type Cod ((->) r) :: to -> to -> Type Source #

Methods

map :: forall (a :: from) (b :: from). Dom ((->) r) a b -> Cod ((->) r) (r -> a) (r -> b) Source #

(FunctorOf (->) (->) f, FunctorOf (->) (->) g) => CategoricalFunctor (Compose f g :: Type -> Type) Source # 
Instance details

Associated Types

type Dom (Compose f g) :: from -> from -> Type Source #

type Cod (Compose f g) :: to -> to -> Type Source #

Methods

map :: forall (a :: from) (b :: from). Dom (Compose f g) a b -> Cod (Compose f g) (Compose f g a) (Compose f g b) Source #

(FunctorOf (->) (->) f, FunctorOf (->) (->) g) => CategoricalFunctor (f :.: g :: Type -> Type) Source # 
Instance details

Associated Types

type Dom (f :.: g) :: from -> from -> Type Source #

type Cod (f :.: g) :: to -> to -> Type Source #

Methods

map :: forall (a :: from) (b :: from). Dom (f :.: g) a b -> Cod (f :.: g) ((f :.: g) a) ((f :.: g) b) Source #

FunctorOf (->) (->) f => CategoricalFunctor (M1 i c f :: Type -> Type) Source # 
Instance details

Associated Types

type Dom (M1 i c f) :: from -> from -> Type Source #

type Cod (M1 i c f) :: to -> to -> Type Source #

Methods

map :: forall (a :: from) (b :: from). Dom (M1 i c f) a b -> Cod (M1 i c f) (M1 i c f a) (M1 i c f b) Source #

CategoricalFunctor ((,,,,) a b c d :: Type -> Type) Source # 
Instance details

Associated Types

type Dom ((,,,,) a b c d) :: from -> from -> Type Source #

type Cod ((,,,,) a b c d) :: to -> to -> Type Source #

Methods

map :: forall (a0 :: from) (b0 :: from). Dom ((,,,,) a b c d) a0 b0 -> Cod ((,,,,) a b c d) (a, b, c, d, a0) (a, b, c, d, b0) Source #

CategoricalFunctor ((,,,,,) a b c d e :: Type -> Type) Source # 
Instance details

Associated Types

type Dom ((,,,,,) a b c d e) :: from -> from -> Type Source #

type Cod ((,,,,,) a b c d e) :: to -> to -> Type Source #

Methods

map :: forall (a0 :: from) (b0 :: from). Dom ((,,,,,) a b c d e) a0 b0 -> Cod ((,,,,,) a b c d e) (a, b, c, d, e, a0) (a, b, c, d, e, b0) Source #

CategoricalFunctor ((,,,,,,) a b c d e f :: Type -> Type) Source # 
Instance details

Associated Types

type Dom ((,,,,,,) a b c d e f) :: from -> from -> Type Source #

type Cod ((,,,,,,) a b c d e f) :: to -> to -> Type Source #

Methods

map :: forall (a0 :: from) (b0 :: from). Dom ((,,,,,,) a b c d e f) a0 b0 -> Cod ((,,,,,,) a b c d e f) (a, b, c, d, e, f, a0) (a, b, c, d, e, f, b0) Source #

MapArg1 (->) ZipList Source # 
Instance details

Methods

map1 :: forall (a :: from) (b :: from). (a -> b) -> ZipList a -> ZipList b Source #

MapArg1 (->) Handler Source # 
Instance details

Methods

map1 :: forall (a :: from) (b :: from). (a -> b) -> Handler a -> Handler b Source #

MapArg1 (->) Complex Source # 
Instance details

Methods

map1 :: forall (a :: from) (b :: from). (a -> b) -> Complex a -> Complex b Source #

MapArg1 (->) Identity Source # 
Instance details

Methods

map1 :: forall (a :: from) (b :: from). (a -> b) -> Identity a -> Identity b Source #

MapArg1 (->) First Source # 
Instance details

Methods

map1 :: forall (a :: from) (b :: from). (a -> b) -> First a -> First b Source #

MapArg1 (->) Last Source # 
Instance details

Methods

map1 :: forall (a :: from) (b :: from). (a -> b) -> Last a -> Last b Source #

MapArg1 (->) Down Source # 
Instance details

Methods

map1 :: forall (a :: from) (b :: from). (a -> b) -> Down a -> Down b Source #

MapArg1 (->) First Source # 
Instance details

Methods

map1 :: forall (a :: from) (b :: from). (a -> b) -> First a -> First b Source #

MapArg1 (->) Last Source # 
Instance details

Methods

map1 :: forall (a :: from) (b :: from). (a -> b) -> Last a -> Last b Source #

MapArg1 (->) Max Source # 
Instance details

Methods

map1 :: forall (a :: from) (b :: from). (a -> b) -> Max a -> Max b Source #

MapArg1 (->) Min Source # 
Instance details

Methods

map1 :: forall (a :: from) (b :: from). (a -> b) -> Min a -> Min b Source #

MapArg1 (->) Dual Source # 
Instance details

Methods

map1 :: forall (a :: from) (b :: from). (a -> b) -> Dual a -> Dual b Source #

MapArg1 (->) Product Source # 
Instance details

Methods

map1 :: forall (a :: from) (b :: from). (a -> b) -> Product a -> Product b Source #

MapArg1 (->) Sum Source # 
Instance details

Methods

map1 :: forall (a :: from) (b :: from). (a -> b) -> Sum a -> Sum b Source #

MapArg1 (->) NonEmpty Source # 
Instance details

Methods

map1 :: forall (a :: from) (b :: from). (a -> b) -> NonEmpty a -> NonEmpty b Source #

MapArg1 (->) STM Source # 
Instance details

Methods

map1 :: forall (a :: from) (b :: from). (a -> b) -> STM a -> STM b Source #

MapArg1 (->) Par1 Source # 
Instance details

Methods

map1 :: forall (a :: from) (b :: from). (a -> b) -> Par1 a -> Par1 b Source #

MapArg1 (->) ArgDescr Source # 
Instance details

Methods

map1 :: forall (a :: from) (b :: from). (a -> b) -> ArgDescr a -> ArgDescr b Source #

MapArg1 (->) ArgOrder Source # 
Instance details

Methods

map1 :: forall (a :: from) (b :: from). (a -> b) -> ArgOrder a -> ArgOrder b Source #

MapArg1 (->) OptDescr Source # 
Instance details

Methods

map1 :: forall (a :: from) (b :: from). (a -> b) -> OptDescr a -> OptDescr b Source #

MapArg1 (->) ReadP Source # 
Instance details

Methods

map1 :: forall (a :: from) (b :: from). (a -> b) -> ReadP a -> ReadP b Source #

MapArg1 (->) ReadPrec Source # 
Instance details

Methods

map1 :: forall (a :: from) (b :: from). (a -> b) -> ReadPrec a -> ReadPrec b Source #

MapArg1 (->) IO Source # 
Instance details

Methods

map1 :: forall (a :: from) (b :: from). (a -> b) -> IO a -> IO b Source #

MapArg1 (->) Maybe Source # 
Instance details

Methods

map1 :: forall (a :: from) (b :: from). (a -> b) -> Maybe a -> Maybe b Source #

MapArg1 (->) Solo Source # 
Instance details

Methods

map1 :: forall (a :: from) (b :: from). (a -> b) -> Solo a -> Solo b Source #

MapArg1 (->) List Source # 
Instance details

Methods

map1 :: forall (a :: from) (b :: from). (a -> b) -> [a] -> [b] Source #

Monad m => MapArg1 (->) (WrappedMonad m :: Type -> Type) Source # 
Instance details

Methods

map1 :: forall (a :: from) (b :: from). (a -> b) -> WrappedMonad m a -> WrappedMonad m b Source #

Arrow a => MapArg1 (->) (ArrowMonad a :: Type -> Type) Source # 
Instance details

Methods

map1 :: forall (a0 :: from) (b :: from). (a0 -> b) -> ArrowMonad a a0 -> ArrowMonad a b Source #

MapArg1 (->) (ST s :: Type -> Type) Source # 
Instance details

Methods

map1 :: forall (a :: from) (b :: from). (a -> b) -> ST s a -> ST s b Source #

MapArg1 (->) (Either a :: Type -> Type) Source # 
Instance details

Methods

map1 :: forall (a0 :: from) (b :: from). (a0 -> b) -> Either a a0 -> Either a b Source #

MapArg1 (->) (Proxy :: Type -> Type) Source # 
Instance details

Methods

map1 :: forall (a :: from) (b :: from). (a -> b) -> Proxy a -> Proxy b Source #

MapArg1 (->) (Arg a :: Type -> Type) Source # 
Instance details

Methods

map1 :: forall (a0 :: from) (b :: from). (a0 -> b) -> Arg a a0 -> Arg a b Source #

MapArg1 (->) (Array i :: Type -> Type) Source # 
Instance details

Methods

map1 :: forall (a :: from) (b :: from). (a -> b) -> Array i a -> Array i b Source #

MapArg1 (->) (U1 :: Type -> Type) Source # 
Instance details

Methods

map1 :: forall (a :: from) (b :: from). (a -> b) -> U1 a -> U1 b Source #

MapArg1 (->) (V1 :: Type -> Type) Source # 
Instance details

Methods

map1 :: forall (a :: from) (b :: from). (a -> b) -> V1 a -> V1 b Source #

MapArg1 (->) (ST s :: Type -> Type) Source # 
Instance details

Methods

map1 :: forall (a :: from) (b :: from). (a -> b) -> ST s a -> ST s b Source #

MapArg1 (->) ((,) a :: Type -> Type) Source # 
Instance details

Methods

map1 :: forall (a0 :: from) (b :: from). (a0 -> b) -> (a, a0) -> (a, b) Source #

Arrow a => MapArg1 (->) (WrappedArrow a b :: Type -> Type) Source # 
Instance details

Methods

map1 :: forall (a0 :: from) (b0 :: from). (a0 -> b0) -> WrappedArrow a b a0 -> WrappedArrow a b b0 Source #

FunctorOf (->) (->) m => MapArg1 (->) (Kleisli m a :: Type -> Type) Source # 
Instance details

Methods

map1 :: forall (a0 :: from) (b :: from). (a0 -> b) -> Kleisli m a a0 -> Kleisli m a b Source #

MapArg1 (->) (Const m :: Type -> Type) Source # 
Instance details

Methods

map1 :: forall (a :: from) (b :: from). (a -> b) -> Const m a -> Const m b Source #

FunctorOf (->) (->) f => MapArg1 (->) (Ap f :: Type -> Type) Source # 
Instance details

Methods

map1 :: forall (a :: from) (b :: from). (a -> b) -> Ap f a -> Ap f b Source #

FunctorOf (->) (->) f => MapArg1 (->) (Alt f :: Type -> Type) Source # 
Instance details

Methods

map1 :: forall (a :: from) (b :: from). (a -> b) -> Alt f a -> Alt f b Source #

FunctorOf (->) (->) f => MapArg1 (->) (Rec1 f :: Type -> Type) Source # 
Instance details

Methods

map1 :: forall (a :: from) (b :: from). (a -> b) -> Rec1 f a -> Rec1 f b Source #

MapArg1 (->) (URec (Ptr ()) :: Type -> Type) Source # 
Instance details

Methods

map1 :: forall (a :: from) (b :: from). (a -> b) -> URec (Ptr ()) a -> URec (Ptr ()) b Source #

MapArg1 (->) (URec Char :: Type -> Type) Source # 
Instance details

Methods

map1 :: forall (a :: from) (b :: from). (a -> b) -> URec Char a -> URec Char b Source #

MapArg1 (->) (URec Double :: Type -> Type) Source # 
Instance details

Methods

map1 :: forall (a :: from) (b :: from). (a -> b) -> URec Double a -> URec Double b Source #

MapArg1 (->) (URec Float :: Type -> Type) Source # 
Instance details

Methods

map1 :: forall (a :: from) (b :: from). (a -> b) -> URec Float a -> URec Float b Source #

MapArg1 (->) (URec Int :: Type -> Type) Source # 
Instance details

Methods

map1 :: forall (a :: from) (b :: from). (a -> b) -> URec Int a -> URec Int b Source #

MapArg1 (->) (URec Word :: Type -> Type) Source # 
Instance details

Methods

map1 :: forall (a :: from) (b :: from). (a -> b) -> URec Word a -> URec Word b Source #

MapArg1 (->) ((,,) a b :: Type -> Type) Source # 
Instance details

Methods

map1 :: forall (a0 :: from) (b0 :: from). (a0 -> b0) -> (a, b, a0) -> (a, b, b0) Source #

(FunctorOf (->) (->) f, FunctorOf (->) (->) g) => MapArg1 (->) (Product f g :: Type -> Type) Source # 
Instance details

Methods

map1 :: forall (a :: from) (b :: from). (a -> b) -> Product f g a -> Product f g b Source #

(FunctorOf (->) (->) f, FunctorOf (->) (->) g) => MapArg1 (->) (Sum f g :: Type -> Type) Source # 
Instance details

Methods

map1 :: forall (a :: from) (b :: from). (a -> b) -> Sum f g a -> Sum f g b Source #

(FunctorOf (->) (->) f, FunctorOf (->) (->) g) => MapArg1 (->) (f :*: g :: Type -> Type) Source # 
Instance details

Methods

map1 :: forall (a :: from) (b :: from). (a -> b) -> (f :*: g) a -> (f :*: g) b Source #

(FunctorOf (->) (->) f, FunctorOf (->) (->) g) => MapArg1 (->) (f :+: g :: Type -> Type) Source # 
Instance details

Methods

map1 :: forall (a :: from) (b :: from). (a -> b) -> (f :+: g) a -> (f :+: g) b Source #

MapArg1 (->) (K1 i c :: Type -> Type) Source # 
Instance details

Methods

map1 :: forall (a :: from) (b :: from). (a -> b) -> K1 i c a -> K1 i c b Source #

MapArg1 (->) ((,,,) a b c :: Type -> Type) Source # 
Instance details

Methods

map1 :: forall (a0 :: from) (b0 :: from). (a0 -> b0) -> (a, b, c, a0) -> (a, b, c, b0) Source #

MapArg1 (->) ((->) r :: Type -> Type) Source # 
Instance details

Methods

map1 :: forall (a :: from) (b :: from). (a -> b) -> (r -> a) -> r -> b Source #

(FunctorOf (->) (->) f, FunctorOf (->) (->) g) => MapArg1 (->) (Compose f g :: Type -> Type) Source # 
Instance details

Methods

map1 :: forall (a :: from) (b :: from). (a -> b) -> Compose f g a -> Compose f g b Source #

(FunctorOf (->) (->) f, FunctorOf (->) (->) g) => MapArg1 (->) (f :.: g :: Type -> Type) Source # 
Instance details

Methods

map1 :: forall (a :: from) (b :: from). (a -> b) -> (f :.: g) a -> (f :.: g) b Source #

FunctorOf (->) (->) f => MapArg1 (->) (M1 i c f :: Type -> Type) Source # 
Instance details

Methods

map1 :: forall (a :: from) (b :: from). (a -> b) -> M1 i c f a -> M1 i c f b Source #

MapArg1 (->) ((,,,,) a b c d :: Type -> Type) Source # 
Instance details

Methods

map1 :: forall (a0 :: from) (b0 :: from). (a0 -> b0) -> (a, b, c, d, a0) -> (a, b, c, d, b0) Source #

MapArg1 (->) ((,,,,,) a b c d e :: Type -> Type) Source # 
Instance details

Methods

map1 :: forall (a0 :: from) (b0 :: from). (a0 -> b0) -> (a, b, c, d, e, a0) -> (a, b, c, d, e, b0) Source #

MapArg1 (->) ((,,,,,,) a b c d e f :: Type -> Type) Source # 
Instance details

Methods

map1 :: forall (a0 :: from) (b0 :: from). (a0 -> b0) -> (a, b, c, d, e, f, a0) -> (a, b, c, d, e, f, b0) Source #