Data.HBifunctor

This module provides an abstraction for "two-argument functor combinators", HBifunctor, as well as some useful combinators.

Documentation

class HBifunctor (t :: (k -> Type) -> (k -> Type) -> k -> Type) where

A HBifunctor is like an HFunctor, but it enhances two different functors instead of just one.

Usually, it enhaces them "together" in some sort of combining way.

This typeclass provides a uniform instance for "swapping out" or "hoisting" the enhanced functors. We can hoist the first one with hleft, the second one with hright, or both at the same time with hbimap.

For example, the f :*: g type gives us "both f and g":

data (f :*: g) a = f a :*: g a

It combines both f and g into a unified structure --- here, it does it by providing both f and g.

The single law is:

hbimap id id == id

This ensures that hleft, hright, and hbimap do not affect the structure that t adds on top of the underlying functors.

Minimal complete definition

hleft, hright | hbimap

Methods

hleft :: (f ~> j) -> t f g ~> t j g

Swap out the first transformed functor.

hright :: (g ~> l) -> t f g ~> t f l

Swap out the second transformed functor.

hbimap :: (f ~> j) -> (g ~> l) -> t f g ~> t j l

Swap out both transformed functors at the same time.

Instances

HBifunctor Night

Since: 0.3.0.0

Defined in Data.HFunctor.Internal

Methods

hleft :: forall (f :: k -> Type) (j :: k -> Type) (g :: k -> Type). (f ~> j) -> Night f g ~> Night j g

hright :: forall (g :: k -> Type) (l :: k -> Type) (f :: k -> Type). (g ~> l) -> Night f g ~> Night f l

hbimap :: forall (f :: k -> Type) (j :: k -> Type) (g :: k -> Type) (l :: k -> Type). (f ~> j) -> (g ~> l) -> Night f g ~> Night j l

HBifunctor Night

Defined in Data.HFunctor.Internal

Methods

hleft :: forall (f :: k -> Type) (j :: k -> Type) (g :: k -> Type). (f ~> j) -> Night f g ~> Night j g

hright :: forall (g :: k -> Type) (l :: k -> Type) (f :: k -> Type). (g ~> l) -> Night f g ~> Night f l

hbimap :: forall (f :: k -> Type) (j :: k -> Type) (g :: k -> Type) (l :: k -> Type). (f ~> j) -> (g ~> l) -> Night f g ~> Night j l

HBifunctor Day

Since: 0.3.0.0

Defined in Data.HFunctor.Internal

Methods

hleft :: forall (f :: k -> Type) (j :: k -> Type) (g :: k -> Type). (f ~> j) -> Day f g ~> Day j g

hright :: forall (g :: k -> Type) (l :: k -> Type) (f :: k -> Type). (g ~> l) -> Day f g ~> Day f l

hbimap :: forall (f :: k -> Type) (j :: k -> Type) (g :: k -> Type) (l :: k -> Type). (f ~> j) -> (g ~> l) -> Day f g ~> Day j l

HBifunctor Day

Defined in Data.HFunctor.Internal

Methods

hleft :: forall (f :: k -> Type) (j :: k -> Type) (g :: k -> Type). (f ~> j) -> Day f g ~> Day j g

hright :: forall (g :: k -> Type) (l :: k -> Type) (f :: k -> Type). (g ~> l) -> Day f g ~> Day f l

hbimap :: forall (f :: k -> Type) (j :: k -> Type) (g :: k -> Type) (l :: k -> Type). (f ~> j) -> (g ~> l) -> Day f g ~> Day j l

HBifunctor Day

Since: 0.3.4.0

Defined in Data.HFunctor.Internal

Methods

hleft :: forall (f :: k -> Type) (j :: k -> Type) (g :: k -> Type). (f ~> j) -> Day f g ~> Day j g

hright :: forall (g :: k -> Type) (l :: k -> Type) (f :: k -> Type). (g ~> l) -> Day f g ~> Day f l

hbimap :: forall (f :: k -> Type) (j :: k -> Type) (g :: k -> Type) (l :: k -> Type). (f ~> j) -> (g ~> l) -> Day f g ~> Day j l

HBifunctor These1

Defined in Data.HFunctor.Internal

Methods

hleft :: forall (f :: k -> Type) (j :: k -> Type) (g :: k -> Type). (f ~> j) -> These1 f g ~> These1 j g

hright :: forall (g :: k -> Type) (l :: k -> Type) (f :: k -> Type). (g ~> l) -> These1 f g ~> These1 f l

hbimap :: forall (f :: k -> Type) (j :: k -> Type) (g :: k -> Type) (l :: k -> Type). (f ~> j) -> (g ~> l) -> These1 f g ~> These1 j l

HBifunctor (Comp :: (Type -> Type) -> (Type -> Type) -> Type -> Type)

Defined in Data.HFunctor.Internal

Methods

hleft :: forall (f :: k -> Type) (j :: k -> Type) (g :: k -> Type). (f ~> j) -> Comp f g ~> Comp j g

hright :: forall (g :: k -> Type) (l :: k -> Type) (f :: k -> Type). (g ~> l) -> Comp f g ~> Comp f l

hbimap :: forall (f :: k -> Type) (j :: k -> Type) (g :: k -> Type) (l :: k -> Type). (f ~> j) -> (g ~> l) -> Comp f g ~> Comp j l

HBifunctor (Product :: (k -> Type) -> (k -> Type) -> k -> Type)

Defined in Data.HFunctor.Internal

Methods

hleft :: forall (f :: k0 -> Type) (j :: k0 -> Type) (g :: k0 -> Type). (f ~> j) -> Product f g ~> Product j g

hright :: forall (g :: k0 -> Type) (l :: k0 -> Type) (f :: k0 -> Type). (g ~> l) -> Product f g ~> Product f l

hbimap :: forall (f :: k0 -> Type) (j :: k0 -> Type) (g :: k0 -> Type) (l :: k0 -> Type). (f ~> j) -> (g ~> l) -> Product f g ~> Product j l

HBifunctor (Sum :: (k -> Type) -> (k -> Type) -> k -> Type)

Defined in Data.HFunctor.Internal

Methods

hleft :: forall (f :: k0 -> Type) (j :: k0 -> Type) (g :: k0 -> Type). (f ~> j) -> Sum f g ~> Sum j g

hright :: forall (g :: k0 -> Type) (l :: k0 -> Type) (f :: k0 -> Type). (g ~> l) -> Sum f g ~> Sum f l

hbimap :: forall (f :: k0 -> Type) (j :: k0 -> Type) (g :: k0 -> Type) (l :: k0 -> Type). (f ~> j) -> (g ~> l) -> Sum f g ~> Sum j l

HBifunctor ((:*:) :: (k -> Type) -> (k -> Type) -> k -> Type)

Defined in Data.HFunctor.Internal

Methods

hleft :: forall (f :: k0 -> Type) (j :: k0 -> Type) (g :: k0 -> Type). (f ~> j) -> (f :*: g) ~> (j :*: g)

hright :: forall (g :: k0 -> Type) (l :: k0 -> Type) (f :: k0 -> Type). (g ~> l) -> (f :*: g) ~> (f :*: l)

hbimap :: forall (f :: k0 -> Type) (j :: k0 -> Type) (g :: k0 -> Type) (l :: k0 -> Type). (f ~> j) -> (g ~> l) -> (f :*: g) ~> (j :*: l)

HBifunctor ((:+:) :: (k -> Type) -> (k -> Type) -> k -> Type)

Defined in Data.HFunctor.Internal

Methods

hleft :: forall (f :: k0 -> Type) (j :: k0 -> Type) (g :: k0 -> Type). (f ~> j) -> (f :+: g) ~> (j :+: g)

hright :: forall (g :: k0 -> Type) (l :: k0 -> Type) (f :: k0 -> Type). (g ~> l) -> (f :+: g) ~> (f :+: l)

hbimap :: forall (f :: k0 -> Type) (j :: k0 -> Type) (g :: k0 -> Type) (l :: k0 -> Type). (f ~> j) -> (g ~> l) -> (f :+: g) ~> (j :+: l)

HBifunctor (Joker :: (k -> Type) -> (k -> Type) -> k -> Type)

Defined in Data.HFunctor.Internal

Methods

hleft :: forall (f :: k0 -> Type) (j :: k0 -> Type) (g :: k0 -> Type). (f ~> j) -> Joker f g ~> Joker j g

hright :: forall (g :: k0 -> Type) (l :: k0 -> Type) (f :: k0 -> Type). (g ~> l) -> Joker f g ~> Joker f l

hbimap :: forall (f :: k0 -> Type) (j :: k0 -> Type) (g :: k0 -> Type) (l :: k0 -> Type). (f ~> j) -> (g ~> l) -> Joker f g ~> Joker j l

HBifunctor (LeftF :: (k -> Type) -> (k -> Type) -> k -> Type)

Defined in Data.HBifunctor

Methods

hleft :: forall (f :: k0 -> Type) (j :: k0 -> Type) (g :: k0 -> Type). (f ~> j) -> LeftF f g ~> LeftF j g

hright :: forall (g :: k0 -> Type) (l :: k0 -> Type) (f :: k0 -> Type). (g ~> l) -> LeftF f g ~> LeftF f l

hbimap :: forall (f :: k0 -> Type) (j :: k0 -> Type) (g :: k0 -> Type) (l :: k0 -> Type). (f ~> j) -> (g ~> l) -> LeftF f g ~> LeftF j l

HBifunctor (RightF :: (k -> Type) -> (k -> Type) -> k -> Type)

Defined in Data.HBifunctor

Methods

hleft :: forall (f :: k0 -> Type) (j :: k0 -> Type) (g :: k0 -> Type). (f ~> j) -> RightF f g ~> RightF j g

hright :: forall (g :: k0 -> Type) (l :: k0 -> Type) (f :: k0 -> Type). (g ~> l) -> RightF f g ~> RightF f l

hbimap :: forall (f :: k0 -> Type) (j :: k0 -> Type) (g :: k0 -> Type) (l :: k0 -> Type). (f ~> j) -> (g ~> l) -> RightF f g ~> RightF j l

HBifunctor (Void3 :: (k -> Type) -> (k -> Type) -> k -> Type)

Defined in Data.HFunctor.Internal

Methods

hleft :: forall (f :: k0 -> Type) (j :: k0 -> Type) (g :: k0 -> Type). (f ~> j) -> Void3 f g ~> Void3 j g

hright :: forall (g :: k0 -> Type) (l :: k0 -> Type) (f :: k0 -> Type). (g ~> l) -> Void3 f g ~> Void3 f l

hbimap :: forall (f :: k0 -> Type) (j :: k0 -> Type) (g :: k0 -> Type) (l :: k0 -> Type). (f ~> j) -> (g ~> l) -> Void3 f g ~> Void3 j l

HBifunctor t => HBifunctor (WrapHBF t :: (k -> Type) -> (k -> Type) -> k -> Type)

Defined in Data.HBifunctor.Associative

Methods

hleft :: forall (f :: k0 -> Type) (j :: k0 -> Type) (g :: k0 -> Type). (f ~> j) -> WrapHBF t f g ~> WrapHBF t j g

hright :: forall (g :: k0 -> Type) (l :: k0 -> Type) (f :: k0 -> Type). (g ~> l) -> WrapHBF t f g ~> WrapHBF t f l

hbimap :: forall (f :: k0 -> Type) (j :: k0 -> Type) (g :: k0 -> Type) (l :: k0 -> Type). (f ~> j) -> (g ~> l) -> WrapHBF t f g ~> WrapHBF t j l

newtype WrappedHBifunctor t (f :: k -> Type) (g :: k -> Type) (a :: k)

Useful newtype to allow us to derive an HFunctor instance from any instance of HBifunctor, using -XDerivingVia.

For example, because we have instance HBifunctor Day, we can write:

deriving via (WrappedHBifunctor Day f) instance HFunctor (Day f)

to give us an automatic HFunctor instance and save us some work.

Constructors

WrapHBifunctor

Fields

• unwrapHBifunctor :: t f g a

Instances

HBifunctor t => HFunctor (WrappedHBifunctor t f :: (k -> Type) -> k -> Type)

Defined in Data.HFunctor.Internal

Methods

hmap :: forall (f0 :: k0 -> Type) (g :: k0 -> Type). (f0 ~> g) -> WrappedHBifunctor t f f0 ~> WrappedHBifunctor t f g

Functor (t f g) => Functor (WrappedHBifunctor t f g)

Defined in Data.HFunctor.Internal

Methods

fmap :: (a -> b) -> WrappedHBifunctor t f g a -> WrappedHBifunctor t f g b

(<$) :: a -> WrappedHBifunctor t f g b -> WrappedHBifunctor t f g a

overHBifunctor :: HBifunctor t => (f <~> f') -> (g <~> g') -> t f g <~> t f' g'

Lift two isomorphisms on each side of a bifunctor to become an isomorphism between the two bifunctor applications.

Basically, if f and f' are isomorphic, and g and g' are isomorphic, then t f g is isomorphic to t f' g'.

Simple Instances

newtype LeftF f g a

An HBifunctor that ignores its second input. Like a :+: with no R1/right branch.

This is Joker from Data.Bifunctors.Joker, but given a more sensible name for its purpose.

Constructors

LeftF

Fields

• runLeftF :: f a

Instances

HTraversable (LeftF f :: (k -> Type) -> k1 -> Type)

Defined in Data.HBifunctor

Methods

htraverse :: forall h f0 g (a :: k10). Applicative h => (forall (x :: k0). f0 x -> h (g x)) -> LeftF f f0 a -> h (LeftF f g a)

HFunctor (LeftF f :: (k -> Type) -> k1 -> Type)

Defined in Data.HBifunctor

Methods

hmap :: forall (f0 :: k0 -> Type) (g :: k0 -> Type). (f0 ~> g) -> LeftF f f0 ~> LeftF f g

HBifunctor (LeftF :: (k -> Type) -> (k -> Type) -> k -> Type)

Defined in Data.HBifunctor

Methods

hleft :: forall (f :: k0 -> Type) (j :: k0 -> Type) (g :: k0 -> Type). (f ~> j) -> LeftF f g ~> LeftF j g

hright :: forall (g :: k0 -> Type) (l :: k0 -> Type) (f :: k0 -> Type). (g ~> l) -> LeftF f g ~> LeftF f l

hbimap :: forall (f :: k0 -> Type) (j :: k0 -> Type) (g :: k0 -> Type) (l :: k0 -> Type). (f ~> j) -> (g ~> l) -> LeftF f g ~> LeftF j l

Associative (LeftF :: (Type -> Type) -> (Type -> Type) -> Type -> Type)

Defined in Data.HBifunctor.Associative

Associated Types

type NonEmptyBy LeftF :: (Type -> Type) -> Type -> Type

type FunctorBy LeftF :: (Type -> Type) -> Constraint

Methods

associating :: forall (f :: Type -> Type) (g :: Type -> Type) (h :: Type -> Type). (FunctorBy LeftF f, FunctorBy LeftF g, FunctorBy LeftF h) => LeftF f (LeftF g h) <~> LeftF (LeftF f g) h

appendNE :: forall (f :: Type -> Type). LeftF (NonEmptyBy LeftF f) (NonEmptyBy LeftF f) ~> NonEmptyBy LeftF f

matchNE :: forall (f :: Type -> Type). FunctorBy LeftF f => NonEmptyBy LeftF f ~> (f :+: LeftF f (NonEmptyBy LeftF f))

consNE :: forall (f :: Type -> Type). LeftF f (NonEmptyBy LeftF f) ~> NonEmptyBy LeftF f

toNonEmptyBy :: forall (f :: Type -> Type). LeftF f f ~> NonEmptyBy LeftF f

SemigroupIn (LeftF :: (Type -> Type) -> (Type -> Type) -> Type -> Type) f

Defined in Data.HBifunctor.Associative

Methods

biretract :: LeftF f f ~> f

binterpret :: forall (g :: Type -> Type) (h :: Type -> Type). (g ~> f) -> (h ~> f) -> LeftF g h ~> f

Foldable f => Bifoldable (LeftF f :: Type -> Type -> Type)

Defined in Data.HBifunctor

Methods

bifold :: Monoid m => LeftF f m m -> m

bifoldMap :: Monoid m => (a -> m) -> (b -> m) -> LeftF f a b -> m

bifoldr :: (a -> c -> c) -> (b -> c -> c) -> c -> LeftF f a b -> c

bifoldl :: (c -> a -> c) -> (c -> b -> c) -> c -> LeftF f a b -> c

Functor f => Bifunctor (LeftF f :: Type -> Type -> Type)

Defined in Data.HBifunctor

Methods

bimap :: (a -> b) -> (c -> d) -> LeftF f a c -> LeftF f b d

first :: (a -> b) -> LeftF f a c -> LeftF f b c

second :: (b -> c) -> LeftF f a b -> LeftF f a c

Traversable f => Bitraversable (LeftF f :: Type -> Type -> Type)

Defined in Data.HBifunctor

Methods

bitraverse :: Applicative f0 => (a -> f0 c) -> (b -> f0 d) -> LeftF f a b -> f0 (LeftF f c d)

Applicative f => Biapplicative (LeftF f :: Type -> Type -> Type)

Defined in Data.HBifunctor

Methods

bipure :: a -> b -> LeftF f a b

(<<*>>) :: LeftF f (a -> b) (c -> d) -> LeftF f a c -> LeftF f b d

biliftA2 :: (a -> b -> c) -> (d -> e -> f0) -> LeftF f a d -> LeftF f b e -> LeftF f c f0

(*>>) :: LeftF f a b -> LeftF f c d -> LeftF f c d

(<<*) :: LeftF f a b -> LeftF f c d -> LeftF f a b

Foldable f => Foldable (LeftF f g)

Defined in Data.HBifunctor

Methods

fold :: Monoid m => LeftF f g m -> m

foldMap :: Monoid m => (a -> m) -> LeftF f g a -> m

foldMap' :: Monoid m => (a -> m) -> LeftF f g a -> m

foldr :: (a -> b -> b) -> b -> LeftF f g a -> b

foldr' :: (a -> b -> b) -> b -> LeftF f g a -> b

foldl :: (b -> a -> b) -> b -> LeftF f g a -> b

foldl' :: (b -> a -> b) -> b -> LeftF f g a -> b

foldr1 :: (a -> a -> a) -> LeftF f g a -> a

foldl1 :: (a -> a -> a) -> LeftF f g a -> a

toList :: LeftF f g a -> [a]

null :: LeftF f g a -> Bool

length :: LeftF f g a -> Int

elem :: Eq a => a -> LeftF f g a -> Bool

maximum :: Ord a => LeftF f g a -> a

minimum :: Ord a => LeftF f g a -> a

sum :: Num a => LeftF f g a -> a

product :: Num a => LeftF f g a -> a

Eq1 f => Eq1 (LeftF f g)

Defined in Data.HBifunctor

Methods

liftEq :: (a -> b -> Bool) -> LeftF f g a -> LeftF f g b -> Bool

Ord1 f => Ord1 (LeftF f g)

Defined in Data.HBifunctor

Methods

liftCompare :: (a -> b -> Ordering) -> LeftF f g a -> LeftF f g b -> Ordering

Read1 f => Read1 (LeftF f g)

Defined in Data.HBifunctor

Methods

liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (LeftF f g a)

liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [LeftF f g a]

liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (LeftF f g a)

liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [LeftF f g a]

Show1 f => Show1 (LeftF f g)

Defined in Data.HBifunctor

Methods

liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> LeftF f g a -> ShowS

liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [LeftF f g a] -> ShowS

Traversable f => Traversable (LeftF f g)

Defined in Data.HBifunctor

Methods

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

sequenceA :: Applicative f0 => LeftF f g (f0 a) -> f0 (LeftF f g a)

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

sequence :: Monad m => LeftF f g (m a) -> m (LeftF f g a)

Functor f => Functor (LeftF f g)

Defined in Data.HBifunctor

Methods

fmap :: (a -> b) -> LeftF f g a -> LeftF f g b

(<$) :: a -> LeftF f g b -> LeftF f g a

(Typeable g, Typeable a, Typeable f, Typeable k1, Typeable k2, Data (f a)) => Data (LeftF f g a)

Defined in Data.HBifunctor

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g0. g0 -> c g0) -> LeftF f g a -> c (LeftF f g a)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (LeftF f g a)

toConstr :: LeftF f g a -> Constr

dataTypeOf :: LeftF f g a -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (LeftF f g a))

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (LeftF f g a))

gmapT :: (forall b. Data b => b -> b) -> LeftF f g a -> LeftF f g a

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LeftF f g a -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LeftF f g a -> r

gmapQ :: (forall d. Data d => d -> u) -> LeftF f g a -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> LeftF f g a -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> LeftF f g a -> m (LeftF f g a)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> LeftF f g a -> m (LeftF f g a)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> LeftF f g a -> m (LeftF f g a)

Generic (LeftF f g a)

Defined in Data.HBifunctor

Associated Types

type Rep (LeftF f g a) :: Type -> Type

Methods

from :: LeftF f g a -> Rep (LeftF f g a) x

to :: Rep (LeftF f g a) x -> LeftF f g a

Read (f a) => Read (LeftF f g a)

Defined in Data.HBifunctor

Methods

readsPrec :: Int -> ReadS (LeftF f g a)

readList :: ReadS [LeftF f g a]

readPrec :: ReadPrec (LeftF f g a)

readListPrec :: ReadPrec [LeftF f g a]

Show (f a) => Show (LeftF f g a)

Defined in Data.HBifunctor

Methods

showsPrec :: Int -> LeftF f g a -> ShowS

show :: LeftF f g a -> String

showList :: [LeftF f g a] -> ShowS

Eq (f a) => Eq (LeftF f g a)

Defined in Data.HBifunctor

Methods

(==) :: LeftF f g a -> LeftF f g a -> Bool

(/=) :: LeftF f g a -> LeftF f g a -> Bool

Ord (f a) => Ord (LeftF f g a)

Defined in Data.HBifunctor

Methods

compare :: LeftF f g a -> LeftF f g a -> Ordering

(<) :: LeftF f g a -> LeftF f g a -> Bool

(<=) :: LeftF f g a -> LeftF f g a -> Bool

(>) :: LeftF f g a -> LeftF f g a -> Bool

(>=) :: LeftF f g a -> LeftF f g a -> Bool

max :: LeftF f g a -> LeftF f g a -> LeftF f g a

min :: LeftF f g a -> LeftF f g a -> LeftF f g a

type FunctorBy (LeftF :: (Type -> Type) -> (Type -> Type) -> Type -> Type)

Defined in Data.HBifunctor.Associative

type FunctorBy (LeftF :: (Type -> Type) -> (Type -> Type) -> Type -> Type) = Unconstrained :: (Type -> Type) -> Constraint

type NonEmptyBy (LeftF :: (Type -> Type) -> (Type -> Type) -> Type -> Type)

Defined in Data.HBifunctor.Associative

type NonEmptyBy (LeftF :: (Type -> Type) -> (Type -> Type) -> Type -> Type) = Flagged :: (Type -> Type) -> Type -> Type

type Rep (LeftF f g a)

Defined in Data.HBifunctor

type Rep (LeftF f g a) = D1 ('MetaData "LeftF" "Data.HBifunctor" "functor-combinators-0.4.1.3-6AGvZMQUvOOEyTeopopf92" 'True) (C1 ('MetaCons "LeftF" 'PrefixI 'True) (S1 ('MetaSel ('Just "runLeftF") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f a))))

newtype RightF f g a

An HBifunctor that ignores its first input. Like a :+: with no L1/left branch.

In its polykinded form (on f), it is essentially a higher-order version of Tagged.

Constructors

RightF

Fields

• runRightF :: g a

Instances

HTraversable (RightF g :: (k1 -> Type) -> k1 -> Type)

Defined in Data.HBifunctor

Methods

htraverse :: forall h f g0 (a :: k10). Applicative h => (forall (x :: k). f x -> h (g0 x)) -> RightF g f a -> h (RightF g g0 a)

HFunctor (RightF g :: (k1 -> Type) -> k1 -> Type)

Defined in Data.HBifunctor

Methods

hmap :: forall (f :: k -> Type) (g0 :: k -> Type). (f ~> g0) -> RightF g f ~> RightF g g0

HBifunctor (RightF :: (k -> Type) -> (k -> Type) -> k -> Type)

Defined in Data.HBifunctor

Methods

hleft :: forall (f :: k0 -> Type) (j :: k0 -> Type) (g :: k0 -> Type). (f ~> j) -> RightF f g ~> RightF j g

hright :: forall (g :: k0 -> Type) (l :: k0 -> Type) (f :: k0 -> Type). (g ~> l) -> RightF f g ~> RightF f l

hbimap :: forall (f :: k0 -> Type) (j :: k0 -> Type) (g :: k0 -> Type) (l :: k0 -> Type). (f ~> j) -> (g ~> l) -> RightF f g ~> RightF j l

HBind (RightF g :: (k2 -> Type) -> k2 -> Type)

Defined in Data.HBifunctor

Methods

hbind :: forall (f :: k -> Type) (g0 :: k -> Type). (f ~> RightF g g0) -> RightF g f ~> RightF g g0

hjoin :: forall (f :: k -> Type). RightF g (RightF g f) ~> RightF g f

Inject (RightF g :: (k2 -> Type) -> k2 -> Type)

Defined in Data.HBifunctor

Methods

inject :: forall (f :: k -> Type). f ~> RightF g f

Interpret (RightF g :: (k2 -> Type) -> k2 -> Type) (f :: k2 -> Type)

Defined in Data.HBifunctor

Methods

retract :: RightF g f ~> f

interpret :: forall (g0 :: k -> Type). (g0 ~> f) -> RightF g g0 ~> f

Associative (RightF :: (Type -> Type) -> (Type -> Type) -> Type -> Type)

Defined in Data.HBifunctor.Associative

Associated Types

type NonEmptyBy RightF :: (Type -> Type) -> Type -> Type

type FunctorBy RightF :: (Type -> Type) -> Constraint

Methods

associating :: forall (f :: Type -> Type) (g :: Type -> Type) (h :: Type -> Type). (FunctorBy RightF f, FunctorBy RightF g, FunctorBy RightF h) => RightF f (RightF g h) <~> RightF (RightF f g) h

appendNE :: forall (f :: Type -> Type). RightF (NonEmptyBy RightF f) (NonEmptyBy RightF f) ~> NonEmptyBy RightF f

matchNE :: forall (f :: Type -> Type). FunctorBy RightF f => NonEmptyBy RightF f ~> (f :+: RightF f (NonEmptyBy RightF f))

consNE :: forall (f :: Type -> Type). RightF f (NonEmptyBy RightF f) ~> NonEmptyBy RightF f

toNonEmptyBy :: forall (f :: Type -> Type). RightF f f ~> NonEmptyBy RightF f

SemigroupIn (RightF :: (Type -> Type) -> (Type -> Type) -> Type -> Type) f

Defined in Data.HBifunctor.Associative

Methods

biretract :: RightF f f ~> f

binterpret :: forall (g :: Type -> Type) (h :: Type -> Type). (g ~> f) -> (h ~> f) -> RightF g h ~> f

Foldable g => Foldable (RightF f g)

Defined in Data.HBifunctor

Methods

fold :: Monoid m => RightF f g m -> m

foldMap :: Monoid m => (a -> m) -> RightF f g a -> m

foldMap' :: Monoid m => (a -> m) -> RightF f g a -> m

foldr :: (a -> b -> b) -> b -> RightF f g a -> b

foldr' :: (a -> b -> b) -> b -> RightF f g a -> b

foldl :: (b -> a -> b) -> b -> RightF f g a -> b

foldl' :: (b -> a -> b) -> b -> RightF f g a -> b

foldr1 :: (a -> a -> a) -> RightF f g a -> a

foldl1 :: (a -> a -> a) -> RightF f g a -> a

toList :: RightF f g a -> [a]

null :: RightF f g a -> Bool

length :: RightF f g a -> Int

elem :: Eq a => a -> RightF f g a -> Bool

maximum :: Ord a => RightF f g a -> a

minimum :: Ord a => RightF f g a -> a

sum :: Num a => RightF f g a -> a

product :: Num a => RightF f g a -> a

Eq1 g => Eq1 (RightF f g)

Defined in Data.HBifunctor

Methods

liftEq :: (a -> b -> Bool) -> RightF f g a -> RightF f g b -> Bool

Ord1 g => Ord1 (RightF f g)

Defined in Data.HBifunctor

Methods

liftCompare :: (a -> b -> Ordering) -> RightF f g a -> RightF f g b -> Ordering

Read1 g => Read1 (RightF f g)

Defined in Data.HBifunctor

Methods

liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (RightF f g a)

liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [RightF f g a]

liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (RightF f g a)

liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [RightF f g a]

Show1 g => Show1 (RightF f g)

Defined in Data.HBifunctor

Methods

liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> RightF f g a -> ShowS

liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [RightF f g a] -> ShowS

Traversable g => Traversable (RightF f g)

Defined in Data.HBifunctor

Methods

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

sequenceA :: Applicative f0 => RightF f g (f0 a) -> f0 (RightF f g a)

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

sequence :: Monad m => RightF f g (m a) -> m (RightF f g a)

Functor g => Functor (RightF f g)

Defined in Data.HBifunctor

Methods

fmap :: (a -> b) -> RightF f g a -> RightF f g b

(<$) :: a -> RightF f g b -> RightF f g a

(Typeable f, Typeable a, Typeable g, Typeable k1, Typeable k2, Data (g a)) => Data (RightF f g a)

Defined in Data.HBifunctor

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g0. g0 -> c g0) -> RightF f g a -> c (RightF f g a)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (RightF f g a)

toConstr :: RightF f g a -> Constr

dataTypeOf :: RightF f g a -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (RightF f g a))

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (RightF f g a))

gmapT :: (forall b. Data b => b -> b) -> RightF f g a -> RightF f g a

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> RightF f g a -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> RightF f g a -> r

gmapQ :: (forall d. Data d => d -> u) -> RightF f g a -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> RightF f g a -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> RightF f g a -> m (RightF f g a)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> RightF f g a -> m (RightF f g a)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> RightF f g a -> m (RightF f g a)

Generic (RightF f g a)

Defined in Data.HBifunctor

Associated Types

type Rep (RightF f g a) :: Type -> Type

Methods

from :: RightF f g a -> Rep (RightF f g a) x

to :: Rep (RightF f g a) x -> RightF f g a

Read (g a) => Read (RightF f g a)

Defined in Data.HBifunctor

Methods

readsPrec :: Int -> ReadS (RightF f g a)

readList :: ReadS [RightF f g a]

readPrec :: ReadPrec (RightF f g a)

readListPrec :: ReadPrec [RightF f g a]

Show (g a) => Show (RightF f g a)

Defined in Data.HBifunctor

Methods

showsPrec :: Int -> RightF f g a -> ShowS

show :: RightF f g a -> String

showList :: [RightF f g a] -> ShowS

Eq (g a) => Eq (RightF f g a)

Defined in Data.HBifunctor

Methods

(==) :: RightF f g a -> RightF f g a -> Bool

(/=) :: RightF f g a -> RightF f g a -> Bool

Ord (g a) => Ord (RightF f g a)

Defined in Data.HBifunctor

Methods

compare :: RightF f g a -> RightF f g a -> Ordering

(<) :: RightF f g a -> RightF f g a -> Bool

(<=) :: RightF f g a -> RightF f g a -> Bool

(>) :: RightF f g a -> RightF f g a -> Bool

(>=) :: RightF f g a -> RightF f g a -> Bool

max :: RightF f g a -> RightF f g a -> RightF f g a

min :: RightF f g a -> RightF f g a -> RightF f g a

type FunctorBy (RightF :: (Type -> Type) -> (Type -> Type) -> Type -> Type)

Defined in Data.HBifunctor.Associative

type FunctorBy (RightF :: (Type -> Type) -> (Type -> Type) -> Type -> Type) = Unconstrained :: (Type -> Type) -> Constraint

type NonEmptyBy (RightF :: (Type -> Type) -> (Type -> Type) -> Type -> Type)

Defined in Data.HBifunctor.Associative

type NonEmptyBy (RightF :: (Type -> Type) -> (Type -> Type) -> Type -> Type) = Step :: (Type -> Type) -> Type -> Type

type Rep (RightF f g a)

Defined in Data.HBifunctor

type Rep (RightF f g a) = D1 ('MetaData "RightF" "Data.HBifunctor" "functor-combinators-0.4.1.3-6AGvZMQUvOOEyTeopopf92" 'True) (C1 ('MetaCons "RightF" 'PrefixI 'True) (S1 ('MetaSel ('Just "runRightF") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (g a))))