Pandora.Paradigm.Primary.Functor.Exactly
newtype Exactly a Source #
Constructors
Defined in Pandora.Paradigm.Primary.Functor.Exactly
Associated Types
type Representation Exactly Source #
Methods
(<#>) :: Representation Exactly -> a <:= Exactly Source #
tabulate :: (Representation Exactly -> a) -> Exactly a Source #
index :: Exactly a -> Representation Exactly -> a Source #
Defined in Pandora.Paradigm.Inventory.Some.Optics
type Lensally Exactly Maybe :: Type -> Type Source #
(>>>) :: Lens Exactly source between -> Lens Maybe between target -> Lens (Lensally Exactly Maybe) source target Source #
type Lensally Maybe Exactly :: Type -> Type Source #
(>>>) :: Lens Maybe source between -> Lens Exactly between target -> Lens (Lensally Maybe Exactly) source target Source #
Defined in Pandora.Paradigm.Inventory
zoom :: forall bg ls (t :: Type -> Type). Adaptable t (->) (State bg) => Lens Exactly bg ls -> State (Simplification Exactly ls) ~> t Source #
unit :: Proxy (:*:) -> (Unit (:*:) --> a) --> Exactly a Source #
unit :: Proxy (:*:) -> (Unit (:*:) --> a) <-- Exactly a Source #
Defined in Pandora.Paradigm.Structure.Interface.Zipper
unit :: Proxy (:*:) -> (Unit (:*:) --> a) <-- (Exactly <:*:> t) a Source #
Defined in Pandora.Paradigm.Structure
access :: Lens Exactly (Exactly a) a Source #
(+) :: Exactly a -> Exactly a -> Exactly a Source #
(*) :: Exactly a -> Exactly a -> Exactly a Source #
zero :: Exactly a Source #
one :: Exactly a Source #
invert :: Exactly a -> Exactly a Source #
(-) :: Exactly a -> Exactly a -> Exactly a Source #
(\/) :: Exactly a -> Exactly a -> Exactly a Source #
(/\) :: Exactly a -> Exactly a -> Exactly a Source #
(==) :: Exactly a -> Exactly a -> Boolean Source #
(!=) :: Exactly a -> Exactly a -> Boolean Source #
(?=) :: Exactly a -> Exactly a -> r -> r -> r Source #
(<=>) :: Exactly a -> Exactly a -> Ordering Source #
(<) :: Exactly a -> Exactly a -> Boolean Source #
(<=) :: Exactly a -> Exactly a -> Boolean Source #
(>) :: Exactly a -> Exactly a -> Boolean Source #
(>=) :: Exactly a -> Exactly a -> Boolean Source #
(.) :: Lens Exactly b c -> Lens Exactly a b -> Lens Exactly a c Source #
identity :: Lens Exactly a a Source #
(<--------) :: Lens Exactly (Lens Exactly a b) (Lens Exactly a b) Source #
(<-------) :: Lens Exactly (Lens Exactly a b) (Lens Exactly a b) Source #
(<------) :: Lens Exactly (Lens Exactly a b) (Lens Exactly a b) Source #
(<-----) :: Lens Exactly (Lens Exactly a b) (Lens Exactly a b) Source #
(<----) :: Lens Exactly (Lens Exactly a b) (Lens Exactly a b) Source #
(<---) :: Lens Exactly (Lens Exactly a b) (Lens Exactly a b) Source #
(<--) :: Lens Exactly (Lens Exactly a b) (Lens Exactly a b) Source #
(-------->) :: Lens Exactly (Lens Exactly a b) (Lens Exactly a b) Source #
(------->) :: Lens Exactly (Lens Exactly a b) (Lens Exactly a b) Source #
(------>) :: Lens Exactly (Lens Exactly a b) (Lens Exactly a b) Source #
(----->) :: Lens Exactly (Lens Exactly a b) (Lens Exactly a b) Source #
(---->) :: Lens Exactly (Lens Exactly a b) (Lens Exactly a b) Source #
(--->) :: Lens Exactly (Lens Exactly a b) (Lens Exactly a b) Source #
(-->) :: Lens Exactly (Lens Exactly a b) (Lens Exactly a b) Source #
Defined in Pandora.Paradigm.Structure.Some.Stream
type Breadcrumbs (Construction Exactly) :: Type -> Type Source #
mult :: forall (a :: k) (b :: k). (Exactly a :*: Exactly b) --> Exactly (a :*: b) Source #
mult :: forall (a :: k) (b :: k). (Exactly a :*: Exactly b) <-- Exactly (a :*: b) Source #
mult :: forall (a :: k) (b :: k). (Lens Exactly source a :*: Lens Exactly source b) --> Lens Exactly source (a :*: b) Source #
mult :: forall (a :: k) (b :: k). ((Exactly <:*:> t) a :*: (Exactly <:*:> t) b) <-- (Exactly <:*:> t) (a :*: b) Source #
Defined in Pandora.Paradigm.Controlflow.Effect.Adaptable
adapt :: forall (a :: k). ((->) < Exactly a) < u a Source #
Defined in Pandora.Paradigm.Structure.Modification.Tape
type Arguments (Tape t a) = (args :: Type) Source #
imply :: Arguments (Tape t a) Source #
Defined in Pandora.Paradigm.Structure.Some.Rose
type Morphing ('Into (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses))))))) (Construction List) :: Type -> Type Source #
morphing :: (Tagged ('Into (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses))))))) <::> Construction List) ~> Morphing ('Into (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses))))))) (Construction List) Source #
Defined in Pandora.Paradigm.Structure.Some.List
type Morphing ('Into List) (Tape List) :: Type -> Type Source #
morphing :: (Tagged ('Into List) <::> Tape List) ~> Morphing ('Into List) (Tape List) Source #
type Morphing ('Rotate 'Right) (Tape Stream) :: Type -> Type Source #
morphing :: (Tagged ('Rotate 'Right) <::> Tape Stream) ~> Morphing ('Rotate 'Right) (Tape Stream) Source #
type Morphing ('Rotate 'Left) (Tape Stream) :: Type -> Type Source #
morphing :: (Tagged ('Rotate 'Left) <::> Tape Stream) ~> Morphing ('Rotate 'Left) (Tape Stream) Source #
type Morphing ('Into List) (Tape > Construction Maybe) :: Type -> Type Source #
morphing :: (Tagged ('Into List) <::> (Tape > Construction Maybe)) ~> Morphing ('Into List) (Tape > Construction Maybe) Source #
type Morphing ('Rotate 'Right) (Tape > Construction Maybe) :: Type -> Type Source #
morphing :: (Tagged ('Rotate 'Right) <::> (Tape > Construction Maybe)) ~> Morphing ('Rotate 'Right) (Tape > Construction Maybe) Source #
type Morphing ('Rotate 'Left) (Tape > Construction Maybe) :: Type -> Type Source #
morphing :: (Tagged ('Rotate 'Left) <::> (Tape > Construction Maybe)) ~> Morphing ('Rotate 'Left) (Tape > Construction Maybe) Source #
type Morphing ('Rotate 'Right) (Turnover < Tape List) :: Type -> Type Source #
morphing :: (Tagged ('Rotate 'Right) <::> (Turnover < Tape List)) ~> Morphing ('Rotate 'Right) (Turnover < Tape List) Source #
type Morphing ('Rotate 'Left) (Turnover < Tape List) :: Type -> Type Source #
morphing :: (Tagged ('Rotate 'Left) <::> (Turnover < Tape List)) ~> Morphing ('Rotate 'Left) (Turnover < Tape List) Source #
type Morphing ('Rotate 'Up) (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))) :: Type -> Type Source #
morphing :: (Tagged ('Rotate 'Up) <::> (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses))))))) ~> Morphing ('Rotate 'Up) (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))) Source #
type Substance ('Right 'Forest) (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))) :: Type -> Type Source #
substructure :: (Tagged ('Right 'Forest) <:.> (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses))))))) @>>> Substance ('Right 'Forest) (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))) Source #
sub :: (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))) @>>> Substance ('Right 'Forest) (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))) Source #
type Substance ('Left 'Forest) (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))) :: Type -> Type Source #
substructure :: (Tagged ('Left 'Forest) <:.> (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses))))))) @>>> Substance ('Left 'Forest) (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))) Source #
sub :: (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))) @>>> Substance ('Left 'Forest) (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))) Source #
type Substance ('Down 'Forest) (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))) :: Type -> Type Source #
substructure :: (Tagged ('Down 'Forest) <:.> (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses))))))) @>>> Substance ('Down 'Forest) (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))) Source #
sub :: (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))) @>>> Substance ('Down 'Forest) (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))) Source #
type Substance ('Up 'Forest) (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))) :: Type -> Type Source #
substructure :: (Tagged ('Up 'Forest) <:.> (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses))))))) @>>> Substance ('Up 'Forest) (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))) Source #
sub :: (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))) @>>> Substance ('Up 'Forest) (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))) Source #
type Substance ('All 'Right) (Tape t <::> Tape t) :: Type -> Type Source #
substructure :: (Tagged ('All 'Right) <:.> (Tape t <::> Tape t)) @>>> Substance ('All 'Right) (Tape t <::> Tape t) Source #
sub :: (Tape t <::> Tape t) @>>> Substance ('All 'Right) (Tape t <::> Tape t) Source #
type Substance ('All 'Left) (Tape t <::> Tape t) :: Type -> Type Source #
substructure :: (Tagged ('All 'Left) <:.> (Tape t <::> Tape t)) @>>> Substance ('All 'Left) (Tape t <::> Tape t) Source #
sub :: (Tape t <::> Tape t) @>>> Substance ('All 'Left) (Tape t <::> Tape t) Source #
type Morphing ('Into > Tape List) List :: Type -> Type Source #
morphing :: (Tagged ('Into > Tape List) <::> List) ~> Morphing ('Into > Tape List) List Source #
type Morphing ('Into > Comprehension Maybe) (Tape List) :: Type -> Type Source #
morphing :: (Tagged ('Into > Comprehension Maybe) <::> Tape List) ~> Morphing ('Into > Comprehension Maybe) (Tape List) Source #
type Morphing ('Into > Tape List) (Construction Maybe) :: Type -> Type Source #
morphing :: (Tagged ('Into > Tape List) <::> Construction Maybe) ~> Morphing ('Into > Tape List) (Construction Maybe) Source #
type Morphing ('Into > Construction Maybe) (Tape > Construction Maybe) :: Type -> Type Source #
morphing :: (Tagged ('Into > Construction Maybe) <::> (Tape > Construction Maybe)) ~> Morphing ('Into > Construction Maybe) (Tape > Construction Maybe) Source #
type Arguments (P_Q_T (->) Store Exactly source target) = (args :: Type) Source #
imply :: Arguments (P_Q_T (->) Store Exactly source target) Source #
(<<=) :: (Exactly a -> b) -> Exactly a -> Exactly b Source #
(<<==) :: (Exactly a -> b) -> Exactly a -> Exactly b Source #
(<<===) :: (Exactly a -> b) -> Exactly a -> Exactly b Source #
(<<====) :: (Exactly a -> b) -> Exactly a -> Exactly b Source #
(<<=====) :: (Exactly a -> b) -> Exactly a -> Exactly b Source #
(<<======) :: (Exactly a -> b) -> Exactly a -> Exactly b Source #
(<<=======) :: (Exactly a -> b) -> Exactly a -> Exactly b Source #
(<<========) :: (Exactly a -> b) -> Exactly a -> Exactly b Source #
(=<<) :: (a -> Exactly b) -> Exactly a -> Exactly b Source #
(==<<) :: (a -> Exactly b) -> Exactly a -> Exactly b Source #
(===<<) :: (a -> Exactly b) -> Exactly a -> Exactly b Source #
(====<<) :: (a -> Exactly b) -> Exactly a -> Exactly b Source #
(=====<<) :: (a -> Exactly b) -> Exactly a -> Exactly b Source #
(======<<) :: (a -> Exactly b) -> Exactly a -> Exactly b Source #
(=======<<) :: (a -> Exactly b) -> Exactly a -> Exactly b Source #
type Getting (Lens Exactly) e r Source #
get :: Getting (Lens Exactly) e r 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 #
type Substance 'Right (Tape t) :: Type -> Type Source #
substructure :: (Tagged 'Right <:.> Tape t) @>>> Substance 'Right (Tape t) Source #
sub :: Tape t @>>> Substance 'Right (Tape t) Source #
type Substance 'Left (Tape t) :: Type -> Type Source #
substructure :: (Tagged 'Left <:.> Tape t) @>>> Substance 'Left (Tape t) Source #
sub :: Tape t @>>> Substance 'Left (Tape t) Source #
type Substance 'Root (Tagged (Zippable structure) <:.> (Exactly <:*:> t)) :: Type -> Type Source #
substructure :: (Tagged 'Root <:.> (Tagged (Zippable structure) <:.> (Exactly <:*:> t))) @>>> Substance 'Root (Tagged (Zippable structure) <:.> (Exactly <:*:> t)) Source #
sub :: (Tagged (Zippable structure) <:.> (Exactly <:*:> t)) @>>> Substance 'Root (Tagged (Zippable structure) <:.> (Exactly <:*:> t)) Source #
type Substance 'Down (Tape t <::> Tape t) :: Type -> Type Source #
substructure :: (Tagged 'Down <:.> (Tape t <::> Tape t)) @>>> Substance 'Down (Tape t <::> Tape t) Source #
sub :: (Tape t <::> Tape t) @>>> Substance 'Down (Tape t <::> Tape t) Source #
type Substance 'Up (Tape t <::> Tape t) :: Type -> Type Source #
substructure :: (Tagged 'Up <:.> (Tape t <::> Tape t)) @>>> Substance 'Up (Tape t <::> Tape t) Source #
sub :: (Tape t <::> Tape t) @>>> Substance 'Up (Tape t <::> Tape t) Source #
(<-|-) :: (a -> b) -> Exactly a -> Exactly b Source #
(<-|--) :: (a -> b) -> Exactly a -> Exactly b Source #
(<-|---) :: (a -> b) -> Exactly a -> Exactly b Source #
(<-|----) :: (a -> b) -> Exactly a -> Exactly b Source #
(<-|-----) :: (a -> b) -> Exactly a -> Exactly b Source #
(<-|------) :: (a -> b) -> Exactly a -> Exactly b Source #
(<-|-------) :: (a -> b) -> Exactly a -> Exactly b Source #
(<-|--------) :: (a -> b) -> Exactly a -> Exactly b Source #
(<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Exactly) => (a -> b) -> Exactly (u a) -> Exactly (u b) Source #
(<-|-|--) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Exactly) => (a -> b) -> Exactly (u a) -> Exactly (u b) Source #
(<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Exactly) => (a -> b) -> Exactly (u a) -> Exactly (u b) Source #
(<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Exactly) => (a -> b) -> Exactly (u a) -> Exactly (u b) Source #
(<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Exactly) => (a -> b) -> Exactly (u a) -> Exactly (u b) Source #
(<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Exactly) => (a -> b) -> Exactly (u a) -> Exactly (u b) Source #
(<-|-|-------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Exactly) => (a -> b) -> Exactly (u a) -> Exactly (u b) Source #
(<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) Exactly) => (a -> b) -> Exactly (u (v a)) -> Exactly (u (v b)) Source #
(<<-) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Exactly a -> u (Exactly b) Source #
(<<-------) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Exactly a -> u (Exactly b) Source #
(<<------) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Exactly a -> u (Exactly b) Source #
(<<-----) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Exactly a -> u (Exactly b) Source #
(<<----) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Exactly a -> u (Exactly b) Source #
(<<---) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Exactly a -> u (Exactly b) Source #
(<<--) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Exactly a -> u (Exactly b) Source #
(-|) :: (Exactly a -> b) -> a -> Exactly b Source #
(|-) :: (a -> Exactly b) -> Exactly a -> b Source #
(|--------) :: (a -> Exactly b) -> Exactly a -> b Source #
(|-------) :: (a -> Exactly b) -> Exactly a -> b Source #
(|------) :: (a -> Exactly b) -> Exactly a -> b Source #
(|-----) :: (a -> Exactly b) -> Exactly a -> b Source #
(|----) :: (a -> Exactly b) -> Exactly a -> b Source #
(|---) :: (a -> Exactly b) -> Exactly a -> b Source #
(|--) :: (a -> Exactly b) -> Exactly a -> b Source #
(--------|) :: (Exactly a -> b) -> a -> Exactly b Source #
(-------|) :: (Exactly a -> b) -> a -> Exactly b Source #
(------|) :: (Exactly a -> b) -> a -> Exactly b Source #
(-----|) :: (Exactly a -> b) -> a -> Exactly b Source #
(----|) :: (Exactly a -> b) -> a -> Exactly b Source #
(---|) :: (Exactly a -> b) -> a -> Exactly b Source #
(--|) :: (Exactly a -> b) -> a -> Exactly b Source #
(<<-) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Tape t a -> u (Tape t b) Source #
(<<-------) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Tape t a -> u (Tape t b) Source #
(<<------) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Tape t a -> u (Tape t b) Source #
(<<-----) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Tape t a -> u (Tape t b) Source #
(<<----) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Tape t a -> u (Tape t b) Source #
(<<---) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Tape t a -> u (Tape t b) Source #
(<<--) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Tape t a -> u (Tape t 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 #