Safe Haskell	None
Language	Haskell2010

Fresnel.Profunctor.OptionalStar

Contents

Optional star profunctors
Construction
Elimination
Computation

Synopsis

newtype OptionalStar f a b = OptionalStar {
- withOptionalStar :: forall r. ((forall x. x -> f x) -> (a -> f b) -> r) -> r
}
optionalStar :: (forall x. x -> f x) -> (a -> f b) -> OptionalStar f a b
runOptionalStar :: OptionalStar f a b -> a -> f b
mapOptionalStar :: ((a -> f b) -> c -> f d) -> OptionalStar f a b -> OptionalStar f c d

Optional star profunctors

newtype OptionalStar f a b Source #

Constructors

OptionalStar
Fields withOptionalStar :: forall r. ((forall x. x -> f x) -> (a -> f b) -> r) -> r

Instances

Instances details

Functor f => Choice (OptionalStar f) Source #
Instance details Defined in Fresnel.Profunctor.OptionalStar Methods left' :: OptionalStar f a b -> OptionalStar f (Either a c) (Either b c) right' :: OptionalStar f a b -> OptionalStar f (Either c a) (Either c b)
Traversable f => Cochoice (OptionalStar f) Source #
Instance details Defined in Fresnel.Profunctor.OptionalStar Methods unleft :: OptionalStar f (Either a d) (Either b d) -> OptionalStar f a b unright :: OptionalStar f (Either d a) (Either d b) -> OptionalStar f a b
Functor f => Strong (OptionalStar f) Source #
Instance details Defined in Fresnel.Profunctor.OptionalStar Methods first' :: OptionalStar f a b -> OptionalStar f (a, c) (b, c) second' :: OptionalStar f a b -> OptionalStar f (c, a) (c, b)
Functor f => Profunctor (OptionalStar f) Source #
Instance details Defined in Fresnel.Profunctor.OptionalStar Methods dimap :: (a -> b) -> (c -> d) -> OptionalStar f b c -> OptionalStar f a d lmap :: (a -> b) -> OptionalStar f b c -> OptionalStar f a c rmap :: (b -> c) -> OptionalStar f a b -> OptionalStar f a c (#.) :: forall a b c q. Coercible c b => q b c -> OptionalStar f a b -> OptionalStar f a c (.#) :: forall a b c q. Coercible b a => OptionalStar f b c -> q a b -> OptionalStar f a c
Contravariant f => Bicontravariant (OptionalStar f) Source #
Instance details Defined in Fresnel.Profunctor.OptionalStar Methods contrabimap :: (a' -> a) -> (b' -> b) -> OptionalStar f a b -> OptionalStar f a' b' Source #
Functor f => IsIso (OptionalStar f) Source #
Instance details Defined in Fresnel.Iso.Internal
Functor f => IsPrism (OptionalStar f) Source #
Instance details Defined in Fresnel.Prism.Internal
Functor f => IsLens (OptionalStar f) Source #
Instance details Defined in Fresnel.Lens.Internal
Functor f => IsOptional (OptionalStar f) Source #
Instance details Defined in Fresnel.Optional.Internal
(Contravariant f, Traversable f) => IsGetter (OptionalStar f) Source #
Instance details Defined in Fresnel.Getter.Internal
(Traversable f, Contravariant f) => IsOptionalFold (OptionalStar f) Source #
Instance details Defined in Fresnel.OptionalFold.Internal

Construction

optionalStar :: (forall x. x -> f x) -> (a -> f b) -> OptionalStar f a b Source #

Elimination

runOptionalStar :: OptionalStar f a b -> a -> f b Source #

Computation

mapOptionalStar :: ((a -> f b) -> c -> f d) -> OptionalStar f a b -> OptionalStar f c d Source #