Data.Profunctor.Withering

Documentation

class Traversing p => Withering p where

Methods

cull :: (forall f. Alternative f => (a -> f b) -> s -> f t) -> p a b -> p s t

Instances

Alternative f => Withering (Star f)

Defined in Data.Profunctor.Withering

Methods

cull :: (forall (f0 :: Type -> Type). Alternative f0 => (a -> f0 b) -> s -> f0 t) -> Star f a b -> Star f s t

Monoid m => Withering (Forget m)

Defined in Data.Profunctor.Withering

Methods

cull :: (forall (f :: Type -> Type). Alternative f => (a -> f b) -> s -> f t) -> Forget m a b -> Forget m s t

newtype AltConst a b

Constructors

AltConst (Maybe a)

Instances

Functor (AltConst a)

Defined in Data.Profunctor.Withering

Methods

fmap :: (a0 -> b) -> AltConst a a0 -> AltConst a b

(<$) :: a0 -> AltConst a b -> AltConst a a0

Monoid a => Applicative (AltConst a)

Defined in Data.Profunctor.Withering

Methods

pure :: a0 -> AltConst a a0

(<*>) :: AltConst a (a0 -> b) -> AltConst a a0 -> AltConst a b

liftA2 :: (a0 -> b -> c) -> AltConst a a0 -> AltConst a b -> AltConst a c

(*>) :: AltConst a a0 -> AltConst a b -> AltConst a b

(<*) :: AltConst a a0 -> AltConst a b -> AltConst a a0

Monoid m => Alternative (AltConst m)

Defined in Data.Profunctor.Withering

Methods

empty :: AltConst m a

(<|>) :: AltConst m a -> AltConst m a -> AltConst m a

some :: AltConst m a -> AltConst m [a]

many :: AltConst m a -> AltConst m [a]

Eq a => Eq (AltConst a b)

Defined in Data.Profunctor.Withering

Methods

(==) :: AltConst a b -> AltConst a b -> Bool

(/=) :: AltConst a b -> AltConst a b -> Bool

Ord a => Ord (AltConst a b)

Defined in Data.Profunctor.Withering

Methods

compare :: AltConst a b -> AltConst a b -> Ordering

(<) :: AltConst a b -> AltConst a b -> Bool

(<=) :: AltConst a b -> AltConst a b -> Bool

(>) :: AltConst a b -> AltConst a b -> Bool

(>=) :: AltConst a b -> AltConst a b -> Bool

max :: AltConst a b -> AltConst a b -> AltConst a b

min :: AltConst a b -> AltConst a b -> AltConst a b

Show a => Show (AltConst a b)

Defined in Data.Profunctor.Withering

Methods

showsPrec :: Int -> AltConst a b -> ShowS

show :: AltConst a b -> String

showList :: [AltConst a b] -> ShowS

Semigroup a => Semigroup (AltConst a x)

Defined in Data.Profunctor.Withering

Methods

(<>) :: AltConst a x -> AltConst a x -> AltConst a x

sconcat :: NonEmpty (AltConst a x) -> AltConst a x

stimes :: Integral b => b -> AltConst a x -> AltConst a x

Monoid a => Monoid (AltConst a x)

Defined in Data.Profunctor.Withering

Methods

mempty :: AltConst a x

mappend :: AltConst a x -> AltConst a x -> AltConst a x

mconcat :: [AltConst a x] -> AltConst a x