Safe Haskell	None
Language	Haskell2010

Control.Subcategory.Functor

Contents

Orphan instances

Synopsis

class Constrained (f :: Type -> Type) where
- type Dom (f :: Type -> Type) a
type family Dom (f :: Type -> Type) a
class Constrained f => CFunctor (f :: Type -> Type) where
- cmap :: (Dom f a, Dom f b) => (a -> b) -> f a -> f b
- (<$:) :: (Dom f a, Dom f b) => a -> f b -> f a
(<$:>) :: (CFunctor f, Dom f a, Dom f b) => (a -> b) -> f a -> f b
defaultCmapConst :: (CFunctor f, Dom f a, Dom f b) => a -> f b -> f a
newtype WrapFunctor (f :: Type -> Type) a = WrapFunctor {
- runFunctor :: f a
}
data WrapMono mono (b :: k) where
- pattern WrapMono :: b ~ Element mono => b ~ Element mono => mono -> WrapMono mono b
coerceToMono :: WrapMono mono (Element mono) -> mono
withMonoCoercible :: (Coercible (WrapMono mono (Element mono)) mono => r) -> r

Documentation

class Constrained (f :: Type -> Type) Source #

Associated Types

type Dom (f :: Type -> Type) a Source #

type Dom (f :: Type -> Type) a = ()

Instances

Instances details

Constrained ZipList Source #

Instance details

Defined in Control.Subcategory.Functor

Associated Types

type Dom ZipList a
Instance details Defined in Control.Subcategory.Functor type Dom ZipList a = ()

Constrained Handler Source #

Instance details

Defined in Control.Subcategory.Functor

Associated Types

type Dom Handler a
Instance details Defined in Control.Subcategory.Functor type Dom Handler a = ()

Constrained Complex Source #

Instance details

Defined in Control.Subcategory.Functor

Associated Types

type Dom Complex a
Instance details Defined in Control.Subcategory.Functor type Dom Complex a = ()

Constrained Identity Source #

Instance details

Defined in Control.Subcategory.Functor

Associated Types

type Dom Identity a
Instance details Defined in Control.Subcategory.Functor type Dom Identity a = ()

Constrained First Source #

Instance details

Defined in Control.Subcategory.Functor

Associated Types

type Dom First a
Instance details Defined in Control.Subcategory.Functor type Dom First a = ()

Constrained Last Source #

Instance details

Defined in Control.Subcategory.Functor

Associated Types

type Dom Last a
Instance details Defined in Control.Subcategory.Functor type Dom Last a = ()

Constrained Down Source #

Instance details

Defined in Control.Subcategory.Functor

Associated Types

type Dom Down a
Instance details Defined in Control.Subcategory.Functor type Dom Down a = ()

Constrained First Source #

Instance details

Defined in Control.Subcategory.Functor

Associated Types

type Dom First a
Instance details Defined in Control.Subcategory.Functor type Dom First a = ()

Constrained Last Source #

Instance details

Defined in Control.Subcategory.Functor

Associated Types

type Dom Last a
Instance details Defined in Control.Subcategory.Functor type Dom Last a = ()

Constrained Max Source #

Instance details

Defined in Control.Subcategory.Functor

Associated Types

type Dom Max a
Instance details Defined in Control.Subcategory.Functor type Dom Max a = ()

Constrained Min Source #

Instance details

Defined in Control.Subcategory.Functor

Associated Types

type Dom Min a
Instance details Defined in Control.Subcategory.Functor type Dom Min a = ()

Constrained Dual Source #

Instance details

Defined in Control.Subcategory.Functor

Associated Types

type Dom Dual a
Instance details Defined in Control.Subcategory.Functor type Dom Dual a = ()

Constrained Product Source #

Instance details

Defined in Control.Subcategory.Functor

Associated Types

type Dom Product a
Instance details Defined in Control.Subcategory.Functor type Dom Product a = ()

Constrained Sum Source #

Instance details

Defined in Control.Subcategory.Functor

Associated Types

type Dom Sum a
Instance details Defined in Control.Subcategory.Functor type Dom Sum a = ()

Constrained NonEmpty Source #

Instance details

Defined in Control.Subcategory.Functor

Associated Types

type Dom NonEmpty a
Instance details Defined in Control.Subcategory.Functor type Dom NonEmpty a = ()

Constrained STM Source #

Instance details

Defined in Control.Subcategory.Functor

Associated Types

type Dom STM a
Instance details Defined in Control.Subcategory.Functor type Dom STM a = ()

Constrained Par1 Source #

Instance details

Defined in Control.Subcategory.Functor

Associated Types

type Dom Par1 a
Instance details Defined in Control.Subcategory.Functor type Dom Par1 a = ()

Constrained ArgDescr Source #

Instance details

Defined in Control.Subcategory.Functor

Associated Types

type Dom ArgDescr a
Instance details Defined in Control.Subcategory.Functor type Dom ArgDescr a = ()

Constrained ArgOrder Source #

Instance details

Defined in Control.Subcategory.Functor

Associated Types

type Dom ArgOrder a
Instance details Defined in Control.Subcategory.Functor type Dom ArgOrder a = ()

Constrained OptDescr Source #

Instance details

Defined in Control.Subcategory.Functor

Associated Types

type Dom OptDescr a
Instance details Defined in Control.Subcategory.Functor type Dom OptDescr a = ()

Constrained ReadP Source #

Instance details

Defined in Control.Subcategory.Functor

Associated Types

type Dom ReadP a
Instance details Defined in Control.Subcategory.Functor type Dom ReadP a = ()

Constrained ReadPrec Source #

Instance details

Defined in Control.Subcategory.Functor

Associated Types

type Dom ReadPrec a
Instance details Defined in Control.Subcategory.Functor type Dom ReadPrec a = ()

Constrained IntMap Source #

Instance details

Defined in Control.Subcategory.Functor

Associated Types

type Dom IntMap a
Instance details Defined in Control.Subcategory.Functor type Dom IntMap a = ()

Constrained Seq Source #

Instance details

Defined in Control.Subcategory.Functor

Associated Types

type Dom Seq a
Instance details Defined in Control.Subcategory.Functor type Dom Seq a = ()

Constrained Set Source #

Instance details

Defined in Control.Subcategory.Functor

Associated Types

type Dom Set a
Instance details Defined in Control.Subcategory.Functor type Dom Set a = Ord a

Constrained Tree Source #

Instance details

Defined in Control.Subcategory.Functor

Associated Types

type Dom Tree a
Instance details Defined in Control.Subcategory.Functor type Dom Tree a = ()

Constrained IO Source #

Instance details

Defined in Control.Subcategory.Functor

Associated Types

type Dom IO a
Instance details Defined in Control.Subcategory.Functor type Dom IO a = ()

Constrained Array Source #

Instance details

Defined in Control.Subcategory.Functor

Associated Types

type Dom Array a
Instance details Defined in Control.Subcategory.Functor type Dom Array a = Dom (WrapFunctor Array) a

Constrained PrimArray Source #

Instance details

Defined in Control.Subcategory.Functor

Associated Types

type Dom PrimArray a
Instance details Defined in Control.Subcategory.Functor type Dom PrimArray a = Prim a

Constrained SmallArray Source #

Instance details

Defined in Control.Subcategory.Functor

Associated Types

type Dom SmallArray a
Instance details Defined in Control.Subcategory.Functor type Dom SmallArray a = Dom (WrapFunctor SmallArray) a

Constrained HashSet Source #

Instance details

Defined in Control.Subcategory.Functor

Associated Types

type Dom HashSet a
Instance details Defined in Control.Subcategory.Functor type Dom HashSet a = (Hashable a, Eq a)

Constrained Vector Source #

Instance details

Defined in Control.Subcategory.Functor

Associated Types

type Dom Vector a
Instance details Defined in Control.Subcategory.Functor type Dom Vector a = ()

Constrained Vector Source #

Instance details

Defined in Control.Subcategory.Functor

Associated Types

type Dom Vector a
Instance details Defined in Control.Subcategory.Functor type Dom Vector a = Prim a

Constrained Vector Source #

Instance details

Defined in Control.Subcategory.Functor

Associated Types

type Dom Vector a
Instance details Defined in Control.Subcategory.Functor type Dom Vector a = Storable a

Constrained Vector Source #

Instance details

Defined in Control.Subcategory.Functor

Associated Types

type Dom Vector a
Instance details Defined in Control.Subcategory.Functor type Dom Vector a = Unbox a

Constrained Maybe Source #

Instance details

Defined in Control.Subcategory.Functor

Associated Types

type Dom Maybe a
Instance details Defined in Control.Subcategory.Functor type Dom Maybe a = ()

Constrained [] Source #

Instance details

Defined in Control.Subcategory.Functor

Associated Types

type Dom [] a
Instance details Defined in Control.Subcategory.Functor type Dom [] a = ()

Constrained (WrappedMonad m) Source #

Instance details

Defined in Control.Subcategory.Functor

Constrained (ArrowMonad a) Source #

Instance details

Defined in Control.Subcategory.Functor

Constrained (ST s) Source #

Instance details

Defined in Control.Subcategory.Functor

Constrained (Either a) Source #

Instance details

Defined in Control.Subcategory.Functor

Constrained (Proxy :: Type -> Type) Source #

Instance details

Defined in Control.Subcategory.Functor

Associated Types

type Dom (Proxy :: Type -> Type) a
Instance details Defined in Control.Subcategory.Functor type Dom (Proxy :: Type -> Type) a = ()

Constrained (Arg a) Source #

Instance details

Defined in Control.Subcategory.Functor

Constrained (U1 :: Type -> Type) Source #

Instance details

Defined in Control.Subcategory.Functor

Associated Types

type Dom (U1 :: Type -> Type) a
Instance details Defined in Control.Subcategory.Functor type Dom (U1 :: Type -> Type) a = ()

Constrained (V1 :: Type -> Type) Source #

Instance details

Defined in Control.Subcategory.Functor

Associated Types

type Dom (V1 :: Type -> Type) a
Instance details Defined in Control.Subcategory.Functor type Dom (V1 :: Type -> Type) a = ()

Constrained (ST s) Source #

Instance details

Defined in Control.Subcategory.Functor

Constrained (Map k) Source #

Instance details

Defined in Control.Subcategory.Functor

Constrained (WrappedMono mono) Source #

Instance details

Defined in Control.Subcategory.Functor

Constrained (WrapFunctor f) Source #

Instance details

Defined in Control.Subcategory.Functor

Constrained (HashMap k) Source #

Instance details

Defined in Control.Subcategory.Functor

Constrained ((,) a) Source #

Instance details

Defined in Control.Subcategory.Functor

Constrained (WrappedArrow a b) Source #

Instance details

Defined in Control.Subcategory.Functor

Constrained (Const m :: Type -> Type) Source #

Instance details

Defined in Control.Subcategory.Functor

Constrained f => Constrained (Ap f) Source #

Instance details

Defined in Control.Subcategory.Functor

Constrained (Alt f) Source #

Instance details

Defined in Control.Subcategory.Functor

Constrained (Rec1 f) Source #

Instance details

Defined in Control.Subcategory.Functor

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

Instance details

Defined in Control.Subcategory.Functor

Associated Types

type Dom (URec (Ptr ()) :: Type -> Type) a
Instance details Defined in Control.Subcategory.Functor type Dom (URec (Ptr ()) :: Type -> Type) a = ()

Constrained (URec Char :: Type -> Type) Source #

Instance details

Defined in Control.Subcategory.Functor

Associated Types

type Dom (URec Char :: Type -> Type) a
Instance details Defined in Control.Subcategory.Functor type Dom (URec Char :: Type -> Type) a = ()

Constrained (URec Double :: Type -> Type) Source #

Instance details

Defined in Control.Subcategory.Functor

Associated Types

type Dom (URec Double :: Type -> Type) a
Instance details Defined in Control.Subcategory.Functor type Dom (URec Double :: Type -> Type) a = ()

Constrained (URec Float :: Type -> Type) Source #

Instance details

Defined in Control.Subcategory.Functor

Associated Types

type Dom (URec Float :: Type -> Type) a
Instance details Defined in Control.Subcategory.Functor type Dom (URec Float :: Type -> Type) a = ()

Constrained (URec Int :: Type -> Type) Source #

Instance details

Defined in Control.Subcategory.Functor

Associated Types

type Dom (URec Int :: Type -> Type) a
Instance details Defined in Control.Subcategory.Functor type Dom (URec Int :: Type -> Type) a = ()

Constrained (URec Word :: Type -> Type) Source #

Instance details

Defined in Control.Subcategory.Functor

Associated Types

type Dom (URec Word :: Type -> Type) a
Instance details Defined in Control.Subcategory.Functor type Dom (URec Word :: Type -> Type) a = ()

Constrained (CAlt f) Source #

Instance details

Defined in Control.Subcategory.Alternative

Constrained f => Constrained (CApp f) Source #

Instance details

Defined in Control.Subcategory.Applicative

Constrained (WrapMono mono :: Type -> Type) Source #

Instance details

Defined in Control.Subcategory.Functor

Constrained (CZippy f) Source #

Instance details

Defined in Control.Subcategory.Zip

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

Instance details

Defined in Control.Subcategory.Functor

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

Instance details

Defined in Control.Subcategory.Functor

Constrained (f :*: g) Source #

Instance details

Defined in Control.Subcategory.Functor

Constrained (f :+: g) Source #

Instance details

Defined in Control.Subcategory.Functor

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

Instance details

Defined in Control.Subcategory.Functor

Constrained ((->) r) Source #

Instance details

Defined in Control.Subcategory.Functor

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

Instance details

Defined in Control.Subcategory.Functor

Constrained (f :.: g) Source #

Instance details

Defined in Control.Subcategory.Functor

Constrained (M1 i c f) Source #

Instance details

Defined in Control.Subcategory.Functor

type family Dom (f :: Type -> Type) a Source #

Instances

Instances details

type Dom ZipList a Source #
Instance details Defined in Control.Subcategory.Functor type Dom ZipList a = ()
type Dom Handler a Source #
Instance details Defined in Control.Subcategory.Functor type Dom Handler a = ()
type Dom Complex a Source #
Instance details Defined in Control.Subcategory.Functor type Dom Complex a = ()
type Dom Identity a Source #
Instance details Defined in Control.Subcategory.Functor type Dom Identity a = ()
type Dom First a Source #
Instance details Defined in Control.Subcategory.Functor type Dom First a = ()
type Dom Last a Source #
Instance details Defined in Control.Subcategory.Functor type Dom Last a = ()
type Dom Down a Source #
Instance details Defined in Control.Subcategory.Functor type Dom Down a = ()
type Dom First a Source #
Instance details Defined in Control.Subcategory.Functor type Dom First a = ()
type Dom Last a Source #
Instance details Defined in Control.Subcategory.Functor type Dom Last a = ()
type Dom Max a Source #
Instance details Defined in Control.Subcategory.Functor type Dom Max a = ()
type Dom Min a Source #
Instance details Defined in Control.Subcategory.Functor type Dom Min a = ()
type Dom Dual a Source #
Instance details Defined in Control.Subcategory.Functor type Dom Dual a = ()
type Dom Product a Source #
Instance details Defined in Control.Subcategory.Functor type Dom Product a = ()
type Dom Sum a Source #
Instance details Defined in Control.Subcategory.Functor type Dom Sum a = ()
type Dom NonEmpty a Source #
Instance details Defined in Control.Subcategory.Functor type Dom NonEmpty a = ()
type Dom STM a Source #
Instance details Defined in Control.Subcategory.Functor type Dom STM a = ()
type Dom Par1 a Source #
Instance details Defined in Control.Subcategory.Functor type Dom Par1 a = ()
type Dom ArgDescr a Source #
Instance details Defined in Control.Subcategory.Functor type Dom ArgDescr a = ()
type Dom ArgOrder a Source #
Instance details Defined in Control.Subcategory.Functor type Dom ArgOrder a = ()
type Dom OptDescr a Source #
Instance details Defined in Control.Subcategory.Functor type Dom OptDescr a = ()
type Dom ReadP a Source #
Instance details Defined in Control.Subcategory.Functor type Dom ReadP a = ()
type Dom ReadPrec a Source #
Instance details Defined in Control.Subcategory.Functor type Dom ReadPrec a = ()
type Dom IntMap a Source #
Instance details Defined in Control.Subcategory.Functor type Dom IntMap a = ()
type Dom Seq a Source #
Instance details Defined in Control.Subcategory.Functor type Dom Seq a = ()
type Dom Set a Source #
Instance details Defined in Control.Subcategory.Functor type Dom Set a = Ord a
type Dom Tree a Source #
Instance details Defined in Control.Subcategory.Functor type Dom Tree a = ()
type Dom IO a Source #
Instance details Defined in Control.Subcategory.Functor type Dom IO a = ()
type Dom Array a Source #
Instance details Defined in Control.Subcategory.Functor type Dom Array a = Dom (WrapFunctor Array) a
type Dom PrimArray a Source #
Instance details Defined in Control.Subcategory.Functor type Dom PrimArray a = Prim a
type Dom SmallArray a Source #
Instance details Defined in Control.Subcategory.Functor type Dom SmallArray a = Dom (WrapFunctor SmallArray) a
type Dom HashSet a Source #
Instance details Defined in Control.Subcategory.Functor type Dom HashSet a = (Hashable a, Eq a)
type Dom Vector a Source #
Instance details Defined in Control.Subcategory.Functor type Dom Vector a = ()
type Dom Vector a Source #
Instance details Defined in Control.Subcategory.Functor type Dom Vector a = Prim a
type Dom Vector a Source #
Instance details Defined in Control.Subcategory.Functor type Dom Vector a = Storable a
type Dom Vector a Source #
Instance details Defined in Control.Subcategory.Functor type Dom Vector a = Unbox a
type Dom Maybe a Source #
Instance details Defined in Control.Subcategory.Functor type Dom Maybe a = ()
type Dom [] a Source #
Instance details Defined in Control.Subcategory.Functor type Dom [] a = ()
type Dom (WrappedMonad m) a Source #
Instance details Defined in Control.Subcategory.Functor type Dom (WrappedMonad m) a = ()
type Dom (ArrowMonad a1) a2 Source #
Instance details Defined in Control.Subcategory.Functor type Dom (ArrowMonad a1) a2 = ()
type Dom (ST s) a Source #
Instance details Defined in Control.Subcategory.Functor type Dom (ST s) a = ()
type Dom (Either a1) a2 Source #
Instance details Defined in Control.Subcategory.Functor type Dom (Either a1) a2 = ()
type Dom (Proxy :: Type -> Type) a Source #
Instance details Defined in Control.Subcategory.Functor type Dom (Proxy :: Type -> Type) a = ()
type Dom (Arg a1) a2 Source #
Instance details Defined in Control.Subcategory.Functor type Dom (Arg a1) a2 = ()
type Dom (U1 :: Type -> Type) a Source #
Instance details Defined in Control.Subcategory.Functor type Dom (U1 :: Type -> Type) a = ()
type Dom (V1 :: Type -> Type) a Source #
Instance details Defined in Control.Subcategory.Functor type Dom (V1 :: Type -> Type) a = ()
type Dom (ST s) a Source #
Instance details Defined in Control.Subcategory.Functor type Dom (ST s) a = ()
type Dom (Map k) a Source #
Instance details Defined in Control.Subcategory.Functor type Dom (Map k) a = ()
type Dom (WrappedMono mono) a Source #
Instance details Defined in Control.Subcategory.Functor type Dom (WrappedMono mono) a = a ~ Element mono
type Dom (WrapFunctor f) a Source #
Instance details Defined in Control.Subcategory.Functor type Dom (WrapFunctor f) a = ()
type Dom (HashMap k) a Source #
Instance details Defined in Control.Subcategory.Functor type Dom (HashMap k) a = ()
type Dom ((,) a1) a2 Source #
Instance details Defined in Control.Subcategory.Functor type Dom ((,) a1) a2 = ()
type Dom (WrappedArrow a1 b) a2 Source #
Instance details Defined in Control.Subcategory.Functor type Dom (WrappedArrow a1 b) a2 = ()
type Dom (Const m :: Type -> Type) a Source #
Instance details Defined in Control.Subcategory.Functor type Dom (Const m :: Type -> Type) a = ()
type Dom (Ap f) a Source #
Instance details Defined in Control.Subcategory.Functor type Dom (Ap f) a = Dom f a
type Dom (Alt f) a Source #
Instance details Defined in Control.Subcategory.Functor type Dom (Alt f) a = Dom f a
type Dom (Rec1 f) a Source #
Instance details Defined in Control.Subcategory.Functor type Dom (Rec1 f) a = ()
type Dom (URec (Ptr ()) :: Type -> Type) a Source #
Instance details Defined in Control.Subcategory.Functor type Dom (URec (Ptr ()) :: Type -> Type) a = ()
type Dom (URec Char :: Type -> Type) a Source #
Instance details Defined in Control.Subcategory.Functor type Dom (URec Char :: Type -> Type) a = ()
type Dom (URec Double :: Type -> Type) a Source #
Instance details Defined in Control.Subcategory.Functor type Dom (URec Double :: Type -> Type) a = ()
type Dom (URec Float :: Type -> Type) a Source #
Instance details Defined in Control.Subcategory.Functor type Dom (URec Float :: Type -> Type) a = ()
type Dom (URec Int :: Type -> Type) a Source #
Instance details Defined in Control.Subcategory.Functor type Dom (URec Int :: Type -> Type) a = ()
type Dom (URec Word :: Type -> Type) a Source #
Instance details Defined in Control.Subcategory.Functor type Dom (URec Word :: Type -> Type) a = ()
type Dom (CAlt f) a Source #
Instance details Defined in Control.Subcategory.Alternative type Dom (CAlt f) a = Dom f a
type Dom (CApp f) a Source #
Instance details Defined in Control.Subcategory.Applicative type Dom (CApp f) a = Dom f a
type Dom (WrapMono mono :: Type -> Type) b Source #
Instance details Defined in Control.Subcategory.Functor type Dom (WrapMono mono :: Type -> Type) b = b ~ Element mono
type Dom (CZippy f) a Source #
Instance details Defined in Control.Subcategory.Zip type Dom (CZippy f) a = Dom f a
type Dom (Product f g) a Source #
Instance details Defined in Control.Subcategory.Functor type Dom (Product f g) a = (Dom f a, Dom g a)
type Dom (Sum f g) a Source #
Instance details Defined in Control.Subcategory.Functor type Dom (Sum f g) a = (Dom f a, Dom g a)
type Dom (f :*: g) a Source #
Instance details Defined in Control.Subcategory.Functor type Dom (f :*: g) a = (Dom f a, Dom g a)
type Dom (f :+: g) a Source #
Instance details Defined in Control.Subcategory.Functor type Dom (f :+: g) a = (Dom f a, Dom g a)
type Dom (K1 i c :: Type -> Type) a Source #
Instance details Defined in Control.Subcategory.Functor type Dom (K1 i c :: Type -> Type) a = ()
type Dom ((->) r) a Source #
Instance details Defined in Control.Subcategory.Functor type Dom ((->) r) a = ()
type Dom (Compose f g) a Source #
Instance details Defined in Control.Subcategory.Functor type Dom (Compose f g) a = (Dom g a, Dom f (g a))
type Dom (f :.: g) a Source #
Instance details Defined in Control.Subcategory.Functor type Dom (f :.: g) a = (Dom f (g a), Dom g a)
type Dom (M1 i c f) a Source #
Instance details Defined in Control.Subcategory.Functor type Dom (M1 i c f) a = ()

class Constrained f => CFunctor (f :: Type -> Type) where Source #

Minimal complete definition

Nothing

Methods

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

default cmap :: Functor f => (a -> b) -> f a -> f b Source #

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

Instances

Instances details

CFunctor ZipList Source #
Instance details Defined in Control.Subcategory.Functor Methods cmap :: (Dom ZipList a, Dom ZipList b) => (a -> b) -> ZipList a -> ZipList b Source # (<$:) :: (Dom ZipList a, Dom ZipList b) => a -> ZipList b -> ZipList a Source #
CFunctor Handler Source #
Instance details Defined in Control.Subcategory.Functor Methods cmap :: (Dom Handler a, Dom Handler b) => (a -> b) -> Handler a -> Handler b Source # (<$:) :: (Dom Handler a, Dom Handler b) => a -> Handler b -> Handler a Source #
CFunctor Complex Source #
Instance details Defined in Control.Subcategory.Functor Methods cmap :: (Dom Complex a, Dom Complex b) => (a -> b) -> Complex a -> Complex b Source # (<$:) :: (Dom Complex a, Dom Complex b) => a -> Complex b -> Complex a Source #
CFunctor Identity Source #
Instance details Defined in Control.Subcategory.Functor Methods cmap :: (Dom Identity a, Dom Identity b) => (a -> b) -> Identity a -> Identity b Source # (<$:) :: (Dom Identity a, Dom Identity b) => a -> Identity b -> Identity a Source #
CFunctor First Source #
Instance details Defined in Control.Subcategory.Functor Methods cmap :: (Dom First a, Dom First b) => (a -> b) -> First a -> First b Source # (<$:) :: (Dom First a, Dom First b) => a -> First b -> First a Source #
CFunctor Last Source #
Instance details Defined in Control.Subcategory.Functor Methods cmap :: (Dom Last a, Dom Last b) => (a -> b) -> Last a -> Last b Source # (<$:) :: (Dom Last a, Dom Last b) => a -> Last b -> Last a Source #
CFunctor Down Source #
Instance details Defined in Control.Subcategory.Functor Methods cmap :: (Dom Down a, Dom Down b) => (a -> b) -> Down a -> Down b Source # (<$:) :: (Dom Down a, Dom Down b) => a -> Down b -> Down a Source #
CFunctor First Source #
Instance details Defined in Control.Subcategory.Functor Methods cmap :: (Dom First a, Dom First b) => (a -> b) -> First a -> First b Source # (<$:) :: (Dom First a, Dom First b) => a -> First b -> First a Source #
CFunctor Last Source #
Instance details Defined in Control.Subcategory.Functor Methods cmap :: (Dom Last a, Dom Last b) => (a -> b) -> Last a -> Last b Source # (<$:) :: (Dom Last a, Dom Last b) => a -> Last b -> Last a Source #
CFunctor Max Source #
Instance details Defined in Control.Subcategory.Functor Methods cmap :: (Dom Max a, Dom Max b) => (a -> b) -> Max a -> Max b Source # (<$:) :: (Dom Max a, Dom Max b) => a -> Max b -> Max a Source #
CFunctor Min Source #
Instance details Defined in Control.Subcategory.Functor Methods cmap :: (Dom Min a, Dom Min b) => (a -> b) -> Min a -> Min b Source # (<$:) :: (Dom Min a, Dom Min b) => a -> Min b -> Min a Source #
CFunctor Dual Source #
Instance details Defined in Control.Subcategory.Functor Methods cmap :: (Dom Dual a, Dom Dual b) => (a -> b) -> Dual a -> Dual b Source # (<$:) :: (Dom Dual a, Dom Dual b) => a -> Dual b -> Dual a Source #
CFunctor Product Source #
Instance details Defined in Control.Subcategory.Functor Methods cmap :: (Dom Product a, Dom Product b) => (a -> b) -> Product a -> Product b Source # (<$:) :: (Dom Product a, Dom Product b) => a -> Product b -> Product a Source #
CFunctor Sum Source #
Instance details Defined in Control.Subcategory.Functor Methods cmap :: (Dom Sum a, Dom Sum b) => (a -> b) -> Sum a -> Sum b Source # (<$:) :: (Dom Sum a, Dom Sum b) => a -> Sum b -> Sum a Source #
CFunctor NonEmpty Source #
Instance details Defined in Control.Subcategory.Functor Methods cmap :: (Dom NonEmpty a, Dom NonEmpty b) => (a -> b) -> NonEmpty a -> NonEmpty b Source # (<$:) :: (Dom NonEmpty a, Dom NonEmpty b) => a -> NonEmpty b -> NonEmpty a Source #
CFunctor STM Source #
Instance details Defined in Control.Subcategory.Functor Methods cmap :: (Dom STM a, Dom STM b) => (a -> b) -> STM a -> STM b Source # (<$:) :: (Dom STM a, Dom STM b) => a -> STM b -> STM a Source #
CFunctor Par1 Source #
Instance details Defined in Control.Subcategory.Functor Methods cmap :: (Dom Par1 a, Dom Par1 b) => (a -> b) -> Par1 a -> Par1 b Source # (<$:) :: (Dom Par1 a, Dom Par1 b) => a -> Par1 b -> Par1 a Source #
CFunctor ArgDescr Source #
Instance details Defined in Control.Subcategory.Functor Methods cmap :: (Dom ArgDescr a, Dom ArgDescr b) => (a -> b) -> ArgDescr a -> ArgDescr b Source # (<$:) :: (Dom ArgDescr a, Dom ArgDescr b) => a -> ArgDescr b -> ArgDescr a Source #
CFunctor ArgOrder Source #
Instance details Defined in Control.Subcategory.Functor Methods cmap :: (Dom ArgOrder a, Dom ArgOrder b) => (a -> b) -> ArgOrder a -> ArgOrder b Source # (<$:) :: (Dom ArgOrder a, Dom ArgOrder b) => a -> ArgOrder b -> ArgOrder a Source #
CFunctor OptDescr Source #
Instance details Defined in Control.Subcategory.Functor Methods cmap :: (Dom OptDescr a, Dom OptDescr b) => (a -> b) -> OptDescr a -> OptDescr b Source # (<$:) :: (Dom OptDescr a, Dom OptDescr b) => a -> OptDescr b -> OptDescr a Source #
CFunctor ReadP Source #
Instance details Defined in Control.Subcategory.Functor Methods cmap :: (Dom ReadP a, Dom ReadP b) => (a -> b) -> ReadP a -> ReadP b Source # (<$:) :: (Dom ReadP a, Dom ReadP b) => a -> ReadP b -> ReadP a Source #
CFunctor ReadPrec Source #
Instance details Defined in Control.Subcategory.Functor Methods cmap :: (Dom ReadPrec a, Dom ReadPrec b) => (a -> b) -> ReadPrec a -> ReadPrec b Source # (<$:) :: (Dom ReadPrec a, Dom ReadPrec b) => a -> ReadPrec b -> ReadPrec a Source #
CFunctor IntMap Source #
Instance details Defined in Control.Subcategory.Functor Methods cmap :: (Dom IntMap a, Dom IntMap b) => (a -> b) -> IntMap a -> IntMap b Source # (<$:) :: (Dom IntMap a, Dom IntMap b) => a -> IntMap b -> IntMap a Source #
CFunctor Seq Source #
Instance details Defined in Control.Subcategory.Functor Methods cmap :: (Dom Seq a, Dom Seq b) => (a -> b) -> Seq a -> Seq b Source # (<$:) :: (Dom Seq a, Dom Seq b) => a -> Seq b -> Seq a Source #
CFunctor Set Source #
Instance details Defined in Control.Subcategory.Functor Methods cmap :: (Dom Set a, Dom Set b) => (a -> b) -> Set a -> Set b Source # (<$:) :: (Dom Set a, Dom Set b) => a -> Set b -> Set a Source #
CFunctor Tree Source #
Instance details Defined in Control.Subcategory.Functor Methods cmap :: (Dom Tree a, Dom Tree b) => (a -> b) -> Tree a -> Tree b Source # (<$:) :: (Dom Tree a, Dom Tree b) => a -> Tree b -> Tree a Source #
CFunctor IO Source #
Instance details Defined in Control.Subcategory.Functor Methods cmap :: (Dom IO a, Dom IO b) => (a -> b) -> IO a -> IO b Source # (<$:) :: (Dom IO a, Dom IO b) => a -> IO b -> IO a Source #
CFunctor Array Source #
Instance details Defined in Control.Subcategory.Functor Methods cmap :: (Dom Array a, Dom Array b) => (a -> b) -> Array a -> Array b Source # (<$:) :: (Dom Array a, Dom Array b) => a -> Array b -> Array a Source #
CFunctor PrimArray Source #
Instance details Defined in Control.Subcategory.Functor Methods cmap :: (Dom PrimArray a, Dom PrimArray b) => (a -> b) -> PrimArray a -> PrimArray b Source # (<$:) :: (Dom PrimArray a, Dom PrimArray b) => a -> PrimArray b -> PrimArray a Source #
CFunctor SmallArray Source #
Instance details Defined in Control.Subcategory.Functor Methods cmap :: (Dom SmallArray a, Dom SmallArray b) => (a -> b) -> SmallArray a -> SmallArray b Source # (<$:) :: (Dom SmallArray a, Dom SmallArray b) => a -> SmallArray b -> SmallArray a Source #
CFunctor HashSet Source #
Instance details Defined in Control.Subcategory.Functor Methods cmap :: (Dom HashSet a, Dom HashSet b) => (a -> b) -> HashSet a -> HashSet b Source # (<$:) :: (Dom HashSet a, Dom HashSet b) => a -> HashSet b -> HashSet a Source #
CFunctor Vector Source #
Instance details Defined in Control.Subcategory.Functor Methods cmap :: (Dom Vector a, Dom Vector b) => (a -> b) -> Vector a -> Vector b Source # (<$:) :: (Dom Vector a, Dom Vector b) => a -> Vector b -> Vector a Source #
CFunctor Vector Source #
Instance details Defined in Control.Subcategory.Functor Methods cmap :: (Dom Vector a, Dom Vector b) => (a -> b) -> Vector a -> Vector b Source # (<$:) :: (Dom Vector a, Dom Vector b) => a -> Vector b -> Vector a Source #
CFunctor Vector Source #
Instance details Defined in Control.Subcategory.Functor Methods cmap :: (Dom Vector a, Dom Vector b) => (a -> b) -> Vector a -> Vector b Source # (<$:) :: (Dom Vector a, Dom Vector b) => a -> Vector b -> Vector a Source #
CFunctor Vector Source #
Instance details Defined in Control.Subcategory.Functor Methods cmap :: (Dom Vector a, Dom Vector b) => (a -> b) -> Vector a -> Vector b Source # (<$:) :: (Dom Vector a, Dom Vector b) => a -> Vector b -> Vector a Source #
CFunctor Maybe Source #
Instance details Defined in Control.Subcategory.Functor Methods cmap :: (Dom Maybe a, Dom Maybe b) => (a -> b) -> Maybe a -> Maybe b Source # (<$:) :: (Dom Maybe a, Dom Maybe b) => a -> Maybe b -> Maybe a Source #
CFunctor [] Source #
Instance details Defined in Control.Subcategory.Functor Methods cmap :: (Dom [] a, Dom [] b) => (a -> b) -> [a] -> [b] Source # (<$:) :: (Dom [] a, Dom [] b) => a -> [b] -> [a] Source #
Monad m => CFunctor (WrappedMonad m) Source #
Instance details Defined in Control.Subcategory.Functor Methods cmap :: (Dom (WrappedMonad m) a, Dom (WrappedMonad m) b) => (a -> b) -> WrappedMonad m a -> WrappedMonad m b Source # (<$:) :: (Dom (WrappedMonad m) a, Dom (WrappedMonad m) b) => a -> WrappedMonad m b -> WrappedMonad m a Source #
Arrow a => CFunctor (ArrowMonad a) Source #
Instance details Defined in Control.Subcategory.Functor Methods cmap :: (Dom (ArrowMonad a) a0, Dom (ArrowMonad a) b) => (a0 -> b) -> ArrowMonad a a0 -> ArrowMonad a b Source # (<$:) :: (Dom (ArrowMonad a) a0, Dom (ArrowMonad a) b) => a0 -> ArrowMonad a b -> ArrowMonad a a0 Source #
CFunctor (ST s) Source #
Instance details Defined in Control.Subcategory.Functor Methods cmap :: (Dom (ST s) a, Dom (ST s) b) => (a -> b) -> ST s a -> ST s b Source # (<$:) :: (Dom (ST s) a, Dom (ST s) b) => a -> ST s b -> ST s a Source #
CFunctor (Either a) Source #
Instance details Defined in Control.Subcategory.Functor Methods cmap :: (Dom (Either a) a0, Dom (Either a) b) => (a0 -> b) -> Either a a0 -> Either a b Source # (<$:) :: (Dom (Either a) a0, Dom (Either a) b) => a0 -> Either a b -> Either a a0 Source #
CFunctor (Proxy :: Type -> Type) Source #
Instance details Defined in Control.Subcategory.Functor Methods cmap :: (Dom (Proxy :: Type -> Type) a, Dom (Proxy :: Type -> Type) b) => (a -> b) -> Proxy a -> Proxy b Source # (<$:) :: (Dom (Proxy :: Type -> Type) a, Dom (Proxy :: Type -> Type) b) => a -> Proxy b -> Proxy a Source #
CFunctor (Arg a) Source #
Instance details Defined in Control.Subcategory.Functor Methods cmap :: (Dom (Arg a) a0, Dom (Arg a) b) => (a0 -> b) -> Arg a a0 -> Arg a b Source # (<$:) :: (Dom (Arg a) a0, Dom (Arg a) b) => a0 -> Arg a b -> Arg a a0 Source #
CFunctor (U1 :: Type -> Type) Source #
Instance details Defined in Control.Subcategory.Functor Methods cmap :: (Dom (U1 :: Type -> Type) a, Dom (U1 :: Type -> Type) b) => (a -> b) -> U1 a -> U1 b Source # (<$:) :: (Dom (U1 :: Type -> Type) a, Dom (U1 :: Type -> Type) b) => a -> U1 b -> U1 a Source #
CFunctor (V1 :: Type -> Type) Source #
Instance details Defined in Control.Subcategory.Functor Methods cmap :: (Dom (V1 :: Type -> Type) a, Dom (V1 :: Type -> Type) b) => (a -> b) -> V1 a -> V1 b Source # (<$:) :: (Dom (V1 :: Type -> Type) a, Dom (V1 :: Type -> Type) b) => a -> V1 b -> V1 a Source #
CFunctor (ST s) Source #
Instance details Defined in Control.Subcategory.Functor Methods cmap :: (Dom (ST s) a, Dom (ST s) b) => (a -> b) -> ST s a -> ST s b Source # (<$:) :: (Dom (ST s) a, Dom (ST s) b) => a -> ST s b -> ST s a Source #
Ord k => CFunctor (Map k) Source #
Instance details Defined in Control.Subcategory.Functor Methods cmap :: (Dom (Map k) a, Dom (Map k) b) => (a -> b) -> Map k a -> Map k b Source # (<$:) :: (Dom (Map k) a, Dom (Map k) b) => a -> Map k b -> Map k a Source #
MonoFunctor mono => CFunctor (WrappedMono mono) Source #
Instance details Defined in Control.Subcategory.Functor Methods cmap :: (Dom (WrappedMono mono) a, Dom (WrappedMono mono) b) => (a -> b) -> WrappedMono mono a -> WrappedMono mono b Source # (<$:) :: (Dom (WrappedMono mono) a, Dom (WrappedMono mono) b) => a -> WrappedMono mono b -> WrappedMono mono a Source #
Functor f => CFunctor (WrapFunctor f) Source #
Instance details Defined in Control.Subcategory.Functor Methods cmap :: (Dom (WrapFunctor f) a, Dom (WrapFunctor f) b) => (a -> b) -> WrapFunctor f a -> WrapFunctor f b Source # (<$:) :: (Dom (WrapFunctor f) a, Dom (WrapFunctor f) b) => a -> WrapFunctor f b -> WrapFunctor f a Source #
CFunctor (HashMap k) Source #
Instance details Defined in Control.Subcategory.Functor Methods cmap :: (Dom (HashMap k) a, Dom (HashMap k) b) => (a -> b) -> HashMap k a -> HashMap k b Source # (<$:) :: (Dom (HashMap k) a, Dom (HashMap k) b) => a -> HashMap k b -> HashMap k a Source #
CFunctor ((,) a) Source #
Instance details Defined in Control.Subcategory.Functor Methods cmap :: (Dom ((,) a) a0, Dom ((,) a) b) => (a0 -> b) -> (a, a0) -> (a, b) Source # (<$:) :: (Dom ((,) a) a0, Dom ((,) a) b) => a0 -> (a, b) -> (a, a0) Source #
Arrow a => CFunctor (WrappedArrow a b) Source #
Instance details 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 Source # (<$:) :: (Dom (WrappedArrow a b) a0, Dom (WrappedArrow a b) b0) => a0 -> WrappedArrow a b b0 -> WrappedArrow a b a0 Source #
CFunctor (Const m :: Type -> Type) Source #
Instance details Defined in Control.Subcategory.Functor Methods cmap :: (Dom (Const m :: Type -> Type) a, Dom (Const m :: Type -> Type) b) => (a -> b) -> Const m a -> Const m b Source # (<$:) :: (Dom (Const m :: Type -> Type) a, Dom (Const m :: Type -> Type) b) => a -> Const m b -> Const m a Source #
CFunctor f => CFunctor (Ap f) Source #
Instance details Defined in Control.Subcategory.Functor Methods cmap :: (Dom (Ap f) a, Dom (Ap f) b) => (a -> b) -> Ap f a -> Ap f b Source # (<$:) :: (Dom (Ap f) a, Dom (Ap f) b) => a -> Ap f b -> Ap f a Source #
CFunctor f => CFunctor (Alt f) Source #
Instance details Defined in Control.Subcategory.Functor Methods cmap :: (Dom (Alt f) a, Dom (Alt f) b) => (a -> b) -> Alt f a -> Alt f b Source # (<$:) :: (Dom (Alt f) a, Dom (Alt f) b) => a -> Alt f b -> Alt f a Source #
Functor f => CFunctor (Rec1 f) Source #
Instance details Defined in Control.Subcategory.Functor Methods cmap :: (Dom (Rec1 f) a, Dom (Rec1 f) b) => (a -> b) -> Rec1 f a -> Rec1 f b Source # (<$:) :: (Dom (Rec1 f) a, Dom (Rec1 f) b) => a -> Rec1 f b -> Rec1 f a Source #
CFunctor (URec (Ptr ()) :: Type -> Type) Source #
Instance details Defined in Control.Subcategory.Functor Methods cmap :: (Dom (URec (Ptr ()) :: Type -> Type) a, Dom (URec (Ptr ()) :: Type -> Type) b) => (a -> b) -> URec (Ptr ()) a -> URec (Ptr ()) b Source # (<$:) :: (Dom (URec (Ptr ()) :: Type -> Type) a, Dom (URec (Ptr ()) :: Type -> Type) b) => a -> URec (Ptr ()) b -> URec (Ptr ()) a Source #
CFunctor (URec Char :: Type -> Type) Source #
Instance details Defined in Control.Subcategory.Functor Methods cmap :: (Dom (URec Char :: Type -> Type) a, Dom (URec Char :: Type -> Type) b) => (a -> b) -> URec Char a -> URec Char b Source # (<$:) :: (Dom (URec Char :: Type -> Type) a, Dom (URec Char :: Type -> Type) b) => a -> URec Char b -> URec Char a Source #
CFunctor (URec Double :: Type -> Type) Source #
Instance details Defined in Control.Subcategory.Functor Methods cmap :: (Dom (URec Double :: Type -> Type) a, Dom (URec Double :: Type -> Type) b) => (a -> b) -> URec Double a -> URec Double b Source # (<$:) :: (Dom (URec Double :: Type -> Type) a, Dom (URec Double :: Type -> Type) b) => a -> URec Double b -> URec Double a Source #
CFunctor (URec Float :: Type -> Type) Source #
Instance details Defined in Control.Subcategory.Functor Methods cmap :: (Dom (URec Float :: Type -> Type) a, Dom (URec Float :: Type -> Type) b) => (a -> b) -> URec Float a -> URec Float b Source # (<$:) :: (Dom (URec Float :: Type -> Type) a, Dom (URec Float :: Type -> Type) b) => a -> URec Float b -> URec Float a Source #
CFunctor (URec Int :: Type -> Type) Source #
Instance details Defined in Control.Subcategory.Functor Methods cmap :: (Dom (URec Int :: Type -> Type) a, Dom (URec Int :: Type -> Type) b) => (a -> b) -> URec Int a -> URec Int b Source # (<$:) :: (Dom (URec Int :: Type -> Type) a, Dom (URec Int :: Type -> Type) b) => a -> URec Int b -> URec Int a Source #
CFunctor (URec Word :: Type -> Type) Source #
Instance details Defined in Control.Subcategory.Functor Methods cmap :: (Dom (URec Word :: Type -> Type) a, Dom (URec Word :: Type -> Type) b) => (a -> b) -> URec Word a -> URec Word b Source # (<$:) :: (Dom (URec Word :: Type -> Type) a, Dom (URec Word :: Type -> Type) b) => a -> URec Word b -> URec Word a Source #
CFunctor f => CFunctor (CAlt f) Source #
Instance details Defined in Control.Subcategory.Alternative Methods cmap :: (Dom (CAlt f) a, Dom (CAlt f) b) => (a -> b) -> CAlt f a -> CAlt f b Source # (<$:) :: (Dom (CAlt f) a, Dom (CAlt f) b) => a -> CAlt f b -> CAlt f a Source #
CFunctor f => CFunctor (CApp f) Source #
Instance details Defined in Control.Subcategory.Applicative Methods cmap :: (Dom (CApp f) a, Dom (CApp f) b) => (a -> b) -> CApp f a -> CApp f b Source # (<$:) :: (Dom (CApp f) a, Dom (CApp f) b) => a -> CApp f b -> CApp f a Source #
MonoFunctor a => CFunctor (WrapMono a :: Type -> Type) Source #
Instance details Defined in Control.Subcategory.Functor Methods cmap :: (Dom (WrapMono a :: Type -> Type) a0, Dom (WrapMono a :: Type -> Type) b) => (a0 -> b) -> WrapMono a a0 -> WrapMono a b Source # (<$:) :: (Dom (WrapMono a :: Type -> Type) a0, Dom (WrapMono a :: Type -> Type) b) => a0 -> WrapMono a b -> WrapMono a a0 Source #
CFunctor f => CFunctor (CZippy f) Source #
Instance details Defined in Control.Subcategory.Zip Methods cmap :: (Dom (CZippy f) a, Dom (CZippy f) b) => (a -> b) -> CZippy f a -> CZippy f b Source # (<$:) :: (Dom (CZippy f) a, Dom (CZippy f) b) => a -> CZippy f b -> CZippy f a Source #
(CFunctor f, CFunctor g) => CFunctor (Product f g) Source #
Instance details 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 Source # (<$:) :: (Dom (Product f g) a, Dom (Product f g) b) => a -> Product f g b -> Product f g a Source #
(CFunctor f, CFunctor g) => CFunctor (Sum f g) Source #
Instance details 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 Source # (<$:) :: (Dom (Sum f g) a, Dom (Sum f g) b) => a -> Sum f g b -> Sum f g a Source #
(CFunctor f, CFunctor g) => CFunctor (f :*: g) Source #
Instance details Defined in Control.Subcategory.Functor Methods cmap :: (Dom (f :: g) a, Dom (f :: g) b) => (a -> b) -> (f :: g) a -> (f :: g) b Source # (<$:) :: (Dom (f :: g) a, Dom (f :: g) b) => a -> (f :: g) b -> (f :: g) a Source #
(CFunctor f, CFunctor g) => CFunctor (f :+: g) Source #
Instance details Defined in Control.Subcategory.Functor Methods cmap :: (Dom (f :+: g) a, Dom (f :+: g) b) => (a -> b) -> (f :+: g) a -> (f :+: g) b Source # (<$:) :: (Dom (f :+: g) a, Dom (f :+: g) b) => a -> (f :+: g) b -> (f :+: g) a Source #
CFunctor (K1 i c :: Type -> Type) Source #
Instance details Defined in Control.Subcategory.Functor Methods cmap :: (Dom (K1 i c :: Type -> Type) a, Dom (K1 i c :: Type -> Type) b) => (a -> b) -> K1 i c a -> K1 i c b Source # (<$:) :: (Dom (K1 i c :: Type -> Type) a, Dom (K1 i c :: Type -> Type) b) => a -> K1 i c b -> K1 i c a Source #
CFunctor ((->) r) Source #
Instance details Defined in Control.Subcategory.Functor Methods cmap :: (Dom ((->) r) a, Dom ((->) r) b) => (a -> b) -> (r -> a) -> r -> b Source # (<$:) :: (Dom ((->) r) a, Dom ((->) r) b) => a -> (r -> b) -> r -> a Source #
(CFunctor f, CFunctor g) => CFunctor (Compose f g) Source #
Instance details 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 Source # (<$:) :: (Dom (Compose f g) a, Dom (Compose f g) b) => a -> Compose f g b -> Compose f g a Source #
(CFunctor f, CFunctor g) => CFunctor (f :.: g) Source #
Instance details Defined in Control.Subcategory.Functor Methods cmap :: (Dom (f :.: g) a, Dom (f :.: g) b) => (a -> b) -> (f :.: g) a -> (f :.: g) b Source # (<$:) :: (Dom (f :.: g) a, Dom (f :.: g) b) => a -> (f :.: g) b -> (f :.: g) a Source #
Functor f => CFunctor (M1 i c f) Source #
Instance details 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 Source # (<$:) :: (Dom (M1 i c f) a, Dom (M1 i c f) b) => a -> M1 i c f b -> M1 i c f a Source #

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

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

newtype WrapFunctor (f :: Type -> Type) a Source #

Constructors

WrapFunctor
Fields runFunctor :: f a

Instances

Instances details

MonadFail f => MonadFail (WrapFunctor f) Source #
Instance details Defined in Control.Subcategory.Wrapper.Internal Methods fail :: String -> WrapFunctor f a #
MonadFix f => MonadFix (WrapFunctor f) Source #
Instance details Defined in Control.Subcategory.Wrapper.Internal Methods mfix :: (a -> WrapFunctor f a) -> WrapFunctor f a #
MonadZip f => MonadZip (WrapFunctor f) Source #
Instance details 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) #
Foldable f => Foldable (WrapFunctor f) Source #
Instance details Defined in Control.Subcategory.Wrapper.Internal Methods fold :: Monoid m => WrapFunctor f m -> m # foldMap :: Monoid m => (a -> m) -> WrapFunctor f a -> 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) Source #
Instance details 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) #
Alternative f => Alternative (WrapFunctor f) Source #
Instance details 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] #
Applicative f => Applicative (WrapFunctor f) Source #
Instance details 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 #
Functor f => Functor (WrapFunctor f) Source #
Instance details Defined in Control.Subcategory.Wrapper.Internal Methods fmap :: (a -> b) -> WrapFunctor f a -> WrapFunctor f b # (<$) :: a -> WrapFunctor f b -> WrapFunctor f a #
Monad f => Monad (WrapFunctor f) Source #
Instance details 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 #
MonadPlus f => MonadPlus (WrapFunctor f) Source #
Instance details 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) Source #
Instance details Defined in Control.Subcategory.Wrapper.Internal Methods point :: a -> WrapFunctor f a #
Align f => Align (WrapFunctor f) Source #
Instance details Defined in Control.Subcategory.Wrapper.Internal Methods nil :: WrapFunctor f a #
Semialign f => Semialign (WrapFunctor f) Source #
Instance details 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 #
Unalign f => Unalign (WrapFunctor f) Source #
Instance details 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) #
Unzip f => Unzip (WrapFunctor f) Source #
Instance details 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) #
Zip f => Zip (WrapFunctor f) Source #
Instance details 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 #
Applicative f => CApplicative (WrapFunctor f) Source #
Instance details 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) Source # (<.>) :: (Dom (WrapFunctor f) a, Dom (WrapFunctor f) b, Dom (WrapFunctor f) (a -> b)) => WrapFunctor f (a -> b) -> WrapFunctor f a -> WrapFunctor f b Source # (.>) :: (Dom (WrapFunctor f) a, Dom (WrapFunctor f) b) => WrapFunctor f a -> WrapFunctor f b -> WrapFunctor f b Source # (<.) :: (Dom (WrapFunctor f) a, Dom (WrapFunctor f) b) => WrapFunctor f a -> WrapFunctor f b -> WrapFunctor f a Source #
Monad m => CBind (WrapFunctor m) Source #
Instance details Defined in Control.Subcategory.Bind Methods (>>-) :: (Dom (WrapFunctor m) a, Dom (WrapFunctor m) b) => WrapFunctor m a -> (a -> WrapFunctor m b) -> WrapFunctor m b Source # cjoin :: (Dom (WrapFunctor m) (WrapFunctor m a), Dom (WrapFunctor m) a) => WrapFunctor m (WrapFunctor m a) -> WrapFunctor m a Source #
Foldable f => CFoldable (WrapFunctor f) Source #
Instance details Defined in Control.Subcategory.Foldable Methods cfoldMap :: (Dom (WrapFunctor f) a, Monoid w) => (a -> w) -> WrapFunctor f a -> w Source # cfoldMap' :: (Dom (WrapFunctor f) a, Monoid m) => (a -> m) -> WrapFunctor f a -> m Source # cfold :: (Dom (WrapFunctor f) w, Monoid w) => WrapFunctor f w -> w Source # cfoldr :: Dom (WrapFunctor f) a => (a -> b -> b) -> b -> WrapFunctor f a -> b Source # cfoldlM :: (Monad m, Dom (WrapFunctor f) b) => (a -> b -> m a) -> a -> WrapFunctor f b -> m a Source # cfoldlM' :: (Monad m, Dom (WrapFunctor f) b) => (a -> b -> m a) -> a -> WrapFunctor f b -> m a Source # cfoldrM :: (Monad m, Dom (WrapFunctor f) a) => (a -> b -> m b) -> b -> WrapFunctor f a -> m b Source # cfoldrM' :: (Monad m, Dom (WrapFunctor f) a) => (a -> b -> m b) -> b -> WrapFunctor f a -> m b Source # cfoldl :: Dom (WrapFunctor f) a => (b -> a -> b) -> b -> WrapFunctor f a -> b Source # cfoldr' :: Dom (WrapFunctor f) a => (a -> b -> b) -> b -> WrapFunctor f a -> b Source # cfoldl' :: Dom (WrapFunctor f) a => (b -> a -> b) -> b -> WrapFunctor f a -> b Source # cbasicToList :: Dom (WrapFunctor f) a => WrapFunctor f a -> [a] Source # cfoldr1 :: Dom (WrapFunctor f) a => (a -> a -> a) -> WrapFunctor f a -> a Source # cfoldl1 :: Dom (WrapFunctor f) a => (a -> a -> a) -> WrapFunctor f a -> a Source # cindex :: Dom (WrapFunctor f) a => WrapFunctor f a -> Int -> a Source # cnull :: Dom (WrapFunctor f) a => WrapFunctor f a -> Bool Source # clength :: Dom (WrapFunctor f) a => WrapFunctor f a -> Int Source # cany :: Dom (WrapFunctor f) a => (a -> Bool) -> WrapFunctor f a -> Bool Source # call :: Dom (WrapFunctor f) a => (a -> Bool) -> WrapFunctor f a -> Bool Source # celem :: (Eq a, Dom (WrapFunctor f) a) => a -> WrapFunctor f a -> Bool Source # cnotElem :: (Eq a, Dom (WrapFunctor f) a) => a -> WrapFunctor f a -> Bool Source # cminimum :: (Ord a, Dom (WrapFunctor f) a) => WrapFunctor f a -> a Source # cmaximum :: (Ord a, Dom (WrapFunctor f) a) => WrapFunctor f a -> a Source # csum :: (Num a, Dom (WrapFunctor f) a) => WrapFunctor f a -> a Source # cproduct :: (Num a, Dom (WrapFunctor f) a) => WrapFunctor f a -> a Source # cctraverse_ :: (CApplicative g, CPointed g, Dom g (), Dom (WrapFunctor f) a, Dom g b) => (a -> g b) -> WrapFunctor f a -> g () Source # ctraverse_ :: (Applicative g, Dom (WrapFunctor f) a) => (a -> g b) -> WrapFunctor f a -> g () Source # clast :: Dom (WrapFunctor f) a => WrapFunctor f a -> a Source # chead :: Dom (WrapFunctor f) a => WrapFunctor f a -> a Source # cfind :: Dom (WrapFunctor f) a => (a -> Bool) -> WrapFunctor f a -> Maybe a Source # cfindIndex :: Dom (WrapFunctor f) a => (a -> Bool) -> WrapFunctor f a -> Maybe Int Source # cfindIndices :: Dom (WrapFunctor f) a => (a -> Bool) -> WrapFunctor f a -> [Int] Source # celemIndex :: (Dom (WrapFunctor f) a, Eq a) => a -> WrapFunctor f a -> Maybe Int Source # celemIndices :: (Dom (WrapFunctor f) a, Eq a) => a -> WrapFunctor f a -> [Int] Source #
Traversable f => CTraversable (WrapFunctor f) Source #
Instance details 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) Source #
Functor f => CFunctor (WrapFunctor f) Source #
Instance details Defined in Control.Subcategory.Functor Methods cmap :: (Dom (WrapFunctor f) a, Dom (WrapFunctor f) b) => (a -> b) -> WrapFunctor f a -> WrapFunctor f b Source # (<$:) :: (Dom (WrapFunctor f) a, Dom (WrapFunctor f) b) => a -> WrapFunctor f b -> WrapFunctor f a Source #
Constrained (WrapFunctor f) Source #
Instance details Defined in Control.Subcategory.Functor
(Functor f, Pointed f) => CPointed (WrapFunctor f) Source #
Instance details Defined in Control.Subcategory.Pointed Methods cpure :: Dom (WrapFunctor f) a => a -> WrapFunctor f a Source #
Align f => CAlign (WrapFunctor f) Source #
Instance details Defined in Control.Subcategory.Semialign Methods cnil :: Dom (WrapFunctor f) a => WrapFunctor f a Source #
Semialign f => CSemialign (WrapFunctor f) Source #
Instance details 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 Source # 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) Source #
Repeat f => CRepeat (WrapFunctor f) Source #
Instance details Defined in Control.Subcategory.Zip Methods crepeat :: Dom (WrapFunctor f) a => a -> WrapFunctor f a Source #
Unzip f => CUnzip (WrapFunctor f) Source #
Instance details 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) Source # 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) Source #
Zip f => CZip (WrapFunctor f) Source #
Instance details 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 Source # czip :: (Dom (WrapFunctor f) a, Dom (WrapFunctor f) b, Dom (WrapFunctor f) (a, b)) => WrapFunctor f a -> WrapFunctor f b -> WrapFunctor f (a, b) Source #
type Dom (WrapFunctor f) a Source #
Instance details Defined in Control.Subcategory.Functor type Dom (WrapFunctor f) a = ()

data WrapMono mono (b :: k) where Source #

Similar to WrappedMono from mono-traversable, but usesnewtypeinstaed 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 formonoshould NOT be representational honestly; indeed,WrapMono mono acould be coerced toWrapMono 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

Instances details

(MonoFunctor mono, Monoid mono, GrowingAppend mono) => CAlternative (WrapMono mono :: Type -> Type) Source #
Instance details Defined in Control.Subcategory.Alternative Methods cempty :: Dom (WrapMono mono :: Type -> Type) a => WrapMono mono a Source #
(MonoFunctor mono, GrowingAppend mono, Semigroup mono) => CChoice (WrapMono mono :: Type -> Type) Source #
Instance details Defined in Control.Subcategory.Alternative Methods (<!>) :: Dom (WrapMono mono :: Type -> Type) a => WrapMono mono a -> WrapMono mono a -> WrapMono mono a Source #
CBind (WrapMono IntSet :: Type -> Type) Source #
Instance details Defined in Control.Subcategory.Bind Methods (>>-) :: (Dom (WrapMono IntSet :: Type -> Type) a, Dom (WrapMono IntSet :: Type -> Type) b) => WrapMono IntSet a -> (a -> WrapMono IntSet b) -> WrapMono IntSet b Source # cjoin :: (Dom (WrapMono IntSet :: Type -> Type) (WrapMono IntSet a), Dom (WrapMono IntSet :: Type -> Type) a) => WrapMono IntSet (WrapMono IntSet a) -> WrapMono IntSet a Source #
MonoFoldable mono => CFoldable (WrapMono mono :: Type -> Type) Source #
Instance details Defined in Control.Subcategory.Foldable Methods cfoldMap :: (Dom (WrapMono mono :: Type -> Type) a, Monoid w) => (a -> w) -> WrapMono mono a -> w Source # cfoldMap' :: (Dom (WrapMono mono :: Type -> Type) a, Monoid m) => (a -> m) -> WrapMono mono a -> m Source # cfold :: (Dom (WrapMono mono :: Type -> Type) w, Monoid w) => WrapMono mono w -> w Source # cfoldr :: Dom (WrapMono mono :: Type -> Type) a => (a -> b -> b) -> b -> WrapMono mono a -> b Source # cfoldlM :: (Monad m, Dom (WrapMono mono :: Type -> Type) b) => (a -> b -> m a) -> a -> WrapMono mono b -> m a Source # cfoldlM' :: (Monad m, Dom (WrapMono mono :: Type -> Type) b) => (a -> b -> m a) -> a -> WrapMono mono b -> m a Source # cfoldrM :: (Monad m, Dom (WrapMono mono :: Type -> Type) a) => (a -> b -> m b) -> b -> WrapMono mono a -> m b Source # cfoldrM' :: (Monad m, Dom (WrapMono mono :: Type -> Type) a) => (a -> b -> m b) -> b -> WrapMono mono a -> m b Source # cfoldl :: Dom (WrapMono mono :: Type -> Type) a => (b -> a -> b) -> b -> WrapMono mono a -> b Source # cfoldr' :: Dom (WrapMono mono :: Type -> Type) a => (a -> b -> b) -> b -> WrapMono mono a -> b Source # cfoldl' :: Dom (WrapMono mono :: Type -> Type) a => (b -> a -> b) -> b -> WrapMono mono a -> b Source # cbasicToList :: Dom (WrapMono mono :: Type -> Type) a => WrapMono mono a -> [a] Source # cfoldr1 :: Dom (WrapMono mono :: Type -> Type) a => (a -> a -> a) -> WrapMono mono a -> a Source # cfoldl1 :: Dom (WrapMono mono :: Type -> Type) a => (a -> a -> a) -> WrapMono mono a -> a Source # cindex :: Dom (WrapMono mono :: Type -> Type) a => WrapMono mono a -> Int -> a Source # cnull :: Dom (WrapMono mono :: Type -> Type) a => WrapMono mono a -> Bool Source # clength :: Dom (WrapMono mono :: Type -> Type) a => WrapMono mono a -> Int Source # cany :: Dom (WrapMono mono :: Type -> Type) a => (a -> Bool) -> WrapMono mono a -> Bool Source # call :: Dom (WrapMono mono :: Type -> Type) a => (a -> Bool) -> WrapMono mono a -> Bool Source # celem :: (Eq a, Dom (WrapMono mono :: Type -> Type) a) => a -> WrapMono mono a -> Bool Source # cnotElem :: (Eq a, Dom (WrapMono mono :: Type -> Type) a) => a -> WrapMono mono a -> Bool Source # cminimum :: (Ord a, Dom (WrapMono mono :: Type -> Type) a) => WrapMono mono a -> a Source # cmaximum :: (Ord a, Dom (WrapMono mono :: Type -> Type) a) => WrapMono mono a -> a Source # csum :: (Num a, Dom (WrapMono mono :: Type -> Type) a) => WrapMono mono a -> a Source # cproduct :: (Num a, Dom (WrapMono mono :: Type -> Type) a) => WrapMono mono a -> a Source # cctraverse_ :: (CApplicative g, CPointed g, Dom g (), Dom (WrapMono mono :: Type -> Type) a, Dom g b) => (a -> g b) -> WrapMono mono a -> g () Source # ctraverse_ :: (Applicative g, Dom (WrapMono mono :: Type -> Type) a) => (a -> g b) -> WrapMono mono a -> g () Source # clast :: Dom (WrapMono mono :: Type -> Type) a => WrapMono mono a -> a Source # chead :: Dom (WrapMono mono :: Type -> Type) a => WrapMono mono a -> a Source # cfind :: Dom (WrapMono mono :: Type -> Type) a => (a -> Bool) -> WrapMono mono a -> Maybe a Source # cfindIndex :: Dom (WrapMono mono :: Type -> Type) a => (a -> Bool) -> WrapMono mono a -> Maybe Int Source # cfindIndices :: Dom (WrapMono mono :: Type -> Type) a => (a -> Bool) -> WrapMono mono a -> [Int] Source # celemIndex :: (Dom (WrapMono mono :: Type -> Type) a, Eq a) => a -> WrapMono mono a -> Maybe Int Source # celemIndices :: (Dom (WrapMono mono :: Type -> Type) a, Eq a) => a -> WrapMono mono a -> [Int] Source #
IsSequence mono => CFreeMonoid (WrapMono mono :: Type -> Type) Source #
Instance details Defined in Control.Subcategory.Foldable Methods cbasicFromList :: Dom (WrapMono mono :: Type -> Type) a => [a] -> WrapMono mono a Source # ccons :: Dom (WrapMono mono :: Type -> Type) a => a -> WrapMono mono a -> WrapMono mono a Source # csnoc :: Dom (WrapMono mono :: Type -> Type) a => WrapMono mono a -> a -> WrapMono mono a Source # cfromListN :: Dom (WrapMono mono :: Type -> Type) a => Int -> [a] -> WrapMono mono a Source # ctake :: Dom (WrapMono mono :: Type -> Type) a => Int -> WrapMono mono a -> WrapMono mono a Source # cdrop :: Dom (WrapMono mono :: Type -> Type) a => Int -> WrapMono mono a -> WrapMono mono a Source # cinit :: Dom (WrapMono mono :: Type -> Type) a => WrapMono mono a -> WrapMono mono a Source # ctail :: Dom (WrapMono mono :: Type -> Type) a => WrapMono mono a -> WrapMono mono a Source # csplitAt :: Dom (WrapMono mono :: Type -> Type) a => Int -> WrapMono mono a -> (WrapMono mono a, WrapMono mono a) Source # creplicate :: Dom (WrapMono mono :: Type -> Type) a => Int -> a -> WrapMono mono a Source # cgenerate :: Dom (WrapMono mono :: Type -> Type) a => Int -> (Int -> a) -> WrapMono mono a Source # cgenerateM :: (Dom (WrapMono mono :: Type -> Type) a, Monad m) => Int -> (Int -> m a) -> m (WrapMono mono a) Source # cgenerateA :: (Dom (WrapMono mono :: Type -> Type) a, Applicative g) => Int -> (Int -> g a) -> g (WrapMono mono a) Source # cuncons :: Dom (WrapMono mono :: Type -> Type) a => WrapMono mono a -> Maybe (a, WrapMono mono a) Source # cunsnoc :: Dom (WrapMono mono :: Type -> Type) a => WrapMono mono a -> Maybe (WrapMono mono a, a) Source # creverse :: Dom (WrapMono mono :: Type -> Type) a => WrapMono mono a -> WrapMono mono a Source # cintersperse :: Dom (WrapMono mono :: Type -> Type) a => a -> WrapMono mono a -> WrapMono mono a Source # cnub :: (Dom (WrapMono mono :: Type -> Type) a, Eq a) => WrapMono mono a -> WrapMono mono a Source # cnubOrd :: (Dom (WrapMono mono :: Type -> Type) a, Ord a) => WrapMono mono a -> WrapMono mono a Source # csort :: (Dom (WrapMono mono :: Type -> Type) a, Ord a) => WrapMono mono a -> WrapMono mono a Source # csortBy :: Dom (WrapMono mono :: Type -> Type) a => (a -> a -> Ordering) -> WrapMono mono a -> WrapMono mono a Source # cinsert :: (Dom (WrapMono mono :: Type -> Type) a, Ord a) => a -> WrapMono mono a -> WrapMono mono a Source # cinsertBy :: Dom (WrapMono mono :: Type -> Type) a => (a -> a -> Ordering) -> a -> WrapMono mono a -> WrapMono mono a Source # ctakeWhile :: Dom (WrapMono mono :: Type -> Type) a => (a -> Bool) -> WrapMono mono a -> WrapMono mono a Source # cdropWhile :: Dom (WrapMono mono :: Type -> Type) a => (a -> Bool) -> WrapMono mono a -> WrapMono mono a Source # cspan :: Dom (WrapMono mono :: Type -> Type) a => (a -> Bool) -> WrapMono mono a -> (WrapMono mono a, WrapMono mono a) Source # cbreak :: Dom (WrapMono mono :: Type -> Type) a => (a -> Bool) -> WrapMono mono a -> (WrapMono mono a, WrapMono mono a) Source # cfilter :: Dom (WrapMono mono :: Type -> Type) a => (a -> Bool) -> WrapMono mono a -> WrapMono mono a Source # cpartition :: Dom (WrapMono mono :: Type -> Type) a => (a -> Bool) -> WrapMono mono a -> (WrapMono mono a, WrapMono mono a) Source #
MonoTraversable mono => CTraversable (WrapMono mono :: Type -> Type) Source #
Instance details Defined in Control.Subcategory.Foldable Methods ctraverse :: (Dom (WrapMono mono :: Type -> Type) a, Dom (WrapMono mono :: Type -> Type) b, Applicative g) => (a -> g b) -> WrapMono mono a -> g (WrapMono mono b) Source #
MonoFunctor a => CFunctor (WrapMono a :: Type -> Type) Source #
Instance details Defined in Control.Subcategory.Functor Methods cmap :: (Dom (WrapMono a :: Type -> Type) a0, Dom (WrapMono a :: Type -> Type) b) => (a0 -> b) -> WrapMono a a0 -> WrapMono a b Source # (<$:) :: (Dom (WrapMono a :: Type -> Type) a0, Dom (WrapMono a :: Type -> Type) b) => a0 -> WrapMono a b -> WrapMono a a0 Source #
Constrained (WrapMono mono :: Type -> Type) Source #
Instance details Defined in Control.Subcategory.Functor
CPointed (WrapMono IntSet :: Type -> Type) Source #
Instance details Defined in Control.Subcategory.Pointed Methods cpure :: Dom (WrapMono IntSet :: Type -> Type) a => a -> WrapMono IntSet a Source #
MonoPointed mono => CPointed (WrapMono mono :: Type -> Type) Source #
Instance details Defined in Control.Subcategory.Pointed Methods cpure :: Dom (WrapMono mono :: Type -> Type) a => a -> WrapMono mono a Source #
(IsSequence mono, MonoZip mono) => CAlign (WrapMono mono :: Type -> Type) Source #
Instance details Defined in Control.Subcategory.Semialign Methods cnil :: Dom (WrapMono mono :: Type -> Type) a => WrapMono mono a Source #
CSemialign (WrapMono IntSet :: Type -> Type) Source #
Instance details Defined in Control.Subcategory.Semialign Methods calignWith :: (Dom (WrapMono IntSet :: Type -> Type) a, Dom (WrapMono IntSet :: Type -> Type) b, Dom (WrapMono IntSet :: Type -> Type) c) => (These a b -> c) -> WrapMono IntSet a -> WrapMono IntSet b -> WrapMono IntSet c Source # calign :: (Dom (WrapMono IntSet :: Type -> Type) a, Dom (WrapMono IntSet :: Type -> Type) b, Dom (WrapMono IntSet :: Type -> Type) (These a b)) => WrapMono IntSet a -> WrapMono IntSet b -> WrapMono IntSet (These a b) Source #
(IsSequence mono, MonoZip mono) => CSemialign (WrapMono mono :: Type -> Type) Source #
Instance details Defined in Control.Subcategory.Semialign Methods calignWith :: (Dom (WrapMono mono :: Type -> Type) a, Dom (WrapMono mono :: Type -> Type) b, Dom (WrapMono mono :: Type -> Type) c) => (These a b -> c) -> WrapMono mono a -> WrapMono mono b -> WrapMono mono c Source # calign :: (Dom (WrapMono mono :: Type -> Type) a, Dom (WrapMono mono :: Type -> Type) b, Dom (WrapMono mono :: Type -> Type) (These a b)) => WrapMono mono a -> WrapMono mono b -> WrapMono mono (These a b) Source #
(IsSequence mono, MonoZip mono) => CUnzip (WrapMono mono :: Type -> Type) Source #
Instance details Defined in Control.Subcategory.Zip Methods cunzip :: (Dom (WrapMono mono :: Type -> Type) (a, b), Dom (WrapMono mono :: Type -> Type) a, Dom (WrapMono mono :: Type -> Type) b) => WrapMono mono (a, b) -> (WrapMono mono a, WrapMono mono b) Source # cunzipWith :: (Dom (WrapMono mono :: Type -> Type) c, Dom (WrapMono mono :: Type -> Type) a, Dom (WrapMono mono :: Type -> Type) b) => (c -> (a, b)) -> WrapMono mono c -> (WrapMono mono a, WrapMono mono b) Source #
(IsSequence mono, MonoZip mono) => CZip (WrapMono mono :: Type -> Type) Source #
Instance details Defined in Control.Subcategory.Zip Methods czipWith :: (Dom (WrapMono mono :: Type -> Type) a, Dom (WrapMono mono :: Type -> Type) b, Dom (WrapMono mono :: Type -> Type) c) => (a -> b -> c) -> WrapMono mono a -> WrapMono mono b -> WrapMono mono c Source # czip :: (Dom (WrapMono mono :: Type -> Type) a, Dom (WrapMono mono :: Type -> Type) b, Dom (WrapMono mono :: Type -> Type) (a, b)) => WrapMono mono a -> WrapMono mono b -> WrapMono mono (a, b) Source #
Monoid mono => Monoid (WrapMono mono b) Source #
Instance details 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 #
Semigroup mono => Semigroup (WrapMono mono b) Source #
Instance details 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 #
MonoFoldable mono => GrowingAppend (WrapMono mono b) Source #
Instance details Defined in Control.Subcategory.Wrapper.Internal
MonoFoldable mono => MonoFoldable (WrapMono mono b) Source #
Instance details 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 #
MonoFunctor mono => MonoFunctor (WrapMono mono b) Source #
Instance details Defined in Control.Subcategory.Wrapper.Internal Methods omap :: (Element (WrapMono mono b) -> Element (WrapMono mono b)) -> WrapMono mono b -> WrapMono mono b #
MonoPointed mono => MonoPointed (WrapMono mono b) Source #
Instance details Defined in Control.Subcategory.Wrapper.Internal Methods opoint :: Element (WrapMono mono b) -> WrapMono mono b #
type Dom (WrapMono mono :: Type -> Type) b Source #
Instance details Defined in Control.Subcategory.Functor type Dom (WrapMono mono :: Type -> Type) b = b ~ Element mono
type Element (WrapMono mono b) Source #
Instance details Defined in Control.Subcategory.Wrapper.Internal type Element (WrapMono mono b) = Element mono

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

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

Orphan instances

MonoFunctor IntSet Source #
Instance details Methods omap :: (Element IntSet -> Element IntSet) -> IntSet -> IntSet #