Safe Haskell | Safe |
---|---|
Language | Haskell98 |
Lens.Family.State.Strict
Description
Synopsis
- zoom :: Monad m => LensLike' (Zooming m c) a b -> StateT b m c -> StateT a m c
- use :: Monad m => FoldLike b a a' b b' -> StateT a m b
- uses :: Monad m => FoldLike r a a' b b' -> (b -> r) -> StateT a m r
- (%=) :: Monad m => ASetter a a b b' -> (b -> b') -> StateT a m ()
- assign :: Monad m => ASetter a a b b' -> b' -> StateT a m ()
- (.=) :: Monad m => ASetter a a b b' -> b' -> StateT a m ()
- (%%=) :: Monad m => LensLike (Writer c) a a b b' -> (b -> (c, b')) -> StateT a m c
- (<~) :: Monad m => ASetter a a b b' -> StateT a m b' -> StateT a m ()
- (+=) :: (Monad m, Num b) => ASetter' a b -> b -> StateT a m ()
- (-=) :: (Monad m, Num b) => ASetter' a b -> b -> StateT a m ()
- (*=) :: (Monad m, Num b) => ASetter' a b -> b -> StateT a m ()
- (//=) :: (Monad m, Fractional b) => ASetter' a b -> b -> StateT a m ()
- (&&=) :: Monad m => ASetter' a Bool -> Bool -> StateT a m ()
- (||=) :: Monad m => ASetter' a Bool -> Bool -> StateT a m ()
- (<>=) :: (Monoid o, Monad m) => ASetter' a o -> o -> StateT a m ()
- (%!=) :: Monad m => ASetter a a b b' -> (b -> b') -> StateT a m ()
- (+!=) :: (Monad m, Num b) => ASetter' a b -> b -> StateT a m ()
- (-!=) :: (Monad m, Num b) => ASetter' a b -> b -> StateT a m ()
- (*!=) :: (Monad m, Num b) => ASetter' a b -> b -> StateT a m ()
- (//!=) :: (Monad m, Fractional b) => ASetter' a b -> b -> StateT a m ()
- (&&!=) :: Monad m => ASetter' a Bool -> Bool -> StateT a m ()
- (||!=) :: Monad m => ASetter' a Bool -> Bool -> StateT a m ()
- (<>!=) :: (Monoid o, Monad m) => ASetter' a o -> o -> StateT a m ()
- data Zooming m c a
- type LensLike f a a' b b' = (b -> f b') -> a -> f a'
- type LensLike' f a b = (b -> f b) -> a -> f a
- type FoldLike r a a' b b' = LensLike (Constant r) a a' b b'
- data Constant a (b :: k) :: forall k. Type -> k -> Type
- type ASetter a a' b b' = LensLike Identity a a' b b'
- type ASetter' a b = LensLike' Identity a b
- data Identity a
- data StateT s (m :: Type -> Type) a
- type Writer w = WriterT w Identity
- class Semigroup a => Monoid a
Documentation
zoom :: Monad m => LensLike' (Zooming m c) a b -> StateT b m c -> StateT a m c Source #
zoom :: Monad m => Lens' a b -> StateT b m c -> StateT a m c
Lift a stateful operation on a field to a stateful operation on the whole state. This is a good way to call a "subroutine" that only needs access to part of the state.
zoom :: (Monoid c, Monad m) => Traversal' a b -> StateT b m c -> StateT a m c
Run the "subroutine" on each element of the traversal in turn and mconcat
all the results together.
zoom :: Monad m => Traversal' a b -> StateT b m () -> StateT a m ()
Run the "subroutine" on each element the traversal in turn.
use :: Monad m => FoldLike b a a' b b' -> StateT a m b Source #
use :: Monad m => Getter a a' b b' -> StateT a m b
Retrieve a field of the state
use :: (Monoid b, Monad m) => Fold a a' b b' -> StateT a m b
Retrieve a monoidal summary of all the referenced fields from the state
uses :: Monad m => FoldLike r a a' b b' -> (b -> r) -> StateT a m r Source #
uses :: (Monoid r, Monad m) => Fold a a' b b' -> (b -> r) -> StateT a m r
Retrieve all the referenced fields from the state and foldMap the results together with f :: b -> r
.
uses :: Monad m => Getter a a' b b' -> (b -> r) -> StateT a m r
Retrieve a field of the state and pass it through the function f :: b -> r
.
uses l f = f <$> use l
(%=) :: Monad m => ASetter a a b b' -> (b -> b') -> StateT a m () infix 4 Source #
Modify a field of the state.
(.=) :: Monad m => ASetter a a b b' -> b' -> StateT a m () infix 4 Source #
Set a field of the state.
(%%=) :: Monad m => LensLike (Writer c) a a b b' -> (b -> (c, b')) -> StateT a m c infix 4 Source #
(%%=) :: Monad m => Lens a a b b' -> (b -> (c, b')) -> StateT a m c
Modify a field of the state while returning another value.
(%%=) :: (Monad m, Monoid c) => Traversal a a b b' -> (b -> (c, b')) -> StateT a m c
Modify each field of the state and return the mconcat
of the other values.
(<~) :: Monad m => ASetter a a b b' -> StateT a m b' -> StateT a m () infixr 2 Source #
Set a field of the state using the result of executing a stateful command.
Compound Assignments
(<>=) :: (Monoid o, Monad m) => ASetter' a o -> o -> StateT a m () infixr 4 Source #
Monoidally append a value to all referenced fields of the state.
Strict Assignments
(%!=) :: Monad m => ASetter a a b b' -> (b -> b') -> StateT a m () infix 4 Source #
Strictly modify a field of the state.
Types
Instances
Monad m => Functor (Zooming m c) Source # | |
(Monoid c, Monad m) => Applicative (Zooming m c) Source # | |
Defined in Lens.Family.State.Zoom |
Re-exports
data Constant a (b :: k) :: forall k. Type -> k -> Type #
Instances
Bifoldable (Constant :: Type -> Type -> Type) | |
Bifunctor (Constant :: Type -> Type -> Type) | |
Bitraversable (Constant :: Type -> Type -> Type) | |
Defined in Data.Functor.Constant Methods bitraverse :: Applicative f => (a -> f c) -> (b -> f d) -> Constant a b -> f (Constant c d) | |
Eq2 (Constant :: Type -> Type -> Type) | |
Defined in Data.Functor.Constant | |
Ord2 (Constant :: Type -> Type -> Type) | |
Defined in Data.Functor.Constant Methods liftCompare2 :: (a -> b -> Ordering) -> (c -> d -> Ordering) -> Constant a c -> Constant b d -> Ordering | |
Read2 (Constant :: Type -> Type -> Type) | |
Defined in Data.Functor.Constant Methods liftReadsPrec2 :: (Int -> ReadS a) -> ReadS [a] -> (Int -> ReadS b) -> ReadS [b] -> Int -> ReadS (Constant a b) liftReadList2 :: (Int -> ReadS a) -> ReadS [a] -> (Int -> ReadS b) -> ReadS [b] -> ReadS [Constant a b] liftReadPrec2 :: ReadPrec a -> ReadPrec [a] -> ReadPrec b -> ReadPrec [b] -> ReadPrec (Constant a b) liftReadListPrec2 :: ReadPrec a -> ReadPrec [a] -> ReadPrec b -> ReadPrec [b] -> ReadPrec [Constant a b] | |
Show2 (Constant :: Type -> Type -> Type) | |
Defined in Data.Functor.Constant Methods liftShowsPrec2 :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> (Int -> b -> ShowS) -> ([b] -> ShowS) -> Int -> Constant a b -> ShowS liftShowList2 :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> (Int -> b -> ShowS) -> ([b] -> ShowS) -> [Constant a b] -> ShowS | |
Functor (Constant a :: Type -> Type) | |
Monoid a => Applicative (Constant a :: Type -> Type) | |
Defined in Data.Functor.Constant | |
Foldable (Constant a :: Type -> Type) | |
Defined in Data.Functor.Constant Methods fold :: Monoid m => Constant a m -> m foldMap :: Monoid m => (a0 -> m) -> Constant a a0 -> m foldr :: (a0 -> b -> b) -> b -> Constant a a0 -> b foldr' :: (a0 -> b -> b) -> b -> Constant a a0 -> b foldl :: (b -> a0 -> b) -> b -> Constant a a0 -> b foldl' :: (b -> a0 -> b) -> b -> Constant a a0 -> b foldr1 :: (a0 -> a0 -> a0) -> Constant a a0 -> a0 foldl1 :: (a0 -> a0 -> a0) -> Constant a a0 -> a0 toList :: Constant a a0 -> [a0] length :: Constant a a0 -> Int elem :: Eq a0 => a0 -> Constant a a0 -> Bool maximum :: Ord a0 => Constant a a0 -> a0 minimum :: Ord a0 => Constant a a0 -> a0 | |
Traversable (Constant a :: Type -> Type) | |
Defined in Data.Functor.Constant | |
Contravariant (Constant a :: Type -> Type) | |
Eq a => Eq1 (Constant a :: Type -> Type) | |
Defined in Data.Functor.Constant | |
Ord a => Ord1 (Constant a :: Type -> Type) | |
Defined in Data.Functor.Constant Methods liftCompare :: (a0 -> b -> Ordering) -> Constant a a0 -> Constant a b -> Ordering | |
Read a => Read1 (Constant a :: Type -> Type) | |
Defined in Data.Functor.Constant Methods liftReadsPrec :: (Int -> ReadS a0) -> ReadS [a0] -> Int -> ReadS (Constant a a0) liftReadList :: (Int -> ReadS a0) -> ReadS [a0] -> ReadS [Constant a a0] liftReadPrec :: ReadPrec a0 -> ReadPrec [a0] -> ReadPrec (Constant a a0) liftReadListPrec :: ReadPrec a0 -> ReadPrec [a0] -> ReadPrec [Constant a a0] | |
Show a => Show1 (Constant a :: Type -> Type) | |
Defined in Data.Functor.Constant Methods liftShowsPrec :: (Int -> a0 -> ShowS) -> ([a0] -> ShowS) -> Int -> Constant a a0 -> ShowS liftShowList :: (Int -> a0 -> ShowS) -> ([a0] -> ShowS) -> [Constant a a0] -> ShowS | |
Phantom (Constant a :: Type -> Type) Source # | |
Defined in Lens.Family.Phantom | |
Eq a => Eq (Constant a b) | |
Ord a => Ord (Constant a b) | |
Defined in Data.Functor.Constant | |
Read a => Read (Constant a b) | |
Defined in Data.Functor.Constant | |
Show a => Show (Constant a b) | |
Semigroup a => Semigroup (Constant a b) | |
Monoid a => Monoid (Constant a b) | |
Instances
Monad Identity | |
Functor Identity | |
MonadFix Identity | |
Defined in Data.Functor.Identity | |
Applicative Identity | |
Foldable Identity | |
Defined in Data.Functor.Identity Methods fold :: Monoid m => Identity m -> m foldMap :: Monoid m => (a -> m) -> Identity a -> m foldr :: (a -> b -> b) -> b -> Identity a -> b foldr' :: (a -> b -> b) -> b -> Identity a -> b foldl :: (b -> a -> b) -> b -> Identity a -> b foldl' :: (b -> a -> b) -> b -> Identity a -> b foldr1 :: (a -> a -> a) -> Identity a -> a foldl1 :: (a -> a -> a) -> Identity a -> a elem :: Eq a => a -> Identity a -> Bool maximum :: Ord a => Identity a -> a minimum :: Ord a => Identity a -> a | |
Traversable Identity | |
Defined in Data.Traversable | |
Eq1 Identity | |
Defined in Data.Functor.Classes | |
Ord1 Identity | |
Defined in Data.Functor.Classes Methods liftCompare :: (a -> b -> Ordering) -> Identity a -> Identity b -> Ordering | |
Read1 Identity | |
Defined in Data.Functor.Classes Methods liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (Identity a) liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [Identity a] liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (Identity a) liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [Identity a] | |
Show1 Identity | |
Defined in Data.Functor.Classes Methods liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> Identity a -> ShowS liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [Identity a] -> ShowS | |
Identical Identity Source # | |
Defined in Lens.Family.Identical | |
Bounded a => Bounded (Identity a) | |
Defined in Data.Functor.Identity | |
Enum a => Enum (Identity a) | |
Defined in Data.Functor.Identity | |
Eq a => Eq (Identity a) | |
Floating a => Floating (Identity a) | |
Defined in Data.Functor.Identity Methods exp :: Identity a -> Identity a log :: Identity a -> Identity a sqrt :: Identity a -> Identity a (**) :: Identity a -> Identity a -> Identity a logBase :: Identity a -> Identity a -> Identity a sin :: Identity a -> Identity a cos :: Identity a -> Identity a tan :: Identity a -> Identity a asin :: Identity a -> Identity a acos :: Identity a -> Identity a atan :: Identity a -> Identity a sinh :: Identity a -> Identity a cosh :: Identity a -> Identity a tanh :: Identity a -> Identity a asinh :: Identity a -> Identity a acosh :: Identity a -> Identity a atanh :: Identity a -> Identity a log1p :: Identity a -> Identity a expm1 :: Identity a -> Identity a | |
Fractional a => Fractional (Identity a) | |
Defined in Data.Functor.Identity | |
Integral a => Integral (Identity a) | |
Defined in Data.Functor.Identity Methods quot :: Identity a -> Identity a -> Identity a rem :: Identity a -> Identity a -> Identity a div :: Identity a -> Identity a -> Identity a mod :: Identity a -> Identity a -> Identity a quotRem :: Identity a -> Identity a -> (Identity a, Identity a) divMod :: Identity a -> Identity a -> (Identity a, Identity a) | |
Num a => Num (Identity a) | |
Defined in Data.Functor.Identity | |
Ord a => Ord (Identity a) | |
Read a => Read (Identity a) | |
Defined in Data.Functor.Identity | |
Real a => Real (Identity a) | |
Defined in Data.Functor.Identity Methods toRational :: Identity a -> Rational | |
RealFloat a => RealFloat (Identity a) | |
Defined in Data.Functor.Identity Methods floatRadix :: Identity a -> Integer floatDigits :: Identity a -> Int floatRange :: Identity a -> (Int, Int) decodeFloat :: Identity a -> (Integer, Int) encodeFloat :: Integer -> Int -> Identity a significand :: Identity a -> Identity a scaleFloat :: Int -> Identity a -> Identity a isInfinite :: Identity a -> Bool isDenormalized :: Identity a -> Bool isNegativeZero :: Identity a -> Bool | |
RealFrac a => RealFrac (Identity a) | |
Show a => Show (Identity a) | |
Ix a => Ix (Identity a) | |
Defined in Data.Functor.Identity Methods range :: (Identity a, Identity a) -> [Identity a] index :: (Identity a, Identity a) -> Identity a -> Int unsafeIndex :: (Identity a, Identity a) -> Identity a -> Int inRange :: (Identity a, Identity a) -> Identity a -> Bool rangeSize :: (Identity a, Identity a) -> Int unsafeRangeSize :: (Identity a, Identity a) -> Int | |
Generic (Identity a) | |
Semigroup a => Semigroup (Identity a) | |
Monoid a => Monoid (Identity a) | |
Bits a => Bits (Identity a) | |
Defined in Data.Functor.Identity Methods (.&.) :: Identity a -> Identity a -> Identity a (.|.) :: Identity a -> Identity a -> Identity a xor :: Identity a -> Identity a -> Identity a complement :: Identity a -> Identity a shift :: Identity a -> Int -> Identity a rotate :: Identity a -> Int -> Identity a setBit :: Identity a -> Int -> Identity a clearBit :: Identity a -> Int -> Identity a complementBit :: Identity a -> Int -> Identity a testBit :: Identity a -> Int -> Bool bitSizeMaybe :: Identity a -> Maybe Int isSigned :: Identity a -> Bool shiftL :: Identity a -> Int -> Identity a unsafeShiftL :: Identity a -> Int -> Identity a shiftR :: Identity a -> Int -> Identity a unsafeShiftR :: Identity a -> Int -> Identity a rotateL :: Identity a -> Int -> Identity a | |
FiniteBits a => FiniteBits (Identity a) | |
Defined in Data.Functor.Identity Methods finiteBitSize :: Identity a -> Int countLeadingZeros :: Identity a -> Int countTrailingZeros :: Identity a -> Int | |
Storable a => Storable (Identity a) | |
Defined in Data.Functor.Identity Methods alignment :: Identity a -> Int peekElemOff :: Ptr (Identity a) -> Int -> IO (Identity a) pokeElemOff :: Ptr (Identity a) -> Int -> Identity a -> IO () peekByteOff :: Ptr b -> Int -> IO (Identity a) pokeByteOff :: Ptr b -> Int -> Identity a -> IO () | |
Generic1 Identity | |
type Rep (Identity a) | |
Defined in Data.Functor.Identity type Rep (Identity a) = D1 (MetaData "Identity" "Data.Functor.Identity" "base" True) (C1 (MetaCons "Identity" PrefixI True) (S1 (MetaSel (Just "runIdentity") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a))) | |
type Rep1 Identity | |
Defined in Data.Functor.Identity type Rep1 Identity = D1 (MetaData "Identity" "Data.Functor.Identity" "base" True) (C1 (MetaCons "Identity" PrefixI True) (S1 (MetaSel (Just "runIdentity") NoSourceUnpackedness NoSourceStrictness DecidedLazy) Par1)) |
data StateT s (m :: Type -> Type) a #
Instances
MonadTrans (StateT s) | |
Defined in Control.Monad.Trans.State.Strict | |
Monad m => Monad (StateT s m) | |
Functor m => Functor (StateT s m) | |
MonadFix m => MonadFix (StateT s m) | |
Defined in Control.Monad.Trans.State.Strict | |
MonadFail m => MonadFail (StateT s m) | |
Defined in Control.Monad.Trans.State.Strict | |
(Functor m, Monad m) => Applicative (StateT s m) | |
Defined in Control.Monad.Trans.State.Strict | |
(Functor m, MonadPlus m) => Alternative (StateT s m) | |
Contravariant m => Contravariant (StateT s m) | |
MonadPlus m => MonadPlus (StateT s m) | |
MonadIO m => MonadIO (StateT s m) | |
Defined in Control.Monad.Trans.State.Strict |
class Semigroup a => Monoid a #
Minimal complete definition
mempty
Instances
Monoid Ordering | |
Monoid () | |
Monoid Any | |
Monoid All | |
Monoid IntSet | |
Defined in Data.IntSet.Internal | |
Monoid [a] | |
Semigroup a => Monoid (Maybe a) | |
Monoid a => Monoid (IO a) | |
Monoid p => Monoid (Par1 p) | |
Defined in GHC.Generics | |
Num a => Monoid (Product a) | |
Num a => Monoid (Sum a) | |
Monoid a => Monoid (Identity a) | |
Monoid a => Monoid (Dual a) | |
Defined in Data.Semigroup.Internal | |
Monoid (Endo a) | |
Defined in Data.Semigroup.Internal | |
Monoid (First a) | |
Monoid (Last a) | |
Monoid a => Monoid (Down a) | |
Monoid (IntMap a) | |
Defined in Data.IntMap.Internal | |
Ord a => Monoid (Set a) | |
Defined in Data.Set.Internal | |
Monoid (MergeSet a) | |
Defined in Data.Set.Internal | |
Monoid b => Monoid (a -> b) | |
Monoid (U1 p) | |
Defined in GHC.Generics | |
(Monoid a, Monoid b) => Monoid (a, b) | |
Monoid (Proxy s) | |
Defined in Data.Proxy | |
Ord k => Monoid (Map k v) | |
Defined in Data.Map.Internal | |
Monoid (f p) => Monoid (Rec1 f p) | |
Defined in GHC.Generics | |
(Monoid a, Monoid b, Monoid c) => Monoid (a, b, c) | |
Monoid a => Monoid (Const a b) | |
Defined in Data.Functor.Const | |
Monoid a => Monoid (Constant a b) | |
(Applicative f, Monoid a) => Monoid (Ap f a) | |
Defined in Data.Monoid | |
Alternative f => Monoid (Alt f a) | |
Defined in Data.Semigroup.Internal | |
Monoid c => Monoid (K1 i c p) | |
Defined in GHC.Generics | |
(Monoid (f p), Monoid (g p)) => Monoid ((f :*: g) p) | |
Defined in GHC.Generics | |
(Monoid a, Monoid b, Monoid c, Monoid d) => Monoid (a, b, c, d) | |
Monoid (f p) => Monoid (M1 i c f p) | |
Defined in GHC.Generics | |
Monoid (f (g p)) => Monoid ((f :.: g) p) | |
Defined in GHC.Generics | |
(Monoid a, Monoid b, Monoid c, Monoid d, Monoid e) => Monoid (a, b, c, d, e) | |