Module

Data.Profunctor.Split

Package: purescript-profunctor
Repository: purescript/purescript-profunctor

#Split Source

newtype Split f a b

Instances

Functor (Split f a)
Profunctor (Split f)

#split Source

split :: forall x b a f. (a -> x) -> (x -> b) -> f x -> Split f a b

#unSplit Source

unSplit :: forall r b a f. (forall x. (a -> x) -> (x -> b) -> f x -> r) -> Split f a b -> r

#liftSplit Source

liftSplit :: forall a f. f a -> Split f a a

#lowerSplit Source

lowerSplit :: forall a f. Invariant f => Split f a a -> f a

#hoistSplit Source

hoistSplit :: forall b a g f. (f ~> g) -> Split f a b -> Split g a b

Modules: Data.Profunctor; Data.Profunctor.Choice; Data.Profunctor.Closed; Data.Profunctor.Clown; Data.Profunctor.Cochoice; Data.Profunctor.Costar; Data.Profunctor.Costrong; Data.Profunctor.Cowrap; Data.Profunctor.Join; Data.Profunctor.Joker; Data.Profunctor.Split; Data.Profunctor.Star; Data.Profunctor.Strong; Data.Profunctor.Wrap