Copyright | (C) 2012-2016 Edward Kmett |
---|---|
License | BSD-style (see the file LICENSE) |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Stability | experimental |
Portability | non-portable |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
Control.Lens.Internal.Magma
Contents
Description
Synopsis
- data Magma i t b a where
- runMagma :: Magma i t a a -> t
- newtype Molten i a b t = Molten {}
- data Mafic a b t = Mafic Int (Int -> Magma Int t b a)
- runMafic :: Mafic a b t -> Magma Int t b a
- data TakingWhile p (g :: * -> *) a b t = TakingWhile Bool t (Bool -> Magma () t b (Corep p a))
- runTakingWhile :: TakingWhile p f a b t -> Magma () t b (Corep p a)
Magma
data Magma i t b a where Source #
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
TraversableWithIndex i (Magma i t b) Source # | |
Defined in Control.Lens.Indexed | |
FoldableWithIndex i (Magma i t b) Source # | |
Defined in Control.Lens.Indexed Methods ifoldMap :: Monoid m => (i -> a -> m) -> Magma i t b a -> m Source # ifolded :: IndexedFold i (Magma i t b a) a Source # ifoldr :: (i -> a -> b0 -> b0) -> b0 -> Magma i t b a -> b0 Source # ifoldl :: (i -> b0 -> a -> b0) -> b0 -> Magma i t b a -> b0 Source # ifoldr' :: (i -> a -> b0 -> b0) -> b0 -> Magma i t b a -> b0 Source # ifoldl' :: (i -> b0 -> a -> b0) -> b0 -> Magma i t b a -> b0 Source # | |
FunctorWithIndex i (Magma i t b) Source # | |
Functor (Magma i t b) Source # | |
Foldable (Magma i t b) Source # | |
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 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] 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 | |
Traversable (Magma i t b) Source # | |
Defined in Control.Lens.Internal.Magma | |
(Show i, Show a) => Show (Magma i t b a) Source # | |
runMagma :: Magma i t a a -> t Source #
Run a Magma
where all the individual leaves have been converted to the
expected type
Molten
newtype Molten i a b t Source #
This is a a non-reassociating initially encoded version of Bazaar
.
Instances
IndexedComonad (Molten i) Source # | |
IndexedFunctor (Molten i) Source # | |
Sellable (Indexed i) (Molten i) Source # | |
Bizarre (Indexed i) (Molten i) Source # | |
Functor (Molten i a b) Source # | |
Applicative (Molten i a b) Source # | |
Defined in Control.Lens.Internal.Magma | |
a ~ b => Comonad (Molten i a b) Source # | |
Apply (Molten i a b) Source # | |
Defined in Control.Lens.Internal.Magma |
Mafic
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.
TakingWhile
data TakingWhile p (g :: * -> *) a b t Source #
This is used to generate an indexed magma from an unindexed source
By constructing it this way we avoid infinite reassociations where possible.
In
, TakingWhile
p g a b tg
has a nominal
role to avoid exposing an illegal _|_ via Contravariant
,
while the remaining arguments are degraded to a nominal
role by the invariants of Magma
Constructors
TakingWhile Bool t (Bool -> Magma () t b (Corep p a)) |
Instances
Corepresentable p => Bizarre p (TakingWhile p g) Source # | |
Defined in Control.Lens.Internal.Magma Methods bazaar :: Applicative f => p a (f b) -> TakingWhile p g a b t -> f t Source # | |
IndexedFunctor (TakingWhile p f) Source # | |
Defined in Control.Lens.Internal.Magma Methods ifmap :: (s -> t) -> TakingWhile p f a b s -> TakingWhile p f a b t Source # | |
Functor (TakingWhile p f a b) Source # | |
Defined in Control.Lens.Internal.Magma Methods fmap :: (a0 -> b0) -> TakingWhile p f a b a0 -> TakingWhile p f a b b0 (<$) :: a0 -> TakingWhile p f a b b0 -> TakingWhile p f a b a0 | |
Applicative (TakingWhile p f a b) Source # | |
Defined in Control.Lens.Internal.Magma Methods pure :: a0 -> TakingWhile p f a b a0 (<*>) :: TakingWhile p f a b (a0 -> b0) -> TakingWhile p f a b a0 -> TakingWhile p f a b b0 liftA2 :: (a0 -> b0 -> c) -> TakingWhile p f a b a0 -> TakingWhile p f a b b0 -> TakingWhile p f a b c (*>) :: TakingWhile p f a b a0 -> TakingWhile p f a b b0 -> TakingWhile p f a b b0 (<*) :: TakingWhile p f a b a0 -> TakingWhile p f a b b0 -> TakingWhile p f a b a0 | |
Contravariant f => Contravariant (TakingWhile p f a b) Source # | |
Defined in Control.Lens.Internal.Magma Methods contramap :: (a0 -> b0) -> TakingWhile p f a b b0 -> TakingWhile p f a b a0 # (>$) :: b0 -> TakingWhile p f a b b0 -> TakingWhile p f a b a0 # | |
Apply (TakingWhile p f a b) Source # | |
Defined in Control.Lens.Internal.Magma Methods (<.>) :: TakingWhile p f a b (a0 -> b0) -> TakingWhile p f a b a0 -> TakingWhile p f a b b0 (.>) :: TakingWhile p f a b a0 -> TakingWhile p f a b b0 -> TakingWhile p f a b b0 (<.) :: TakingWhile p f a b a0 -> TakingWhile p f a b b0 -> TakingWhile p f a b a0 liftF2 :: (a0 -> b0 -> c) -> TakingWhile p f a b a0 -> TakingWhile p f a b b0 -> TakingWhile p f a b c |
runTakingWhile :: TakingWhile p f a b t -> Magma () t b (Corep p a) Source #
Generate a Magma
with leaves only while the predicate holds from left to right.