Control.Lens.Internal.Magma

Magma

data Magma i t b a where

This provides a way to peek at the internal structure of a Traversal or IndexedTraversal

Constructors

MagmaAp :: Magma i (x -> y) b a -> Magma i x b a -> Magma i y b a

MagmaPure :: x -> Magma i x b a

MagmaFmap :: (x -> y) -> Magma i x b a -> Magma i y b a

Magma :: i -> a -> Magma i b b a

Instances

Functor (Magma i t b)

Defined in Control.Lens.Internal.Magma

Methods

fmap :: (a -> b0) -> Magma i t b a -> Magma i t b b0

(<$) :: a -> Magma i t b b0 -> Magma i t b a

Foldable (Magma i t b)

Defined in Control.Lens.Internal.Magma

Methods

fold :: Monoid m => Magma i t b m -> m

foldMap :: Monoid m => (a -> m) -> Magma i t b a -> m

foldr :: (a -> b0 -> b0) -> b0 -> Magma i t b a -> b0

foldr' :: (a -> b0 -> b0) -> b0 -> Magma i t b a -> b0

foldl :: (b0 -> a -> b0) -> b0 -> Magma i t b a -> b0

foldl' :: (b0 -> a -> b0) -> b0 -> Magma i t b a -> b0

foldr1 :: (a -> a -> a) -> Magma i t b a -> a

foldl1 :: (a -> a -> a) -> Magma i t b a -> a

toList :: Magma i t b a -> [a]

null :: Magma i t b a -> Bool

length :: Magma i t b a -> Int

elem :: Eq a => a -> Magma i t b a -> Bool

maximum :: Ord a => Magma i t b a -> a

minimum :: Ord a => Magma i t b a -> a

sum :: Num a => Magma i t b a -> a

product :: Num a => Magma i t b a -> a

Traversable (Magma i t b)

Defined in Control.Lens.Internal.Magma

Methods

traverse :: Applicative f => (a -> f b0) -> Magma i t b a -> f (Magma i t b b0)

sequenceA :: Applicative f => Magma i t b (f a) -> f (Magma i t b a)

mapM :: Monad m => (a -> m b0) -> Magma i t b a -> m (Magma i t b b0)

sequence :: Monad m => Magma i t b (m a) -> m (Magma i t b a)

(Show i, Show a) => Show (Magma i t b a)

Defined in Control.Lens.Internal.Magma

Methods

showsPrec :: Int -> Magma i t b a -> ShowS

show :: Magma i t b a -> String

showList :: [Magma i t b a] -> ShowS

runMagma :: Magma i t a a -> t

Run a Magma where all the individual leaves have been converted to the expected type

Molten

newtype Molten i a b t

This is a a non-reassociating initially encoded version of Bazaar.

Constructors

Molten

Fields

• runMolten :: Magma i t b a

Instances

IndexedComonad (Molten i)

Defined in Control.Lens.Internal.Magma

Methods

iextract :: Molten i a a t -> t

iduplicate :: Molten i a c t -> Molten i a b (Molten i b c t)

iextend :: (Molten i b c t -> r) -> Molten i a c t -> Molten i a b r

IndexedFunctor (Molten i)

Defined in Control.Lens.Internal.Magma

Methods

ifmap :: (s -> t) -> Molten i a b s -> Molten i a b t

Functor (Molten i a b)

Defined in Control.Lens.Internal.Magma

Methods

fmap :: (a0 -> b0) -> Molten i a b a0 -> Molten i a b b0

(<$) :: a0 -> Molten i a b b0 -> Molten i a b a0

Applicative (Molten i a b)

Defined in Control.Lens.Internal.Magma

Methods

pure :: a0 -> Molten i a b a0

(<*>) :: Molten i a b (a0 -> b0) -> Molten i a b a0 -> Molten i a b b0

liftA2 :: (a0 -> b0 -> c) -> Molten i a b a0 -> Molten i a b b0 -> Molten i a b c

(*>) :: Molten i a b a0 -> Molten i a b b0 -> Molten i a b b0

(<*) :: Molten i a b a0 -> Molten i a b b0 -> Molten i a b a0

a ~ b => Comonad (Molten i a b)

Defined in Control.Lens.Internal.Magma

Methods

copure :: Molten i a b a0 -> a0

cut :: Molten i a b a0 -> Molten i a b (Molten i a b a0)

(<<=) :: (Molten i a b a0 -> b0) -> Molten i a b a0 -> Molten i a b b0

Mafic

data Mafic a b t

This is used to generate an indexed magma from an unindexed source

By constructing it this way we avoid infinite reassociations in sums where possible.

Constructors

Mafic Int (Int -> Magma Int t b a)

Instances

IndexedFunctor Mafic

Defined in Control.Lens.Internal.Magma

Methods

ifmap :: (s -> t) -> Mafic a b s -> Mafic a b t

Functor (Mafic a b)

Defined in Control.Lens.Internal.Magma

Methods

fmap :: (a0 -> b0) -> Mafic a b a0 -> Mafic a b b0

(<$) :: a0 -> Mafic a b b0 -> Mafic a b a0

Applicative (Mafic a b)

Defined in Control.Lens.Internal.Magma

Methods

pure :: a0 -> Mafic a b a0

(<*>) :: Mafic a b (a0 -> b0) -> Mafic a b a0 -> Mafic a b b0

liftA2 :: (a0 -> b0 -> c) -> Mafic a b a0 -> Mafic a b b0 -> Mafic a b c

(*>) :: Mafic a b a0 -> Mafic a b b0 -> Mafic a b b0

(<*) :: Mafic a b a0 -> Mafic a b b0 -> Mafic a b a0

runMafic :: Mafic a b t -> Magma Int t b a

Generate a Magma using from a prefix sum.