Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
Orphan instances
Category (Flip ((->) :: Type -> Type -> Type)) Source # | |
Morphable ('Into (Flip Conclusion e) :: Morph (Type -> Type)) Maybe Source # | |
Morphable ('Into (Conclusion e) :: Morph (Type -> Type)) Maybe Source # | |
Morphable ('Into ('Left Maybe)) Wye Source # | |
Morphable ('Into ('Right Maybe)) Wye Source # | |
Morphable ('Into Maybe) (Conclusion e) Source # | |
Morphable ('Into ('There Maybe :: Wedge e1 (Type -> Type)) :: Morph (Wedge e1 (Type -> Type))) (Wedge e2) Source # | |
Morphable ('Into ('This Maybe :: These e1 (Type -> Type)) :: Morph (These e1 (Type -> Type))) (These e2) 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 # | |
Morphable ('Into Wye) ((Maybe <:.:> Maybe) := (:*:)) Source # | |
Contravariant (Flip ((->) :: Type -> Type -> Type) r) Source # | |
(>$<) :: (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 # | |
Covariant (Flip (:*:) a) Source # | |
(<$>) :: (a0 -> b) -> Flip (:*:) a a0 -> Flip (:*:) a b Source # comap :: (a0 -> b) -> Flip (:*:) a a0 -> Flip (:*:) a b Source # (<$) :: a0 -> Flip (:*:) a b -> Flip (:*:) a a0 Source # ($>) :: Flip (:*:) a a0 -> b -> Flip (:*:) a b Source # void :: Flip (:*:) a a0 -> Flip (:*:) a () Source # loeb :: Flip (:*:) a (a0 <:= Flip (:*:) a) -> Flip (:*:) a a0 Source # (<&>) :: Flip (:*:) a a0 -> (a0 -> b) -> Flip (:*:) a b Source # (<$$>) :: Covariant u => (a0 -> b) -> ((Flip (:*:) a :. u) := a0) -> (Flip (:*:) a :. u) := b Source # (<$$$>) :: (Covariant u, Covariant v) => (a0 -> b) -> ((Flip (:*:) a :. (u :. v)) := a0) -> (Flip (:*:) a :. (u :. v)) := b Source # (<$$$$>) :: (Covariant u, Covariant v, Covariant w) => (a0 -> b) -> ((Flip (:*:) a :. (u :. (v :. w))) := a0) -> (Flip (:*:) a :. (u :. (v :. w))) := b Source # (<&&>) :: Covariant u => ((Flip (:*:) a :. u) := a0) -> (a0 -> b) -> (Flip (:*:) a :. u) := b Source # (<&&&>) :: (Covariant u, Covariant v) => ((Flip (:*:) a :. (u :. v)) := a0) -> (a0 -> b) -> (Flip (:*:) a :. (u :. v)) := b Source # (<&&&&>) :: (Covariant u, Covariant v, Covariant w) => ((Flip (:*:) a :. (u :. (v :. w))) := a0) -> (a0 -> b) -> (Flip (:*:) a :. (u :. (v :. w))) := b Source # (.#..) :: (Flip (:*:) a ~ v a0, Category v) => v c d -> ((v a0 :. v b) := c) -> (v a0 :. v b) := d Source # (.#...) :: (Flip (:*:) a ~ v a0, Flip (:*:) a ~ v b, Category v, Covariant (v a0), Covariant (v b)) => v d e -> ((v a0 :. (v b :. v c)) := d) -> (v a0 :. (v b :. v c)) := e Source # (.#....) :: (Flip (:*:) a ~ v a0, Flip (:*:) a ~ v b, Flip (:*:) a ~ v c, Category v, Covariant (v a0), Covariant (v b), Covariant (v c)) => v e f -> ((v a0 :. (v b :. (v c :. v d))) := e) -> (v a0 :. (v b :. (v c :. v d))) := f Source # (<$$) :: Covariant u => b -> ((Flip (:*:) a :. u) := a0) -> (Flip (:*:) a :. u) := b Source # (<$$$) :: (Covariant u, Covariant v) => b -> ((Flip (:*:) a :. (u :. v)) := a0) -> (Flip (:*:) a :. (u :. v)) := b Source # (<$$$$) :: (Covariant u, Covariant v, Covariant w) => b -> ((Flip (:*:) a :. (u :. (v :. w))) := a0) -> (Flip (:*:) a :. (u :. (v :. w))) := b Source # ($$>) :: Covariant u => ((Flip (:*:) a :. u) := a0) -> b -> (Flip (:*:) a :. u) := b Source # ($$$>) :: (Covariant u, Covariant v) => ((Flip (:*:) a :. (u :. v)) := a0) -> b -> (Flip (:*:) a :. (u :. v)) := b Source # ($$$$>) :: (Covariant u, Covariant v, Covariant w) => ((Flip (:*:) a :. (u :. (v :. w))) := a0) -> b -> (Flip (:*:) a :. (u :. (v :. w))) := b Source # | |
Extractable (Flip (:*:) a) Source # | |
Substructure ('Right :: a -> Wye a) Wye Source # | |
Substructure ('Left :: a -> Wye a) Wye Source # | |