Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
Tag a |
Instances
Monoidal (-->) (-->) (:*:) (:*:) (Tagged tag) Source # | |
Monoidal (<--) (-->) (:*:) (:*:) (Tagged tag) Source # | |
Semimonoidal (-->) (:*:) (:*:) (Tagged tag :: Type -> Type) Source # | |
Semimonoidal (<--) (:*:) (:*:) (Tagged tag :: Type -> Type) Source # | |
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Impliable (Tape t a :: Type) Source # | |
Morphable ('Into List) (Tape List) Source # | |
Morphable ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tape Stream) Source # | |
Morphable ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tape Stream) Source # | |
Morphable ('Into List) (Tape > Construction Maybe) Source # | |
Morphable ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tape > Construction Maybe) Source # | |
Morphable ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tape > Construction Maybe) Source # | |
Morphable ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) ((Turnover :: (Type -> Type) -> Type -> Type) < Tape List) Source # | |
Morphable ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) ((Turnover :: (Type -> Type) -> Type -> Type) < Tape List) Source # | |
(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Semimonoidal (-->) (:*:) (:*:) t) => Substructure ('All ('Right :: a -> Wye a) :: Occurrence (a -> Wye a)) (Tape t <::> Tape t) Source # | |
Defined in Pandora.Paradigm.Structure.Ability.Zipper | |
(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Semimonoidal (-->) (:*:) (:*:) t) => Substructure ('All ('Left :: a -> Wye a) :: Occurrence (a -> Wye a)) (Tape t <::> Tape t) Source # | |
Defined in Pandora.Paradigm.Structure.Ability.Zipper | |
Morphable (('Into :: (Type -> Type) -> Morph (Type -> Type)) > Tape List) List Source # | |
Morphable (('Into :: (Type -> Type) -> Morph (Type -> Type)) > Comprehension Maybe) (Tape List) Source # | |
Morphable (('Into :: (Type -> Type) -> Morph (Type -> Type)) > Tape List) (Construction Maybe) Source # | |
Morphable (('Into :: (Type -> Type) -> Morph (Type -> Type)) > Construction Maybe) (Tape > Construction Maybe) Source # | |
Defined in Pandora.Paradigm.Structure.Some.List | |
Extendable ((->) :: Type -> Type -> Type) (Tape Stream) Source # | |
Defined in Pandora.Paradigm.Structure.Some.Stream (<<=) :: (Tape Stream a -> b) -> Tape Stream a -> Tape Stream b Source # (<<==) :: (Tape Stream a -> b) -> Tape Stream a -> Tape Stream b Source # (<<===) :: (Tape Stream a -> b) -> Tape Stream a -> Tape Stream b Source # (<<====) :: (Tape Stream a -> b) -> Tape Stream a -> Tape Stream b Source # (<<=====) :: (Tape Stream a -> b) -> Tape Stream a -> Tape Stream b Source # (<<======) :: (Tape Stream a -> b) -> Tape Stream a -> Tape Stream b Source # (<<=======) :: (Tape Stream a -> b) -> Tape Stream a -> Tape Stream b Source # (<<========) :: (Tape Stream a -> b) -> Tape Stream a -> Tape Stream b Source # (<<=========) :: (Tape Stream a -> b) -> Tape Stream a -> Tape Stream b Source # | |
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Substructure ('Right :: a -> Wye a) (Tape t) Source # | |
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Substructure ('Left :: a -> Wye a) (Tape t) Source # | |
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Substructure ('Root :: a -> Segment a) (Tape t) Source # | |
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Substructure ('Down :: a -> Vertical a) (Tape t <::> Tape t) Source # | |
Defined in Pandora.Paradigm.Structure.Ability.Zipper | |
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Substructure ('Up :: a -> Vertical a) (Tape t <::> Tape t) Source # | |
Extendable ((->) :: Type -> Type -> Type) (Tagged tag) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Tagged (<<=) :: (Tagged tag a -> b) -> Tagged tag a -> Tagged tag b Source # (<<==) :: (Tagged tag a -> b) -> Tagged tag a -> Tagged tag b Source # (<<===) :: (Tagged tag a -> b) -> Tagged tag a -> Tagged tag b Source # (<<====) :: (Tagged tag a -> b) -> Tagged tag a -> Tagged tag b Source # (<<=====) :: (Tagged tag a -> b) -> Tagged tag a -> Tagged tag b Source # (<<======) :: (Tagged tag a -> b) -> Tagged tag a -> Tagged tag b Source # (<<=======) :: (Tagged tag a -> b) -> Tagged tag a -> Tagged tag b Source # (<<========) :: (Tagged tag a -> b) -> Tagged tag a -> Tagged tag b Source # (<<=========) :: (Tagged tag a -> b) -> Tagged tag a -> Tagged tag b Source # | |
Bindable ((->) :: Type -> Type -> Type) (Tagged tag) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Tagged (=<<) :: (a -> Tagged tag b) -> Tagged tag a -> Tagged tag b Source # (==<<) :: (a -> Tagged tag b) -> Tagged tag a -> Tagged tag b Source # (===<<) :: (a -> Tagged tag b) -> Tagged tag a -> Tagged tag b Source # (====<<) :: (a -> Tagged tag b) -> Tagged tag a -> Tagged tag b Source # (=====<<) :: (a -> Tagged tag b) -> Tagged tag a -> Tagged tag b Source # (======<<) :: (a -> Tagged tag b) -> Tagged tag a -> Tagged tag b Source # (=======<<) :: (a -> Tagged tag b) -> Tagged tag a -> Tagged tag b Source # (========<<) :: (a -> Tagged tag b) -> Tagged tag a -> Tagged tag b Source # (=========<<) :: (a -> Tagged tag b) -> Tagged tag a -> Tagged tag b Source # | |
Monad ((->) :: Type -> Type -> Type) (Tagged tag) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Tagged | |
Comonad ((->) :: Type -> Type -> Type) (Tagged tag) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Tagged | |
Traversable ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Tape List) Source # | |
Defined in Pandora.Paradigm.Structure.Some.List (<<-) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Tape List a -> u (Tape List b) Source # (<<--) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Tape List a -> u (Tape List b) Source # (<<---) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Tape List a -> u (Tape List b) Source # (<<----) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Tape List a -> u (Tape List b) Source # (<<-----) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Tape List a -> u (Tape List b) Source # (<<------) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Tape List a -> u (Tape List b) Source # (<<-------) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Tape List a -> u (Tape List b) Source # (<<--------) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Tape List a -> u (Tape List b) Source # (<<---------) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Tape List a -> u (Tape List b) Source # | |
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Flip (Tagged :: Type -> Type -> Type) a) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Tagged (<-|-) :: (a0 -> b) -> Flip Tagged a a0 -> Flip Tagged a b Source # (<-|--) :: (a0 -> b) -> Flip Tagged a a0 -> Flip Tagged a b Source # (<-|---) :: (a0 -> b) -> Flip Tagged a a0 -> Flip Tagged a b Source # (<-|----) :: (a0 -> b) -> Flip Tagged a a0 -> Flip Tagged a b Source # (<-|-----) :: (a0 -> b) -> Flip Tagged a a0 -> Flip Tagged a b Source # (<-|------) :: (a0 -> b) -> Flip Tagged a a0 -> Flip Tagged a b Source # (<-|-------) :: (a0 -> b) -> Flip Tagged a a0 -> Flip Tagged a b Source # (<-|--------) :: (a0 -> b) -> Flip Tagged a a0 -> Flip Tagged a b Source # (<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip Tagged a)) => (a0 -> b) -> Flip Tagged a (u a0) -> Flip Tagged a (u b) Source # (<-|-|--) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip Tagged a)) => (a0 -> b) -> Flip Tagged a (u a0) -> Flip Tagged a (u b) Source # (<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip Tagged a)) => (a0 -> b) -> Flip Tagged a (u a0) -> Flip Tagged a (u b) Source # (<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip Tagged a)) => (a0 -> b) -> Flip Tagged a (u a0) -> Flip Tagged a (u b) Source # (<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip Tagged a)) => (a0 -> b) -> Flip Tagged a (u a0) -> Flip Tagged a (u b) Source # (<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip Tagged a)) => (a0 -> b) -> Flip Tagged a (u a0) -> Flip Tagged a (u b) Source # (<-|-|-------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip Tagged a)) => (a0 -> b) -> Flip Tagged a (u a0) -> Flip Tagged a (u b) Source # (<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) (Flip Tagged a)) => (a0 -> b) -> Flip Tagged a (u (v a0)) -> Flip Tagged a (u (v b)) Source # | |
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Tagged tag) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Tagged (<-|-) :: (a -> b) -> Tagged tag a -> Tagged tag b Source # (<-|--) :: (a -> b) -> Tagged tag a -> Tagged tag b Source # (<-|---) :: (a -> b) -> Tagged tag a -> Tagged tag b Source # (<-|----) :: (a -> b) -> Tagged tag a -> Tagged tag b Source # (<-|-----) :: (a -> b) -> Tagged tag a -> Tagged tag b Source # (<-|------) :: (a -> b) -> Tagged tag a -> Tagged tag b Source # (<-|-------) :: (a -> b) -> Tagged tag a -> Tagged tag b Source # (<-|--------) :: (a -> b) -> Tagged tag a -> Tagged tag b Source # (<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Tagged tag)) => (a -> b) -> Tagged tag (u a) -> Tagged tag (u b) Source # (<-|-|--) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Tagged tag)) => (a -> b) -> Tagged tag (u a) -> Tagged tag (u b) Source # (<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Tagged tag)) => (a -> b) -> Tagged tag (u a) -> Tagged tag (u b) Source # (<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Tagged tag)) => (a -> b) -> Tagged tag (u a) -> Tagged tag (u b) Source # (<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Tagged tag)) => (a -> b) -> Tagged tag (u a) -> Tagged tag (u b) Source # (<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Tagged tag)) => (a -> b) -> Tagged tag (u a) -> Tagged tag (u b) Source # (<-|-|-------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Tagged tag)) => (a -> b) -> Tagged tag (u a) -> Tagged tag (u b) Source # (<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) (Tagged tag)) => (a -> b) -> Tagged tag (u (v a)) -> Tagged tag (u (v b)) Source # | |
Distributive ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Tagged tag) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Tagged (-<<) :: Covariant (->) (->) u => (a -> Tagged tag b) -> u a -> Tagged tag (u b) Source # (--<<) :: Covariant (->) (->) u => (a -> Tagged tag b) -> u a -> Tagged tag (u b) Source # (---<<) :: Covariant (->) (->) u => (a -> Tagged tag b) -> u a -> Tagged tag (u b) Source # (----<<) :: Covariant (->) (->) u => (a -> Tagged tag b) -> u a -> Tagged tag (u b) Source # (-----<<) :: Covariant (->) (->) u => (a -> Tagged tag b) -> u a -> Tagged tag (u b) Source # (------<<) :: Covariant (->) (->) u => (a -> Tagged tag b) -> u a -> Tagged tag (u b) Source # (-------<<) :: Covariant (->) (->) u => (a -> Tagged tag b) -> u a -> Tagged tag (u b) Source # (--------<<) :: Covariant (->) (->) u => (a -> Tagged tag b) -> u a -> Tagged tag (u b) Source # (---------<<) :: Covariant (->) (->) u => (a -> Tagged tag b) -> u a -> Tagged tag (u b) Source # | |
Traversable ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Tagged tag) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Tagged (<<-) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Tagged tag a -> u (Tagged tag b) Source # (<<--) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Tagged tag a -> u (Tagged tag b) Source # (<<---) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Tagged tag a -> u (Tagged tag b) Source # (<<----) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Tagged tag a -> u (Tagged tag b) Source # (<<-----) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Tagged tag a -> u (Tagged tag b) Source # (<<------) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Tagged tag a -> u (Tagged tag b) Source # (<<-------) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Tagged tag a -> u (Tagged tag b) Source # (<<--------) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Tagged tag a -> u (Tagged tag b) Source # (<<---------) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Tagged tag a -> u (Tagged tag b) Source # | |
Semigroup a => Semigroup (Tagged tag a) Source # | |
Ringoid a => Ringoid (Tagged tag a) Source # | |
Monoid a => Monoid (Tagged tag a) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Tagged | |
Quasiring a => Quasiring (Tagged tag a) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Tagged | |
Group a => Group (Tagged tag a) Source # | |
Supremum a => Supremum (Tagged tag a) Source # | |
Infimum a => Infimum (Tagged tag a) Source # | |
Lattice a => Lattice (Tagged tag a) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Tagged | |
Setoid a => Setoid (Tagged tag a) Source # | |
Chain a => Chain (Tagged tag a) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Tagged | |
type Arguments (Tape t a :: Type) Source # | |
Defined in Pandora.Paradigm.Structure.Ability.Zipper | |
type Morphing ('Into List) (Tape List) Source # | |
type Morphing ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tape Stream) Source # | |
type Morphing ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tape Stream) Source # | |
type Morphing ('Into List) (Tape > Construction Maybe) Source # | |
Defined in Pandora.Paradigm.Structure.Some.List | |
type Morphing ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tape > Construction Maybe) Source # | |
type Morphing ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tape > Construction Maybe) Source # | |
type Morphing ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) ((Turnover :: (Type -> Type) -> Type -> Type) < Tape List) Source # | |
type Morphing ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) ((Turnover :: (Type -> Type) -> Type -> Type) < Tape List) Source # | |
type Substance ('All ('Right :: a -> Wye a) :: Occurrence (a -> Wye a)) (Tape t <::> Tape t) Source # | |
type Substance ('All ('Left :: a -> Wye a) :: Occurrence (a -> Wye a)) (Tape t <::> Tape t) Source # | |
type Morphing (('Into :: (Type -> Type) -> Morph (Type -> Type)) > Tape List) List Source # | |
type Morphing (('Into :: (Type -> Type) -> Morph (Type -> Type)) > Comprehension Maybe) (Tape List) Source # | |
Defined in Pandora.Paradigm.Structure.Some.List type Morphing (('Into :: (Type -> Type) -> Morph (Type -> Type)) > Comprehension Maybe) (Tape List) = Comprehension Maybe | |
type Morphing (('Into :: (Type -> Type) -> Morph (Type -> Type)) > Tape List) (Construction Maybe) Source # | |
type Morphing (('Into :: (Type -> Type) -> Morph (Type -> Type)) > Construction Maybe) (Tape > Construction Maybe) Source # | |
Defined in Pandora.Paradigm.Structure.Some.List type Morphing (('Into :: (Type -> Type) -> Morph (Type -> Type)) > Construction Maybe) (Tape > Construction Maybe) = Construction Maybe | |
type Substance ('Right :: a -> Wye a) (Tape t) Source # | |
Defined in Pandora.Paradigm.Structure.Ability.Zipper | |
type Substance ('Left :: a -> Wye a) (Tape t) Source # | |
type Substance ('Root :: a -> Segment a) (Tape t) Source # | |
type Substance ('Down :: a -> Vertical a) (Tape t <::> Tape t) Source # | |
type Substance ('Up :: a -> Vertical a) (Tape t <::> Tape t) Source # | |