Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
newtype Flip (v :: * -> * -> *) a e Source #
Flip (v e a) |
Instances
Category (Flip ((->) :: Type -> Type -> Type)) Source # | |
Bivariant v => Bivariant (Flip v) Source # | |
Morphable ('Into (Flip Conclusion e) :: Morph (Type -> Type)) Maybe Source # | |
Morphable ('Into ('Here Maybe :: Wedge (Type -> Type) a1) :: Morph (Wedge (Type -> Type) a1)) (Flip Wedge a2) Source # | |
Morphable ('Into ('That Maybe :: These (Type -> Type) a1) :: Morph (These (Type -> Type) a1)) (Flip These a2) Source # | |
Contravariant (Flip ((->) :: Type -> Type -> Type) r) Source # | |
Defined in Pandora.Paradigm.Primary (>$<) :: (a -> b) -> Flip (->) r b -> Flip (->) r a Source # contramap :: (a -> b) -> Flip (->) r b -> Flip (->) r a Source # (>$) :: b -> Flip (->) r b -> Flip (->) r a Source # ($<) :: Flip (->) r b -> b -> Flip (->) r a Source # full :: Flip (->) r () -> Flip (->) r a Source # (>&<) :: Flip (->) r b -> (a -> b) -> Flip (->) r a Source # (>$$<) :: Contravariant u => (a -> b) -> ((Flip (->) r :. u) := a) -> (Flip (->) r :. u) := b Source # (>$$$<) :: (Contravariant u, Contravariant v) => (a -> b) -> ((Flip (->) r :. (u :. v)) := b) -> (Flip (->) r :. (u :. v)) := a Source # (>$$$$<) :: (Contravariant u, Contravariant v, Contravariant w) => (a -> b) -> ((Flip (->) r :. (u :. (v :. w))) := a) -> (Flip (->) r :. (u :. (v :. w))) := b Source # (>&&<) :: Contravariant u => ((Flip (->) r :. u) := a) -> (a -> b) -> (Flip (->) r :. u) := b Source # (>&&&<) :: (Contravariant u, Contravariant v) => ((Flip (->) r :. (u :. v)) := b) -> (a -> b) -> (Flip (->) r :. (u :. v)) := a Source # (>&&&&<) :: (Contravariant u, Contravariant v, Contravariant w) => ((Flip (->) r :. (u :. (v :. w))) := a) -> (a -> b) -> (Flip (->) r :. (u :. (v :. w))) := b Source # | |
Interpreted (Flip v a) Source # | |
Defined in Pandora.Paradigm.Primary.Transformer.Flip | |
type Morphing ('Into (Flip Conclusion e) :: Morph (Type -> Type)) Maybe Source # | |
Defined in Pandora.Paradigm.Primary type Morphing ('Into (Flip Conclusion e) :: Morph (Type -> Type)) Maybe = ((->) e :: Type -> Type) <:.> Flip Conclusion e | |
type Morphing ('Into ('Here Maybe :: Wedge (Type -> Type) a1) :: Morph (Wedge (Type -> Type) a1)) (Flip Wedge a2) Source # | |
type Morphing ('Into ('That Maybe :: These (Type -> Type) a1) :: Morph (These (Type -> Type) a1)) (Flip These a2) Source # | |
type Primary (Flip v a) e Source # | |
Defined in Pandora.Paradigm.Primary.Transformer.Flip |