Control.Subcategory.Functor

Documentation

class Constrained (f :: Type -> Type)

Associated Types

type Dom f (a :: Type) :: Constraint

Instances

Constrained []

Defined in Control.Subcategory.Functor

Associated Types

type Dom [] a :: Constraint

Constrained Maybe

Defined in Control.Subcategory.Functor

Associated Types

type Dom Maybe a :: Constraint

Constrained IO

Defined in Control.Subcategory.Functor

Associated Types

type Dom IO a :: Constraint

Constrained Par1

Defined in Control.Subcategory.Functor

Associated Types

type Dom Par1 a :: Constraint

Constrained Complex

Defined in Control.Subcategory.Functor

Associated Types

type Dom Complex a :: Constraint

Constrained Min

Defined in Control.Subcategory.Functor

Associated Types

type Dom Min a :: Constraint

Constrained Max

Defined in Control.Subcategory.Functor

Associated Types

type Dom Max a :: Constraint

Constrained First

Defined in Control.Subcategory.Functor

Associated Types

type Dom First a :: Constraint

Constrained Last

Defined in Control.Subcategory.Functor

Associated Types

type Dom Last a :: Constraint

Constrained Option

Defined in Control.Subcategory.Functor

Associated Types

type Dom Option a :: Constraint

Constrained ArgOrder

Defined in Control.Subcategory.Functor

Associated Types

type Dom ArgOrder a :: Constraint

Constrained OptDescr

Defined in Control.Subcategory.Functor

Associated Types

type Dom OptDescr a :: Constraint

Constrained ArgDescr

Defined in Control.Subcategory.Functor

Associated Types

type Dom ArgDescr a :: Constraint

Constrained ZipList

Defined in Control.Subcategory.Functor

Associated Types

type Dom ZipList a :: Constraint

Constrained Identity

Defined in Control.Subcategory.Functor

Associated Types

type Dom Identity a :: Constraint

Constrained Handler

Defined in Control.Subcategory.Functor

Associated Types

type Dom Handler a :: Constraint

Constrained STM

Defined in Control.Subcategory.Functor

Associated Types

type Dom STM a :: Constraint

Constrained First

Defined in Control.Subcategory.Functor

Associated Types

type Dom First a :: Constraint

Constrained Last

Defined in Control.Subcategory.Functor

Associated Types

type Dom Last a :: Constraint

Constrained Dual

Defined in Control.Subcategory.Functor

Associated Types

type Dom Dual a :: Constraint

Constrained Sum

Defined in Control.Subcategory.Functor

Associated Types

type Dom Sum a :: Constraint

Constrained Product

Defined in Control.Subcategory.Functor

Associated Types

type Dom Product a :: Constraint

Constrained Down

Defined in Control.Subcategory.Functor

Associated Types

type Dom Down a :: Constraint

Constrained ReadPrec

Defined in Control.Subcategory.Functor

Associated Types

type Dom ReadPrec a :: Constraint

Constrained ReadP

Defined in Control.Subcategory.Functor

Associated Types

type Dom ReadP a :: Constraint

Constrained NonEmpty

Defined in Control.Subcategory.Functor

Associated Types

type Dom NonEmpty a :: Constraint

Constrained IntMap

Defined in Control.Subcategory.Functor

Associated Types

type Dom IntMap a :: Constraint

Constrained Tree

Defined in Control.Subcategory.Functor

Associated Types

type Dom Tree a :: Constraint

Constrained Seq

Defined in Control.Subcategory.Functor

Associated Types

type Dom Seq a :: Constraint

Constrained Set

Defined in Control.Subcategory.Functor

Associated Types

type Dom Set a :: Constraint

Constrained PrimArray

Defined in Control.Subcategory.Functor

Associated Types

type Dom PrimArray a :: Constraint

Constrained SmallArray

Defined in Control.Subcategory.Functor

Associated Types

type Dom SmallArray a :: Constraint

Constrained Array

Defined in Control.Subcategory.Functor

Associated Types

type Dom Array a :: Constraint

Constrained HashSet

Defined in Control.Subcategory.Functor

Associated Types

type Dom HashSet a :: Constraint

Constrained Vector

Defined in Control.Subcategory.Functor

Associated Types

type Dom Vector a :: Constraint

Constrained Vector

Defined in Control.Subcategory.Functor

Associated Types

type Dom Vector a :: Constraint

Constrained Vector

Defined in Control.Subcategory.Functor

Associated Types

type Dom Vector a :: Constraint

Constrained Vector

Defined in Control.Subcategory.Functor

Associated Types

type Dom Vector a :: Constraint

Constrained (Either a)

Defined in Control.Subcategory.Functor

Associated Types

type Dom (Either a) a :: Constraint

Constrained (V1 :: Type -> Type)

Defined in Control.Subcategory.Functor

Associated Types

type Dom V1 a :: Constraint

Constrained (U1 :: Type -> Type)

Defined in Control.Subcategory.Functor

Associated Types

type Dom U1 a :: Constraint

Constrained ((,) a)

Defined in Control.Subcategory.Functor

Associated Types

type Dom ((,) a) a :: Constraint

Constrained (ST s)

Defined in Control.Subcategory.Functor

Associated Types

type Dom (ST s) a :: Constraint

Constrained (Arg a)

Defined in Control.Subcategory.Functor

Associated Types

type Dom (Arg a) a :: Constraint

Constrained (ST s)

Defined in Control.Subcategory.Functor

Associated Types

type Dom (ST s) a :: Constraint

Constrained (WrappedMonad m)

Defined in Control.Subcategory.Functor

Associated Types

type Dom (WrappedMonad m) a :: Constraint

Constrained (ArrowMonad a)

Defined in Control.Subcategory.Functor

Associated Types

type Dom (ArrowMonad a) a :: Constraint

Constrained (Proxy :: Type -> Type)

Defined in Control.Subcategory.Functor

Associated Types

type Dom Proxy a :: Constraint

Constrained (Map k)

Defined in Control.Subcategory.Functor

Associated Types

type Dom (Map k) a :: Constraint

Constrained (HashMap k)

Defined in Control.Subcategory.Functor

Associated Types

type Dom (HashMap k) a :: Constraint

Constrained (WrappedMono mono)

Defined in Control.Subcategory.Functor

Associated Types

type Dom (WrappedMono mono) a :: Constraint

Constrained (WrapFunctor f)

Defined in Control.Subcategory.Functor

Associated Types

type Dom (WrapFunctor f) a :: Constraint

Constrained (Rec1 f)

Defined in Control.Subcategory.Functor

Associated Types

type Dom (Rec1 f) a :: Constraint

Constrained (URec Char :: Type -> Type)

Defined in Control.Subcategory.Functor

Associated Types

type Dom (URec Char) a :: Constraint

Constrained (URec Double :: Type -> Type)

Defined in Control.Subcategory.Functor

Associated Types

type Dom (URec Double) a :: Constraint

Constrained (URec Float :: Type -> Type)

Defined in Control.Subcategory.Functor

Associated Types

type Dom (URec Float) a :: Constraint

Constrained (URec Int :: Type -> Type)

Defined in Control.Subcategory.Functor

Associated Types

type Dom (URec Int) a :: Constraint

Constrained (URec Word :: Type -> Type)

Defined in Control.Subcategory.Functor

Associated Types

type Dom (URec Word) a :: Constraint

Constrained (URec (Ptr ()) :: Type -> Type)

Defined in Control.Subcategory.Functor

Associated Types

type Dom (URec (Ptr ())) a :: Constraint

Constrained (WrappedArrow a b)

Defined in Control.Subcategory.Functor

Associated Types

type Dom (WrappedArrow a b) a :: Constraint

Constrained (Const m :: Type -> Type)

Defined in Control.Subcategory.Functor

Associated Types

type Dom (Const m) a :: Constraint

Constrained f => Constrained (Ap f)

Defined in Control.Subcategory.Functor

Associated Types

type Dom (Ap f) a :: Constraint

Constrained (Alt f)

Defined in Control.Subcategory.Functor

Associated Types

type Dom (Alt f) a :: Constraint

Constrained (WrapMono mono :: Type -> Type)

Defined in Control.Subcategory.Functor

Associated Types

type Dom (WrapMono mono) a :: Constraint

Constrained f => Constrained (CApp f)

Defined in Control.Subcategory.Applicative

Associated Types

type Dom (CApp f) a :: Constraint

Constrained (CAlt f)

Defined in Control.Subcategory.Alternative

Associated Types

type Dom (CAlt f) a :: Constraint

Constrained (CZippy f)

Defined in Control.Subcategory.Zip

Associated Types

type Dom (CZippy f) a :: Constraint

Constrained ((->) r :: Type -> Type)

Defined in Control.Subcategory.Functor

Associated Types

type Dom ((->) r) a :: Constraint

Constrained (K1 i c :: Type -> Type)

Defined in Control.Subcategory.Functor

Associated Types

type Dom (K1 i c) a :: Constraint

Constrained (f :+: g)

Defined in Control.Subcategory.Functor

Associated Types

type Dom (f :+: g) a :: Constraint

Constrained (f :*: g)

Defined in Control.Subcategory.Functor

Associated Types

type Dom (f :*: g) a :: Constraint

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

Defined in Control.Subcategory.Functor

Associated Types

type Dom (Product f g) a :: Constraint

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

Defined in Control.Subcategory.Functor

Associated Types

type Dom (Sum f g) a :: Constraint

Constrained (M1 i c f)

Defined in Control.Subcategory.Functor

Associated Types

type Dom (M1 i c f) a :: Constraint

Constrained (f :.: g)

Defined in Control.Subcategory.Functor

Associated Types

type Dom (f :.: g) a :: Constraint

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

Defined in Control.Subcategory.Functor

Associated Types

type Dom (Compose f g) a :: Constraint

class Constrained f => CFunctor f where

Minimal complete definition

Nothing

Methods

cmap :: (Dom f a, Dom f b) => (a -> b) -> f a -> f b

cmap :: Functor f => (a -> b) -> f a -> f b

(<$:) :: (Dom f a, Dom f b) => a -> f b -> f a infixl 4

Instances

CFunctor []

Defined in Control.Subcategory.Functor

Methods

cmap :: (Dom [] a, Dom [] b) => (a -> b) -> [a] -> [b]

(<$:) :: (Dom [] a, Dom [] b) => a -> [b] -> [a]

CFunctor Maybe

Defined in Control.Subcategory.Functor

Methods

cmap :: (Dom Maybe a, Dom Maybe b) => (a -> b) -> Maybe a -> Maybe b

(<$:) :: (Dom Maybe a, Dom Maybe b) => a -> Maybe b -> Maybe a

CFunctor IO

Defined in Control.Subcategory.Functor

Methods

cmap :: (Dom IO a, Dom IO b) => (a -> b) -> IO a -> IO b

(<$:) :: (Dom IO a, Dom IO b) => a -> IO b -> IO a

CFunctor Par1

Defined in Control.Subcategory.Functor

Methods

cmap :: (Dom Par1 a, Dom Par1 b) => (a -> b) -> Par1 a -> Par1 b

(<$:) :: (Dom Par1 a, Dom Par1 b) => a -> Par1 b -> Par1 a

CFunctor Complex

Defined in Control.Subcategory.Functor

Methods

cmap :: (Dom Complex a, Dom Complex b) => (a -> b) -> Complex a -> Complex b

(<$:) :: (Dom Complex a, Dom Complex b) => a -> Complex b -> Complex a

CFunctor Min

Defined in Control.Subcategory.Functor

Methods

cmap :: (Dom Min a, Dom Min b) => (a -> b) -> Min a -> Min b

(<$:) :: (Dom Min a, Dom Min b) => a -> Min b -> Min a

CFunctor Max

Defined in Control.Subcategory.Functor

Methods

cmap :: (Dom Max a, Dom Max b) => (a -> b) -> Max a -> Max b

(<$:) :: (Dom Max a, Dom Max b) => a -> Max b -> Max a

CFunctor First

Defined in Control.Subcategory.Functor

Methods

cmap :: (Dom First a, Dom First b) => (a -> b) -> First a -> First b

(<$:) :: (Dom First a, Dom First b) => a -> First b -> First a

CFunctor Last

Defined in Control.Subcategory.Functor

Methods

cmap :: (Dom Last a, Dom Last b) => (a -> b) -> Last a -> Last b

(<$:) :: (Dom Last a, Dom Last b) => a -> Last b -> Last a

CFunctor Option

Defined in Control.Subcategory.Functor

Methods

cmap :: (Dom Option a, Dom Option b) => (a -> b) -> Option a -> Option b

(<$:) :: (Dom Option a, Dom Option b) => a -> Option b -> Option a

CFunctor ArgOrder

Defined in Control.Subcategory.Functor

Methods

cmap :: (Dom ArgOrder a, Dom ArgOrder b) => (a -> b) -> ArgOrder a -> ArgOrder b

(<$:) :: (Dom ArgOrder a, Dom ArgOrder b) => a -> ArgOrder b -> ArgOrder a

CFunctor OptDescr

Defined in Control.Subcategory.Functor

Methods

cmap :: (Dom OptDescr a, Dom OptDescr b) => (a -> b) -> OptDescr a -> OptDescr b

(<$:) :: (Dom OptDescr a, Dom OptDescr b) => a -> OptDescr b -> OptDescr a

CFunctor ArgDescr

Defined in Control.Subcategory.Functor

Methods

cmap :: (Dom ArgDescr a, Dom ArgDescr b) => (a -> b) -> ArgDescr a -> ArgDescr b

(<$:) :: (Dom ArgDescr a, Dom ArgDescr b) => a -> ArgDescr b -> ArgDescr a

CFunctor ZipList

Defined in Control.Subcategory.Functor

Methods

cmap :: (Dom ZipList a, Dom ZipList b) => (a -> b) -> ZipList a -> ZipList b

(<$:) :: (Dom ZipList a, Dom ZipList b) => a -> ZipList b -> ZipList a

CFunctor Identity

Defined in Control.Subcategory.Functor

Methods

cmap :: (Dom Identity a, Dom Identity b) => (a -> b) -> Identity a -> Identity b

(<$:) :: (Dom Identity a, Dom Identity b) => a -> Identity b -> Identity a

CFunctor Handler

Defined in Control.Subcategory.Functor

Methods

cmap :: (Dom Handler a, Dom Handler b) => (a -> b) -> Handler a -> Handler b

(<$:) :: (Dom Handler a, Dom Handler b) => a -> Handler b -> Handler a

CFunctor STM

Defined in Control.Subcategory.Functor

Methods

cmap :: (Dom STM a, Dom STM b) => (a -> b) -> STM a -> STM b

(<$:) :: (Dom STM a, Dom STM b) => a -> STM b -> STM a

CFunctor First

Defined in Control.Subcategory.Functor

Methods

cmap :: (Dom First a, Dom First b) => (a -> b) -> First a -> First b

(<$:) :: (Dom First a, Dom First b) => a -> First b -> First a

CFunctor Last

Defined in Control.Subcategory.Functor

Methods

cmap :: (Dom Last a, Dom Last b) => (a -> b) -> Last a -> Last b

(<$:) :: (Dom Last a, Dom Last b) => a -> Last b -> Last a

CFunctor Dual

Defined in Control.Subcategory.Functor

Methods

cmap :: (Dom Dual a, Dom Dual b) => (a -> b) -> Dual a -> Dual b

(<$:) :: (Dom Dual a, Dom Dual b) => a -> Dual b -> Dual a

CFunctor Sum

Defined in Control.Subcategory.Functor

Methods

cmap :: (Dom Sum a, Dom Sum b) => (a -> b) -> Sum a -> Sum b

(<$:) :: (Dom Sum a, Dom Sum b) => a -> Sum b -> Sum a

CFunctor Product

Defined in Control.Subcategory.Functor

Methods

cmap :: (Dom Product a, Dom Product b) => (a -> b) -> Product a -> Product b

(<$:) :: (Dom Product a, Dom Product b) => a -> Product b -> Product a

CFunctor Down

Defined in Control.Subcategory.Functor

Methods

cmap :: (Dom Down a, Dom Down b) => (a -> b) -> Down a -> Down b

(<$:) :: (Dom Down a, Dom Down b) => a -> Down b -> Down a

CFunctor ReadPrec

Defined in Control.Subcategory.Functor

Methods

cmap :: (Dom ReadPrec a, Dom ReadPrec b) => (a -> b) -> ReadPrec a -> ReadPrec b

(<$:) :: (Dom ReadPrec a, Dom ReadPrec b) => a -> ReadPrec b -> ReadPrec a

CFunctor ReadP

Defined in Control.Subcategory.Functor

Methods

cmap :: (Dom ReadP a, Dom ReadP b) => (a -> b) -> ReadP a -> ReadP b

(<$:) :: (Dom ReadP a, Dom ReadP b) => a -> ReadP b -> ReadP a

CFunctor NonEmpty

Defined in Control.Subcategory.Functor

Methods

cmap :: (Dom NonEmpty a, Dom NonEmpty b) => (a -> b) -> NonEmpty a -> NonEmpty b

(<$:) :: (Dom NonEmpty a, Dom NonEmpty b) => a -> NonEmpty b -> NonEmpty a

CFunctor IntMap

Defined in Control.Subcategory.Functor

Methods

cmap :: (Dom IntMap a, Dom IntMap b) => (a -> b) -> IntMap a -> IntMap b

(<$:) :: (Dom IntMap a, Dom IntMap b) => a -> IntMap b -> IntMap a

CFunctor Tree

Defined in Control.Subcategory.Functor

Methods

cmap :: (Dom Tree a, Dom Tree b) => (a -> b) -> Tree a -> Tree b

(<$:) :: (Dom Tree a, Dom Tree b) => a -> Tree b -> Tree a

CFunctor Seq

Defined in Control.Subcategory.Functor

Methods

cmap :: (Dom Seq a, Dom Seq b) => (a -> b) -> Seq a -> Seq b

(<$:) :: (Dom Seq a, Dom Seq b) => a -> Seq b -> Seq a

CFunctor Set

Defined in Control.Subcategory.Functor

Methods

cmap :: (Dom Set a, Dom Set b) => (a -> b) -> Set a -> Set b

(<$:) :: (Dom Set a, Dom Set b) => a -> Set b -> Set a

CFunctor PrimArray

Defined in Control.Subcategory.Functor

Methods

cmap :: (Dom PrimArray a, Dom PrimArray b) => (a -> b) -> PrimArray a -> PrimArray b

(<$:) :: (Dom PrimArray a, Dom PrimArray b) => a -> PrimArray b -> PrimArray a

CFunctor SmallArray

Defined in Control.Subcategory.Functor

Methods

cmap :: (Dom SmallArray a, Dom SmallArray b) => (a -> b) -> SmallArray a -> SmallArray b

(<$:) :: (Dom SmallArray a, Dom SmallArray b) => a -> SmallArray b -> SmallArray a

CFunctor Array

Defined in Control.Subcategory.Functor

Methods

cmap :: (Dom Array a, Dom Array b) => (a -> b) -> Array a -> Array b

(<$:) :: (Dom Array a, Dom Array b) => a -> Array b -> Array a

CFunctor HashSet

Defined in Control.Subcategory.Functor

Methods

cmap :: (Dom HashSet a, Dom HashSet b) => (a -> b) -> HashSet a -> HashSet b

(<$:) :: (Dom HashSet a, Dom HashSet b) => a -> HashSet b -> HashSet a

CFunctor Vector

Defined in Control.Subcategory.Functor

Methods

cmap :: (Dom Vector a, Dom Vector b) => (a -> b) -> Vector a -> Vector b

(<$:) :: (Dom Vector a, Dom Vector b) => a -> Vector b -> Vector a

CFunctor Vector

Defined in Control.Subcategory.Functor

Methods

cmap :: (Dom Vector a, Dom Vector b) => (a -> b) -> Vector a -> Vector b

(<$:) :: (Dom Vector a, Dom Vector b) => a -> Vector b -> Vector a

CFunctor Vector

Defined in Control.Subcategory.Functor

Methods

cmap :: (Dom Vector a, Dom Vector b) => (a -> b) -> Vector a -> Vector b

(<$:) :: (Dom Vector a, Dom Vector b) => a -> Vector b -> Vector a

CFunctor Vector

Defined in Control.Subcategory.Functor

Methods

cmap :: (Dom Vector a, Dom Vector b) => (a -> b) -> Vector a -> Vector b

(<$:) :: (Dom Vector a, Dom Vector b) => a -> Vector b -> Vector a

CFunctor (Either a)

Defined in Control.Subcategory.Functor

Methods

cmap :: (Dom (Either a) a0, Dom (Either a) b) => (a0 -> b) -> Either a a0 -> Either a b

(<$:) :: (Dom (Either a) a0, Dom (Either a) b) => a0 -> Either a b -> Either a a0

CFunctor (V1 :: Type -> Type)

Defined in Control.Subcategory.Functor

Methods

cmap :: (Dom V1 a, Dom V1 b) => (a -> b) -> V1 a -> V1 b

(<$:) :: (Dom V1 a, Dom V1 b) => a -> V1 b -> V1 a

CFunctor (U1 :: Type -> Type)

Defined in Control.Subcategory.Functor

Methods

cmap :: (Dom U1 a, Dom U1 b) => (a -> b) -> U1 a -> U1 b

(<$:) :: (Dom U1 a, Dom U1 b) => a -> U1 b -> U1 a

CFunctor ((,) a)

Defined in Control.Subcategory.Functor

Methods

cmap :: (Dom ((,) a) a0, Dom ((,) a) b) => (a0 -> b) -> (a, a0) -> (a, b)

(<$:) :: (Dom ((,) a) a0, Dom ((,) a) b) => a0 -> (a, b) -> (a, a0)

CFunctor (ST s)

Defined in Control.Subcategory.Functor

Methods

cmap :: (Dom (ST s) a, Dom (ST s) b) => (a -> b) -> ST s a -> ST s b

(<$:) :: (Dom (ST s) a, Dom (ST s) b) => a -> ST s b -> ST s a

CFunctor (Arg a)

Defined in Control.Subcategory.Functor

Methods

cmap :: (Dom (Arg a) a0, Dom (Arg a) b) => (a0 -> b) -> Arg a a0 -> Arg a b

(<$:) :: (Dom (Arg a) a0, Dom (Arg a) b) => a0 -> Arg a b -> Arg a a0

CFunctor (ST s)

Defined in Control.Subcategory.Functor

Methods

cmap :: (Dom (ST s) a, Dom (ST s) b) => (a -> b) -> ST s a -> ST s b

(<$:) :: (Dom (ST s) a, Dom (ST s) b) => a -> ST s b -> ST s a

Monad m => CFunctor (WrappedMonad m)

Defined in Control.Subcategory.Functor

Methods

cmap :: (Dom (WrappedMonad m) a, Dom (WrappedMonad m) b) => (a -> b) -> WrappedMonad m a -> WrappedMonad m b

(<$:) :: (Dom (WrappedMonad m) a, Dom (WrappedMonad m) b) => a -> WrappedMonad m b -> WrappedMonad m a

Arrow a => CFunctor (ArrowMonad a)

Defined in Control.Subcategory.Functor

Methods

cmap :: (Dom (ArrowMonad a) a0, Dom (ArrowMonad a) b) => (a0 -> b) -> ArrowMonad a a0 -> ArrowMonad a b

(<$:) :: (Dom (ArrowMonad a) a0, Dom (ArrowMonad a) b) => a0 -> ArrowMonad a b -> ArrowMonad a a0

CFunctor (Proxy :: Type -> Type)

Defined in Control.Subcategory.Functor

Methods

cmap :: (Dom Proxy a, Dom Proxy b) => (a -> b) -> Proxy a -> Proxy b

(<$:) :: (Dom Proxy a, Dom Proxy b) => a -> Proxy b -> Proxy a

Ord k => CFunctor (Map k)

Defined in Control.Subcategory.Functor

Methods

cmap :: (Dom (Map k) a, Dom (Map k) b) => (a -> b) -> Map k a -> Map k b

(<$:) :: (Dom (Map k) a, Dom (Map k) b) => a -> Map k b -> Map k a

CFunctor (HashMap k)

Defined in Control.Subcategory.Functor

Methods

cmap :: (Dom (HashMap k) a, Dom (HashMap k) b) => (a -> b) -> HashMap k a -> HashMap k b

(<$:) :: (Dom (HashMap k) a, Dom (HashMap k) b) => a -> HashMap k b -> HashMap k a

MonoFunctor mono => CFunctor (WrappedMono mono)

Defined in Control.Subcategory.Functor

Methods

cmap :: (Dom (WrappedMono mono) a, Dom (WrappedMono mono) b) => (a -> b) -> WrappedMono mono a -> WrappedMono mono b

(<$:) :: (Dom (WrappedMono mono) a, Dom (WrappedMono mono) b) => a -> WrappedMono mono b -> WrappedMono mono a

Functor f => CFunctor (WrapFunctor f)

Defined in Control.Subcategory.Functor

Methods

cmap :: (Dom (WrapFunctor f) a, Dom (WrapFunctor f) b) => (a -> b) -> WrapFunctor f a -> WrapFunctor f b

(<$:) :: (Dom (WrapFunctor f) a, Dom (WrapFunctor f) b) => a -> WrapFunctor f b -> WrapFunctor f a

Functor f => CFunctor (Rec1 f)

Defined in Control.Subcategory.Functor

Methods

cmap :: (Dom (Rec1 f) a, Dom (Rec1 f) b) => (a -> b) -> Rec1 f a -> Rec1 f b

(<$:) :: (Dom (Rec1 f) a, Dom (Rec1 f) b) => a -> Rec1 f b -> Rec1 f a

CFunctor (URec Char :: Type -> Type)

Defined in Control.Subcategory.Functor

Methods

cmap :: (Dom (URec Char) a, Dom (URec Char) b) => (a -> b) -> URec Char a -> URec Char b

(<$:) :: (Dom (URec Char) a, Dom (URec Char) b) => a -> URec Char b -> URec Char a

CFunctor (URec Double :: Type -> Type)

Defined in Control.Subcategory.Functor

Methods

cmap :: (Dom (URec Double) a, Dom (URec Double) b) => (a -> b) -> URec Double a -> URec Double b

(<$:) :: (Dom (URec Double) a, Dom (URec Double) b) => a -> URec Double b -> URec Double a

CFunctor (URec Float :: Type -> Type)

Defined in Control.Subcategory.Functor

Methods

cmap :: (Dom (URec Float) a, Dom (URec Float) b) => (a -> b) -> URec Float a -> URec Float b

(<$:) :: (Dom (URec Float) a, Dom (URec Float) b) => a -> URec Float b -> URec Float a

CFunctor (URec Int :: Type -> Type)

Defined in Control.Subcategory.Functor

Methods

cmap :: (Dom (URec Int) a, Dom (URec Int) b) => (a -> b) -> URec Int a -> URec Int b

(<$:) :: (Dom (URec Int) a, Dom (URec Int) b) => a -> URec Int b -> URec Int a

CFunctor (URec Word :: Type -> Type)

Defined in Control.Subcategory.Functor

Methods

cmap :: (Dom (URec Word) a, Dom (URec Word) b) => (a -> b) -> URec Word a -> URec Word b

(<$:) :: (Dom (URec Word) a, Dom (URec Word) b) => a -> URec Word b -> URec Word a

CFunctor (URec (Ptr ()) :: Type -> Type)

Defined in Control.Subcategory.Functor

Methods

cmap :: (Dom (URec (Ptr ())) a, Dom (URec (Ptr ())) b) => (a -> b) -> URec (Ptr ()) a -> URec (Ptr ()) b

(<$:) :: (Dom (URec (Ptr ())) a, Dom (URec (Ptr ())) b) => a -> URec (Ptr ()) b -> URec (Ptr ()) a

Arrow a => CFunctor (WrappedArrow a b)

Defined in Control.Subcategory.Functor

Methods

cmap :: (Dom (WrappedArrow a b) a0, Dom (WrappedArrow a b) b0) => (a0 -> b0) -> WrappedArrow a b a0 -> WrappedArrow a b b0

(<$:) :: (Dom (WrappedArrow a b) a0, Dom (WrappedArrow a b) b0) => a0 -> WrappedArrow a b b0 -> WrappedArrow a b a0

CFunctor (Const m :: Type -> Type)

Defined in Control.Subcategory.Functor

Methods

cmap :: (Dom (Const m) a, Dom (Const m) b) => (a -> b) -> Const m a -> Const m b

(<$:) :: (Dom (Const m) a, Dom (Const m) b) => a -> Const m b -> Const m a

CFunctor f => CFunctor (Ap f)

Defined in Control.Subcategory.Functor

Methods

cmap :: (Dom (Ap f) a, Dom (Ap f) b) => (a -> b) -> Ap f a -> Ap f b

(<$:) :: (Dom (Ap f) a, Dom (Ap f) b) => a -> Ap f b -> Ap f a

CFunctor f => CFunctor (Alt f)

Defined in Control.Subcategory.Functor

Methods

cmap :: (Dom (Alt f) a, Dom (Alt f) b) => (a -> b) -> Alt f a -> Alt f b

(<$:) :: (Dom (Alt f) a, Dom (Alt f) b) => a -> Alt f b -> Alt f a

MonoFunctor a => CFunctor (WrapMono a :: Type -> Type)

Defined in Control.Subcategory.Functor

Methods

cmap :: (Dom (WrapMono a) a0, Dom (WrapMono a) b) => (a0 -> b) -> WrapMono a a0 -> WrapMono a b

(<$:) :: (Dom (WrapMono a) a0, Dom (WrapMono a) b) => a0 -> WrapMono a b -> WrapMono a a0

CFunctor f => CFunctor (CApp f)

Defined in Control.Subcategory.Applicative

Methods

cmap :: (Dom (CApp f) a, Dom (CApp f) b) => (a -> b) -> CApp f a -> CApp f b

(<$:) :: (Dom (CApp f) a, Dom (CApp f) b) => a -> CApp f b -> CApp f a

CFunctor f => CFunctor (CAlt f)

Defined in Control.Subcategory.Alternative

Methods

cmap :: (Dom (CAlt f) a, Dom (CAlt f) b) => (a -> b) -> CAlt f a -> CAlt f b

(<$:) :: (Dom (CAlt f) a, Dom (CAlt f) b) => a -> CAlt f b -> CAlt f a

CFunctor f => CFunctor (CZippy f)

Defined in Control.Subcategory.Zip

Methods

cmap :: (Dom (CZippy f) a, Dom (CZippy f) b) => (a -> b) -> CZippy f a -> CZippy f b

(<$:) :: (Dom (CZippy f) a, Dom (CZippy f) b) => a -> CZippy f b -> CZippy f a

CFunctor ((->) r :: Type -> Type)

Defined in Control.Subcategory.Functor

Methods

cmap :: (Dom ((->) r) a, Dom ((->) r) b) => (a -> b) -> (r -> a) -> r -> b

(<$:) :: (Dom ((->) r) a, Dom ((->) r) b) => a -> (r -> b) -> r -> a

CFunctor (K1 i c :: Type -> Type)

Defined in Control.Subcategory.Functor

Methods

cmap :: (Dom (K1 i c) a, Dom (K1 i c) b) => (a -> b) -> K1 i c a -> K1 i c b

(<$:) :: (Dom (K1 i c) a, Dom (K1 i c) b) => a -> K1 i c b -> K1 i c a

(CFunctor f, CFunctor g) => CFunctor (f :+: g)

Defined in Control.Subcategory.Functor

Methods

cmap :: (Dom (f :+: g) a, Dom (f :+: g) b) => (a -> b) -> (f :+: g) a -> (f :+: g) b

(<$:) :: (Dom (f :+: g) a, Dom (f :+: g) b) => a -> (f :+: g) b -> (f :+: g) a

(CFunctor f, CFunctor g) => CFunctor (f :*: g)

Defined in Control.Subcategory.Functor

Methods

cmap :: (Dom (f :*: g) a, Dom (f :*: g) b) => (a -> b) -> (f :*: g) a -> (f :*: g) b

(<$:) :: (Dom (f :*: g) a, Dom (f :*: g) b) => a -> (f :*: g) b -> (f :*: g) a

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

Defined in Control.Subcategory.Functor

Methods

cmap :: (Dom (Product f g) a, Dom (Product f g) b) => (a -> b) -> Product f g a -> Product f g b

(<$:) :: (Dom (Product f g) a, Dom (Product f g) b) => a -> Product f g b -> Product f g a

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

Defined in Control.Subcategory.Functor

Methods

cmap :: (Dom (Sum f g) a, Dom (Sum f g) b) => (a -> b) -> Sum f g a -> Sum f g b

(<$:) :: (Dom (Sum f g) a, Dom (Sum f g) b) => a -> Sum f g b -> Sum f g a

Functor f => CFunctor (M1 i c f)

Defined in Control.Subcategory.Functor

Methods

cmap :: (Dom (M1 i c f) a, Dom (M1 i c f) b) => (a -> b) -> M1 i c f a -> M1 i c f b

(<$:) :: (Dom (M1 i c f) a, Dom (M1 i c f) b) => a -> M1 i c f b -> M1 i c f a

(CFunctor f, CFunctor g) => CFunctor (f :.: g)

Defined in Control.Subcategory.Functor

Methods

cmap :: (Dom (f :.: g) a, Dom (f :.: g) b) => (a -> b) -> (f :.: g) a -> (f :.: g) b

(<$:) :: (Dom (f :.: g) a, Dom (f :.: g) b) => a -> (f :.: g) b -> (f :.: g) a

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

Defined in Control.Subcategory.Functor

Methods

cmap :: (Dom (Compose f g) a, Dom (Compose f g) b) => (a -> b) -> Compose f g a -> Compose f g b

(<$:) :: (Dom (Compose f g) a, Dom (Compose f g) b) => a -> Compose f g b -> Compose f g a

(<$:>) :: (CFunctor f, Dom f a, Dom f b) => (a -> b) -> f a -> f b infixl 4

defaultCmapConst :: (CFunctor f, Dom f a, Dom f b) => a -> f b -> f a

newtype WrapFunctor f (a :: Type)

Constructors

WrapFunctor

Fields

• runFunctor :: f a

Instances

Monad f => Monad (WrapFunctor f)

Defined in Control.Subcategory.Wrapper.Internal

Methods

(>>=) :: WrapFunctor f a -> (a -> WrapFunctor f b) -> WrapFunctor f b

(>>) :: WrapFunctor f a -> WrapFunctor f b -> WrapFunctor f b

return :: a -> WrapFunctor f a

fail :: String -> WrapFunctor f a

Functor f => Functor (WrapFunctor f)

Defined in Control.Subcategory.Wrapper.Internal

Methods

fmap :: (a -> b) -> WrapFunctor f a -> WrapFunctor f b

(<$) :: a -> WrapFunctor f b -> WrapFunctor f a

MonadFix f => MonadFix (WrapFunctor f)

Defined in Control.Subcategory.Wrapper.Internal

Methods

mfix :: (a -> WrapFunctor f a) -> WrapFunctor f a

MonadFail f => MonadFail (WrapFunctor f)

Defined in Control.Subcategory.Wrapper.Internal

Methods

fail :: String -> WrapFunctor f a

Applicative f => Applicative (WrapFunctor f)

Defined in Control.Subcategory.Wrapper.Internal

Methods

pure :: a -> WrapFunctor f a

(<*>) :: WrapFunctor f (a -> b) -> WrapFunctor f a -> WrapFunctor f b

liftA2 :: (a -> b -> c) -> WrapFunctor f a -> WrapFunctor f b -> WrapFunctor f c

(*>) :: WrapFunctor f a -> WrapFunctor f b -> WrapFunctor f b

(<*) :: WrapFunctor f a -> WrapFunctor f b -> WrapFunctor f a

Foldable f => Foldable (WrapFunctor f)

Defined in Control.Subcategory.Wrapper.Internal

Methods

fold :: Monoid m => WrapFunctor f m -> m

foldMap :: Monoid m => (a -> m) -> WrapFunctor f a -> m

foldr :: (a -> b -> b) -> b -> WrapFunctor f a -> b

foldr' :: (a -> b -> b) -> b -> WrapFunctor f a -> b

foldl :: (b -> a -> b) -> b -> WrapFunctor f a -> b

foldl' :: (b -> a -> b) -> b -> WrapFunctor f a -> b

foldr1 :: (a -> a -> a) -> WrapFunctor f a -> a

foldl1 :: (a -> a -> a) -> WrapFunctor f a -> a

toList :: WrapFunctor f a -> [a]

null :: WrapFunctor f a -> Bool

length :: WrapFunctor f a -> Int

elem :: Eq a => a -> WrapFunctor f a -> Bool

maximum :: Ord a => WrapFunctor f a -> a

minimum :: Ord a => WrapFunctor f a -> a

sum :: Num a => WrapFunctor f a -> a

product :: Num a => WrapFunctor f a -> a

Traversable f => Traversable (WrapFunctor f)

Defined in Control.Subcategory.Wrapper.Internal

Methods

traverse :: Applicative f0 => (a -> f0 b) -> WrapFunctor f a -> f0 (WrapFunctor f b)

sequenceA :: Applicative f0 => WrapFunctor f (f0 a) -> f0 (WrapFunctor f a)

mapM :: Monad m => (a -> m b) -> WrapFunctor f a -> m (WrapFunctor f b)

sequence :: Monad m => WrapFunctor f (m a) -> m (WrapFunctor f a)

MonadZip f => MonadZip (WrapFunctor f)

Defined in Control.Subcategory.Wrapper.Internal

Methods

mzip :: WrapFunctor f a -> WrapFunctor f b -> WrapFunctor f (a, b)

mzipWith :: (a -> b -> c) -> WrapFunctor f a -> WrapFunctor f b -> WrapFunctor f c

munzip :: WrapFunctor f (a, b) -> (WrapFunctor f a, WrapFunctor f b)

Alternative f => Alternative (WrapFunctor f)

Defined in Control.Subcategory.Wrapper.Internal

Methods

empty :: WrapFunctor f a

(<|>) :: WrapFunctor f a -> WrapFunctor f a -> WrapFunctor f a

some :: WrapFunctor f a -> WrapFunctor f [a]

many :: WrapFunctor f a -> WrapFunctor f [a]

MonadPlus f => MonadPlus (WrapFunctor f)

Defined in Control.Subcategory.Wrapper.Internal

Methods

mzero :: WrapFunctor f a

mplus :: WrapFunctor f a -> WrapFunctor f a -> WrapFunctor f a

Pointed f => Pointed (WrapFunctor f)

Defined in Control.Subcategory.Wrapper.Internal

Methods

point :: a -> WrapFunctor f a

Semialign f => Semialign (WrapFunctor f)

Defined in Control.Subcategory.Wrapper.Internal

Methods

align :: WrapFunctor f a -> WrapFunctor f b -> WrapFunctor f (These a b)

alignWith :: (These a b -> c) -> WrapFunctor f a -> WrapFunctor f b -> WrapFunctor f c

Align f => Align (WrapFunctor f)

Defined in Control.Subcategory.Wrapper.Internal

Methods

nil :: WrapFunctor f a

Unalign f => Unalign (WrapFunctor f)

Defined in Control.Subcategory.Wrapper.Internal

Methods

unalign :: WrapFunctor f (These a b) -> (WrapFunctor f a, WrapFunctor f b)

unalignWith :: (c -> These a b) -> WrapFunctor f c -> (WrapFunctor f a, WrapFunctor f b)

Zip f => Zip (WrapFunctor f)

Defined in Control.Subcategory.Wrapper.Internal

Methods

zip :: WrapFunctor f a -> WrapFunctor f b -> WrapFunctor f (a, b)

zipWith :: (a -> b -> c) -> WrapFunctor f a -> WrapFunctor f b -> WrapFunctor f c

Unzip f => Unzip (WrapFunctor f)

Defined in Control.Subcategory.Wrapper.Internal

Methods

unzipWith :: (c -> (a, b)) -> WrapFunctor f c -> (WrapFunctor f a, WrapFunctor f b)

unzip :: WrapFunctor f (a, b) -> (WrapFunctor f a, WrapFunctor f b)

Functor f => CFunctor (WrapFunctor f)

Defined in Control.Subcategory.Functor

Methods

cmap :: (Dom (WrapFunctor f) a, Dom (WrapFunctor f) b) => (a -> b) -> WrapFunctor f a -> WrapFunctor f b

(<$:) :: (Dom (WrapFunctor f) a, Dom (WrapFunctor f) b) => a -> WrapFunctor f b -> WrapFunctor f a

Constrained (WrapFunctor f)

Defined in Control.Subcategory.Functor

Associated Types

type Dom (WrapFunctor f) a :: Constraint

Align f => CAlign (WrapFunctor f)

Defined in Control.Subcategory.Semialign

Methods

cnil :: Dom (WrapFunctor f) a => WrapFunctor f a

Semialign f => CSemialign (WrapFunctor f)

Defined in Control.Subcategory.Semialign

Methods

calignWith :: (Dom (WrapFunctor f) a, Dom (WrapFunctor f) b, Dom (WrapFunctor f) c) => (These a b -> c) -> WrapFunctor f a -> WrapFunctor f b -> WrapFunctor f c

calign :: (Dom (WrapFunctor f) a, Dom (WrapFunctor f) b, Dom (WrapFunctor f) (These a b)) => WrapFunctor f a -> WrapFunctor f b -> WrapFunctor f (These a b)

(Functor f, Pointed f) => CPointed (WrapFunctor f)

Defined in Control.Subcategory.Pointed

Methods

cpure :: Dom (WrapFunctor f) a => a -> WrapFunctor f a

Monad m => CBind (WrapFunctor m)

Defined in Control.Subcategory.Bind

Methods

(>>-) :: (Dom (WrapFunctor m) a, Dom (WrapFunctor m) b) => WrapFunctor m a -> (a -> WrapFunctor m b) -> WrapFunctor m b

cjoin :: (Dom (WrapFunctor m) (WrapFunctor m a), Dom (WrapFunctor m) a) => WrapFunctor m (WrapFunctor m a) -> WrapFunctor m a

Applicative f => CApplicative (WrapFunctor f)

Defined in Control.Subcategory.Applicative

Methods

pair :: (Dom (WrapFunctor f) a, Dom (WrapFunctor f) b, Dom (WrapFunctor f) (a, b)) => WrapFunctor f a -> WrapFunctor f b -> WrapFunctor f (a, b)

(<.>) :: (Dom (WrapFunctor f) a, Dom (WrapFunctor f) b, Dom (WrapFunctor f) (a -> b)) => WrapFunctor f (a -> b) -> WrapFunctor f a -> WrapFunctor f b

(.>) :: (Dom (WrapFunctor f) a, Dom (WrapFunctor f) b) => WrapFunctor f a -> WrapFunctor f b -> WrapFunctor f b

(<.) :: (Dom (WrapFunctor f) a, Dom (WrapFunctor f) b) => WrapFunctor f a -> WrapFunctor f b -> WrapFunctor f a

Unzip f => CUnzip (WrapFunctor f)

Defined in Control.Subcategory.Zip

Methods

cunzip :: (Dom (WrapFunctor f) (a, b), Dom (WrapFunctor f) a, Dom (WrapFunctor f) b) => WrapFunctor f (a, b) -> (WrapFunctor f a, WrapFunctor f b)

cunzipWith :: (Dom (WrapFunctor f) c, Dom (WrapFunctor f) a, Dom (WrapFunctor f) b) => (c -> (a, b)) -> WrapFunctor f c -> (WrapFunctor f a, WrapFunctor f b)

Repeat f => CRepeat (WrapFunctor f)

Defined in Control.Subcategory.Zip

Methods

crepeat :: Dom (WrapFunctor f) a => a -> WrapFunctor f a

Zip f => CZip (WrapFunctor f)

Defined in Control.Subcategory.Zip

Methods

czipWith :: (Dom (WrapFunctor f) a, Dom (WrapFunctor f) b, Dom (WrapFunctor f) c) => (a -> b -> c) -> WrapFunctor f a -> WrapFunctor f b -> WrapFunctor f c

czip :: (Dom (WrapFunctor f) a, Dom (WrapFunctor f) b, Dom (WrapFunctor f) (a, b)) => WrapFunctor f a -> WrapFunctor f b -> WrapFunctor f (a, b)

Traversable f => CTraversable (WrapFunctor f)

Defined in Control.Subcategory.Foldable

Methods

ctraverse :: (Dom (WrapFunctor f) a, Dom (WrapFunctor f) b, Applicative g) => (a -> g b) -> WrapFunctor f a -> g (WrapFunctor f b)

Foldable f => CFoldable (WrapFunctor f)

Defined in Control.Subcategory.Foldable

Methods

cfoldMap :: (Dom (WrapFunctor f) a, Monoid w) => (a -> w) -> WrapFunctor f a -> w

cfoldMap' :: (Dom (WrapFunctor f) a, Monoid m) => (a -> m) -> WrapFunctor f a -> m

cfold :: (Dom (WrapFunctor f) w, Monoid w) => WrapFunctor f w -> w

cfoldr :: Dom (WrapFunctor f) a => (a -> b -> b) -> b -> WrapFunctor f a -> b

cfoldlM :: (Monad m, Dom (WrapFunctor f) b) => (a -> b -> m a) -> a -> WrapFunctor f b -> m a

cfoldlM' :: (Monad m, Dom (WrapFunctor f) b) => (a -> b -> m a) -> a -> WrapFunctor f b -> m a

cfoldrM :: (Monad m, Dom (WrapFunctor f) a) => (a -> b -> m b) -> b -> WrapFunctor f a -> m b

cfoldrM' :: (Monad m, Dom (WrapFunctor f) a) => (a -> b -> m b) -> b -> WrapFunctor f a -> m b

cfoldl :: Dom (WrapFunctor f) a => (b -> a -> b) -> b -> WrapFunctor f a -> b

cfoldr' :: Dom (WrapFunctor f) a => (a -> b -> b) -> b -> WrapFunctor f a -> b

cfoldl' :: Dom (WrapFunctor f) a => (b -> a -> b) -> b -> WrapFunctor f a -> b

cbasicToList :: Dom (WrapFunctor f) a => WrapFunctor f a -> [a]

cfoldr1 :: Dom (WrapFunctor f) a => (a -> a -> a) -> WrapFunctor f a -> a

cfoldl1 :: Dom (WrapFunctor f) a => (a -> a -> a) -> WrapFunctor f a -> a

cindex :: Dom (WrapFunctor f) a => WrapFunctor f a -> Int -> a

cnull :: Dom (WrapFunctor f) a => WrapFunctor f a -> Bool

clength :: Dom (WrapFunctor f) a => WrapFunctor f a -> Int

cany :: Dom (WrapFunctor f) a => (a -> Bool) -> WrapFunctor f a -> Bool

call :: Dom (WrapFunctor f) a => (a -> Bool) -> WrapFunctor f a -> Bool

celem :: (Eq a, Dom (WrapFunctor f) a) => a -> WrapFunctor f a -> Bool

cnotElem :: (Eq a, Dom (WrapFunctor f) a) => a -> WrapFunctor f a -> Bool

cminimum :: (Ord a, Dom (WrapFunctor f) a) => WrapFunctor f a -> a

cmaximum :: (Ord a, Dom (WrapFunctor f) a) => WrapFunctor f a -> a

csum :: (Num a, Dom (WrapFunctor f) a) => WrapFunctor f a -> a

cproduct :: (Num a, Dom (WrapFunctor f) a) => WrapFunctor f a -> a

cctraverse_ :: (CApplicative g, CPointed g, Dom g (), Dom (WrapFunctor f) a, Dom g b) => (a -> g b) -> WrapFunctor f a -> g ()

ctraverse_ :: (Applicative g, Dom (WrapFunctor f) a) => (a -> g b) -> WrapFunctor f a -> g ()

clast :: Dom (WrapFunctor f) a => WrapFunctor f a -> a

chead :: Dom (WrapFunctor f) a => WrapFunctor f a -> a

cfind :: Dom (WrapFunctor f) a => (a -> Bool) -> WrapFunctor f a -> Maybe a

cfindIndex :: Dom (WrapFunctor f) a => (a -> Bool) -> WrapFunctor f a -> Maybe Int

cfindIndices :: Dom (WrapFunctor f) a => (a -> Bool) -> WrapFunctor f a -> [Int]

celemIndex :: (Dom (WrapFunctor f) a, Eq a) => a -> WrapFunctor f a -> Maybe Int

celemIndices :: (Dom (WrapFunctor f) a, Eq a) => a -> WrapFunctor f a -> [Int]

type Dom (WrapFunctor f) a

Defined in Control.Subcategory.Functor

type Dom (WrapFunctor f) a = ()

data WrapMono mono b where

Similar to WrappedMono from mono-traversable, but uses newtype instaed of GADTs, which is efficient. To restrict the construction, we hide genuine constructor and expose the constrained pattern synonym WrapMono and specifies type roles tightly (note: the role for mono should NOT be representational honestly; indeed, WrapMono mono a could be coerced to WrapMono mono' a iff mono and mono' are representationally equivalent AND Element a ~ Element a.)

Bundled Patterns

pattern WrapMono :: b ~ Element mono => b ~ Element mono => mono -> WrapMono mono b

Instances

MonoFunctor a => CFunctor (WrapMono a :: Type -> Type)

Defined in Control.Subcategory.Functor

Methods

cmap :: (Dom (WrapMono a) a0, Dom (WrapMono a) b) => (a0 -> b) -> WrapMono a a0 -> WrapMono a b

(<$:) :: (Dom (WrapMono a) a0, Dom (WrapMono a) b) => a0 -> WrapMono a b -> WrapMono a a0

Constrained (WrapMono mono :: Type -> Type)

Defined in Control.Subcategory.Functor

Associated Types

type Dom (WrapMono mono) a :: Constraint

(IsSequence mono, MonoZip mono) => CAlign (WrapMono mono :: Type -> Type)

Defined in Control.Subcategory.Semialign

Methods

cnil :: Dom (WrapMono mono) a => WrapMono mono a

(IsSequence mono, MonoZip mono) => CSemialign (WrapMono mono :: Type -> Type)

Defined in Control.Subcategory.Semialign

Methods

calignWith :: (Dom (WrapMono mono) a, Dom (WrapMono mono) b, Dom (WrapMono mono) c) => (These a b -> c) -> WrapMono mono a -> WrapMono mono b -> WrapMono mono c

calign :: (Dom (WrapMono mono) a, Dom (WrapMono mono) b, Dom (WrapMono mono) (These a b)) => WrapMono mono a -> WrapMono mono b -> WrapMono mono (These a b)

CSemialign (WrapMono IntSet :: Type -> Type)

Defined in Control.Subcategory.Semialign

Methods

calignWith :: (Dom (WrapMono IntSet) a, Dom (WrapMono IntSet) b, Dom (WrapMono IntSet) c) => (These a b -> c) -> WrapMono IntSet a -> WrapMono IntSet b -> WrapMono IntSet c

calign :: (Dom (WrapMono IntSet) a, Dom (WrapMono IntSet) b, Dom (WrapMono IntSet) (These a b)) => WrapMono IntSet a -> WrapMono IntSet b -> WrapMono IntSet (These a b)

MonoPointed mono => CPointed (WrapMono mono :: Type -> Type)

Defined in Control.Subcategory.Pointed

Methods

cpure :: Dom (WrapMono mono) a => a -> WrapMono mono a

CPointed (WrapMono IntSet :: Type -> Type)

Defined in Control.Subcategory.Pointed

Methods

cpure :: Dom (WrapMono IntSet) a => a -> WrapMono IntSet a

CBind (WrapMono IntSet :: Type -> Type)

Defined in Control.Subcategory.Bind

Methods

(>>-) :: (Dom (WrapMono IntSet) a, Dom (WrapMono IntSet) b) => WrapMono IntSet a -> (a -> WrapMono IntSet b) -> WrapMono IntSet b

cjoin :: (Dom (WrapMono IntSet) (WrapMono IntSet a), Dom (WrapMono IntSet) a) => WrapMono IntSet (WrapMono IntSet a) -> WrapMono IntSet a

(MonoFunctor mono, Monoid mono, GrowingAppend mono) => CAlternative (WrapMono mono :: Type -> Type)

Defined in Control.Subcategory.Alternative

Methods

cempty :: Dom (WrapMono mono) a => WrapMono mono a

(MonoFunctor mono, GrowingAppend mono, Semigroup mono) => CChoice (WrapMono mono :: Type -> Type)

Defined in Control.Subcategory.Alternative

Methods

(<!>) :: Dom (WrapMono mono) a => WrapMono mono a -> WrapMono mono a -> WrapMono mono a

(IsSequence mono, MonoZip mono) => CUnzip (WrapMono mono :: Type -> Type)

Defined in Control.Subcategory.Zip

Methods

cunzip :: (Dom (WrapMono mono) (a, b), Dom (WrapMono mono) a, Dom (WrapMono mono) b) => WrapMono mono (a, b) -> (WrapMono mono a, WrapMono mono b)

cunzipWith :: (Dom (WrapMono mono) c, Dom (WrapMono mono) a, Dom (WrapMono mono) b) => (c -> (a, b)) -> WrapMono mono c -> (WrapMono mono a, WrapMono mono b)

(IsSequence mono, MonoZip mono) => CZip (WrapMono mono :: Type -> Type)

Defined in Control.Subcategory.Zip

Methods

czipWith :: (Dom (WrapMono mono) a, Dom (WrapMono mono) b, Dom (WrapMono mono) c) => (a -> b -> c) -> WrapMono mono a -> WrapMono mono b -> WrapMono mono c

czip :: (Dom (WrapMono mono) a, Dom (WrapMono mono) b, Dom (WrapMono mono) (a, b)) => WrapMono mono a -> WrapMono mono b -> WrapMono mono (a, b)

IsSequence mono => CFreeMonoid (WrapMono mono :: Type -> Type)

Defined in Control.Subcategory.Foldable

Methods

cbasicFromList :: Dom (WrapMono mono) a => [a] -> WrapMono mono a

ccons :: Dom (WrapMono mono) a => a -> WrapMono mono a -> WrapMono mono a

csnoc :: Dom (WrapMono mono) a => WrapMono mono a -> a -> WrapMono mono a

cfromListN :: Dom (WrapMono mono) a => Int -> [a] -> WrapMono mono a

ctake :: Dom (WrapMono mono) a => Int -> WrapMono mono a -> WrapMono mono a

cdrop :: Dom (WrapMono mono) a => Int -> WrapMono mono a -> WrapMono mono a

cinit :: Dom (WrapMono mono) a => WrapMono mono a -> WrapMono mono a

ctail :: Dom (WrapMono mono) a => WrapMono mono a -> WrapMono mono a

csplitAt :: Dom (WrapMono mono) a => Int -> WrapMono mono a -> (WrapMono mono a, WrapMono mono a)

creplicate :: Dom (WrapMono mono) a => Int -> a -> WrapMono mono a

cgenerate :: Dom (WrapMono mono) a => Int -> (Int -> a) -> WrapMono mono a

cgenerateM :: (Dom (WrapMono mono) a, Monad m) => Int -> (Int -> m a) -> m (WrapMono mono a)

cgenerateA :: (Dom (WrapMono mono) a, Applicative g) => Int -> (Int -> g a) -> g (WrapMono mono a)

cuncons :: Dom (WrapMono mono) a => WrapMono mono a -> Maybe (a, WrapMono mono a)

cunsnoc :: Dom (WrapMono mono) a => WrapMono mono a -> Maybe (WrapMono mono a, a)

creverse :: Dom (WrapMono mono) a => WrapMono mono a -> WrapMono mono a

cintersperse :: Dom (WrapMono mono) a => a -> WrapMono mono a -> WrapMono mono a

cnub :: (Dom (WrapMono mono) a, Eq a) => WrapMono mono a -> WrapMono mono a

cnubOrd :: (Dom (WrapMono mono) a, Ord a) => WrapMono mono a -> WrapMono mono a

csort :: (Dom (WrapMono mono) a, Ord a) => WrapMono mono a -> WrapMono mono a

csortBy :: Dom (WrapMono mono) a => (a -> a -> Ordering) -> WrapMono mono a -> WrapMono mono a

cinsert :: (Dom (WrapMono mono) a, Ord a) => a -> WrapMono mono a -> WrapMono mono a

cinsertBy :: Dom (WrapMono mono) a => (a -> a -> Ordering) -> a -> WrapMono mono a -> WrapMono mono a

ctakeWhile :: Dom (WrapMono mono) a => (a -> Bool) -> WrapMono mono a -> WrapMono mono a

cdropWhile :: Dom (WrapMono mono) a => (a -> Bool) -> WrapMono mono a -> WrapMono mono a

cspan :: Dom (WrapMono mono) a => (a -> Bool) -> WrapMono mono a -> (WrapMono mono a, WrapMono mono a)

cbreak :: Dom (WrapMono mono) a => (a -> Bool) -> WrapMono mono a -> (WrapMono mono a, WrapMono mono a)

cfilter :: Dom (WrapMono mono) a => (a -> Bool) -> WrapMono mono a -> WrapMono mono a

cpartition :: Dom (WrapMono mono) a => (a -> Bool) -> WrapMono mono a -> (WrapMono mono a, WrapMono mono a)

MonoTraversable mono => CTraversable (WrapMono mono :: Type -> Type)

Defined in Control.Subcategory.Foldable

Methods

ctraverse :: (Dom (WrapMono mono) a, Dom (WrapMono mono) b, Applicative g) => (a -> g b) -> WrapMono mono a -> g (WrapMono mono b)

MonoFoldable mono => CFoldable (WrapMono mono :: Type -> Type)

Defined in Control.Subcategory.Foldable

Methods

cfoldMap :: (Dom (WrapMono mono) a, Monoid w) => (a -> w) -> WrapMono mono a -> w

cfoldMap' :: (Dom (WrapMono mono) a, Monoid m) => (a -> m) -> WrapMono mono a -> m

cfold :: (Dom (WrapMono mono) w, Monoid w) => WrapMono mono w -> w

cfoldr :: Dom (WrapMono mono) a => (a -> b -> b) -> b -> WrapMono mono a -> b

cfoldlM :: (Monad m, Dom (WrapMono mono) b) => (a -> b -> m a) -> a -> WrapMono mono b -> m a

cfoldlM' :: (Monad m, Dom (WrapMono mono) b) => (a -> b -> m a) -> a -> WrapMono mono b -> m a

cfoldrM :: (Monad m, Dom (WrapMono mono) a) => (a -> b -> m b) -> b -> WrapMono mono a -> m b

cfoldrM' :: (Monad m, Dom (WrapMono mono) a) => (a -> b -> m b) -> b -> WrapMono mono a -> m b

cfoldl :: Dom (WrapMono mono) a => (b -> a -> b) -> b -> WrapMono mono a -> b

cfoldr' :: Dom (WrapMono mono) a => (a -> b -> b) -> b -> WrapMono mono a -> b

cfoldl' :: Dom (WrapMono mono) a => (b -> a -> b) -> b -> WrapMono mono a -> b

cbasicToList :: Dom (WrapMono mono) a => WrapMono mono a -> [a]

cfoldr1 :: Dom (WrapMono mono) a => (a -> a -> a) -> WrapMono mono a -> a

cfoldl1 :: Dom (WrapMono mono) a => (a -> a -> a) -> WrapMono mono a -> a

cindex :: Dom (WrapMono mono) a => WrapMono mono a -> Int -> a

cnull :: Dom (WrapMono mono) a => WrapMono mono a -> Bool

clength :: Dom (WrapMono mono) a => WrapMono mono a -> Int

cany :: Dom (WrapMono mono) a => (a -> Bool) -> WrapMono mono a -> Bool

call :: Dom (WrapMono mono) a => (a -> Bool) -> WrapMono mono a -> Bool

celem :: (Eq a, Dom (WrapMono mono) a) => a -> WrapMono mono a -> Bool

cnotElem :: (Eq a, Dom (WrapMono mono) a) => a -> WrapMono mono a -> Bool

cminimum :: (Ord a, Dom (WrapMono mono) a) => WrapMono mono a -> a

cmaximum :: (Ord a, Dom (WrapMono mono) a) => WrapMono mono a -> a

csum :: (Num a, Dom (WrapMono mono) a) => WrapMono mono a -> a

cproduct :: (Num a, Dom (WrapMono mono) a) => WrapMono mono a -> a

cctraverse_ :: (CApplicative g, CPointed g, Dom g (), Dom (WrapMono mono) a, Dom g b) => (a -> g b) -> WrapMono mono a -> g ()

ctraverse_ :: (Applicative g, Dom (WrapMono mono) a) => (a -> g b) -> WrapMono mono a -> g ()

clast :: Dom (WrapMono mono) a => WrapMono mono a -> a

chead :: Dom (WrapMono mono) a => WrapMono mono a -> a

cfind :: Dom (WrapMono mono) a => (a -> Bool) -> WrapMono mono a -> Maybe a

cfindIndex :: Dom (WrapMono mono) a => (a -> Bool) -> WrapMono mono a -> Maybe Int

cfindIndices :: Dom (WrapMono mono) a => (a -> Bool) -> WrapMono mono a -> [Int]

celemIndex :: (Dom (WrapMono mono) a, Eq a) => a -> WrapMono mono a -> Maybe Int

celemIndices :: (Dom (WrapMono mono) a, Eq a) => a -> WrapMono mono a -> [Int]

Semigroup mono => Semigroup (WrapMono mono b)

Defined in Control.Subcategory.Wrapper.Internal

Methods

(<>) :: WrapMono mono b -> WrapMono mono b -> WrapMono mono b

sconcat :: NonEmpty (WrapMono mono b) -> WrapMono mono b

stimes :: Integral b0 => b0 -> WrapMono mono b -> WrapMono mono b

Monoid mono => Monoid (WrapMono mono b)

Defined in Control.Subcategory.Wrapper.Internal

Methods

mempty :: WrapMono mono b

mappend :: WrapMono mono b -> WrapMono mono b -> WrapMono mono b

mconcat :: [WrapMono mono b] -> WrapMono mono b

MonoFunctor mono => MonoFunctor (WrapMono mono b)

Defined in Control.Subcategory.Wrapper.Internal

Methods

omap :: (Element (WrapMono mono b) -> Element (WrapMono mono b)) -> WrapMono mono b -> WrapMono mono b

MonoFoldable mono => MonoFoldable (WrapMono mono b)

Defined in Control.Subcategory.Wrapper.Internal

Methods

ofoldMap :: Monoid m => (Element (WrapMono mono b) -> m) -> WrapMono mono b -> m

ofoldr :: (Element (WrapMono mono b) -> b0 -> b0) -> b0 -> WrapMono mono b -> b0

ofoldl' :: (a -> Element (WrapMono mono b) -> a) -> a -> WrapMono mono b -> a

otoList :: WrapMono mono b -> [Element (WrapMono mono b)]

oall :: (Element (WrapMono mono b) -> Bool) -> WrapMono mono b -> Bool

oany :: (Element (WrapMono mono b) -> Bool) -> WrapMono mono b -> Bool

onull :: WrapMono mono b -> Bool

olength :: WrapMono mono b -> Int

olength64 :: WrapMono mono b -> Int64

ocompareLength :: Integral i => WrapMono mono b -> i -> Ordering

otraverse_ :: Applicative f => (Element (WrapMono mono b) -> f b0) -> WrapMono mono b -> f ()

ofor_ :: Applicative f => WrapMono mono b -> (Element (WrapMono mono b) -> f b0) -> f ()

omapM_ :: Applicative m => (Element (WrapMono mono b) -> m ()) -> WrapMono mono b -> m ()

oforM_ :: Applicative m => WrapMono mono b -> (Element (WrapMono mono b) -> m ()) -> m ()

ofoldlM :: Monad m => (a -> Element (WrapMono mono b) -> m a) -> a -> WrapMono mono b -> m a

ofoldMap1Ex :: Semigroup m => (Element (WrapMono mono b) -> m) -> WrapMono mono b -> m

ofoldr1Ex :: (Element (WrapMono mono b) -> Element (WrapMono mono b) -> Element (WrapMono mono b)) -> WrapMono mono b -> Element (WrapMono mono b)

ofoldl1Ex' :: (Element (WrapMono mono b) -> Element (WrapMono mono b) -> Element (WrapMono mono b)) -> WrapMono mono b -> Element (WrapMono mono b)

headEx :: WrapMono mono b -> Element (WrapMono mono b)

lastEx :: WrapMono mono b -> Element (WrapMono mono b)

unsafeHead :: WrapMono mono b -> Element (WrapMono mono b)

unsafeLast :: WrapMono mono b -> Element (WrapMono mono b)

maximumByEx :: (Element (WrapMono mono b) -> Element (WrapMono mono b) -> Ordering) -> WrapMono mono b -> Element (WrapMono mono b)

minimumByEx :: (Element (WrapMono mono b) -> Element (WrapMono mono b) -> Ordering) -> WrapMono mono b -> Element (WrapMono mono b)

oelem :: Element (WrapMono mono b) -> WrapMono mono b -> Bool

onotElem :: Element (WrapMono mono b) -> WrapMono mono b -> Bool

MonoPointed mono => MonoPointed (WrapMono mono b)

Defined in Control.Subcategory.Wrapper.Internal

Methods

opoint :: Element (WrapMono mono b) -> WrapMono mono b

MonoFoldable mono => GrowingAppend (WrapMono mono b)

Defined in Control.Subcategory.Wrapper.Internal

type Dom (WrapMono mono :: Type -> Type) b

Defined in Control.Subcategory.Functor

type Dom (WrapMono mono :: Type -> Type) b = b ~ Element mono

type Element (WrapMono mono b)

Defined in Control.Subcategory.Wrapper.Internal

type Element (WrapMono mono b) = Element mono

coerceToMono :: WrapMono mono (Element mono) -> mono

withMonoCoercible :: (Coercible (WrapMono mono (Element mono)) mono => r) -> r

Orphan instances

MonoFunctor IntSet

Methods

omap :: (Element IntSet -> Element IntSet) -> IntSet -> IntSet