yam 0.5.8 → 0.5.9
raw patch · 10 files changed
+29/−10 lines, 10 filesPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
API changes (from Hackage documentation)
- Yam.Swagger: (#%%=) :: MonadState s m => ALens s s a b -> (a -> (r, b)) -> m r
- Yam.Swagger: (#%%~) :: Functor f => ALens s t a b -> (a -> f b) -> s -> f t
- Yam.Swagger: (#%=) :: MonadState s m => ALens s s a b -> (a -> b) -> m ()
- Yam.Swagger: (#%~) :: () => ALens s t a b -> (a -> b) -> s -> t
- Yam.Swagger: (#) :: () => AReview t b -> b -> t
- Yam.Swagger: (#=) :: MonadState s m => ALens s s a b -> b -> m ()
- Yam.Swagger: (#~) :: () => ALens s t a b -> b -> s -> t
- Yam.Swagger: (%%=) :: MonadState s m => Over p ((,) r) s s a b -> p a (r, b) -> m r
- Yam.Swagger: (%%@=) :: MonadState s m => Over (Indexed i) ((,) r) s s a b -> (i -> a -> (r, b)) -> m r
- Yam.Swagger: (%%@~) :: () => Over (Indexed i) f s t a b -> (i -> a -> f b) -> s -> f t
- Yam.Swagger: (%%~) :: () => LensLike f s t a b -> (a -> f b) -> s -> f t
- Yam.Swagger: (%=) :: MonadState s m => ASetter s s a b -> (a -> b) -> m ()
- Yam.Swagger: (%@=) :: MonadState s m => AnIndexedSetter i s s a b -> (i -> a -> b) -> m ()
- Yam.Swagger: (%@~) :: () => AnIndexedSetter i s t a b -> (i -> a -> b) -> s -> t
- Yam.Swagger: (%~) :: () => ASetter s t a b -> (a -> b) -> s -> t
- Yam.Swagger: (&&=) :: MonadState s m => ASetter' s Bool -> Bool -> m ()
- Yam.Swagger: (&&~) :: () => ASetter s t Bool Bool -> Bool -> s -> t
- Yam.Swagger: (&) :: () => a -> (a -> b) -> b
- Yam.Swagger: (&~) :: () => s -> State s a -> s
- Yam.Swagger: (**=) :: (MonadState s m, Floating a) => ASetter' s a -> a -> m ()
- Yam.Swagger: (**~) :: Floating a => ASetter s t a a -> a -> s -> t
- Yam.Swagger: (*=) :: (MonadState s m, Num a) => ASetter' s a -> a -> m ()
- Yam.Swagger: (*~) :: Num a => ASetter s t a a -> a -> s -> t
- Yam.Swagger: (+=) :: (MonadState s m, Num a) => ASetter' s a -> a -> m ()
- Yam.Swagger: (+~) :: Num a => ASetter s t a a -> a -> s -> t
- Yam.Swagger: (-=) :: (MonadState s m, Num a) => ASetter' s a -> a -> m ()
- Yam.Swagger: (-~) :: Num a => ASetter s t a a -> a -> s -> t
- Yam.Swagger: (...) :: (Applicative f, Plated c) => LensLike f s t c c -> Over p f c c a b -> Over p f s t a b
- Yam.Swagger: (.>) :: () => (st -> r) -> (kab -> st) -> kab -> r
- Yam.Swagger: (.@=) :: MonadState s m => AnIndexedSetter i s s a b -> (i -> b) -> m ()
- Yam.Swagger: (.@~) :: () => AnIndexedSetter i s t a b -> (i -> b) -> s -> t
- Yam.Swagger: (.~) :: () => ASetter s t a b -> b -> s -> t
- Yam.Swagger: (//=) :: (MonadState s m, Fractional a) => ASetter' s a -> a -> m ()
- Yam.Swagger: (//~) :: Fractional a => ASetter s t a a -> a -> s -> t
- Yam.Swagger: (<#%=) :: MonadState s m => ALens s s a b -> (a -> b) -> m b
- Yam.Swagger: (<#%~) :: () => ALens s t a b -> (a -> b) -> s -> (b, t)
- Yam.Swagger: (<#=) :: MonadState s m => ALens s s a b -> b -> m b
- Yam.Swagger: (<#~) :: () => ALens s t a b -> b -> s -> (b, t)
- Yam.Swagger: (<%=) :: MonadState s m => LensLike ((,) b) s s a b -> (a -> b) -> m b
- Yam.Swagger: (<%@=) :: MonadState s m => Over (Indexed i) ((,) b) s s a b -> (i -> a -> b) -> m b
- Yam.Swagger: (<%@~) :: () => Over (Indexed i) ((,) b) s t a b -> (i -> a -> b) -> s -> (b, t)
- Yam.Swagger: (<%~) :: () => LensLike ((,) b) s t a b -> (a -> b) -> s -> (b, t)
- Yam.Swagger: (<&&=) :: MonadState s m => LensLike' ((,) Bool) s Bool -> Bool -> m Bool
- Yam.Swagger: (<&&~) :: () => LensLike ((,) Bool) s t Bool Bool -> Bool -> s -> (Bool, t)
- Yam.Swagger: (<&>) :: Functor f => f a -> (a -> b) -> f b
- Yam.Swagger: (<**=) :: (MonadState s m, Floating a) => LensLike' ((,) a) s a -> a -> m a
- Yam.Swagger: (<**~) :: Floating a => LensLike ((,) a) s t a a -> a -> s -> (a, t)
- Yam.Swagger: (<*=) :: (MonadState s m, Num a) => LensLike' ((,) a) s a -> a -> m a
- Yam.Swagger: (<*~) :: Num a => LensLike ((,) a) s t a a -> a -> s -> (a, t)
- Yam.Swagger: (<+=) :: (MonadState s m, Num a) => LensLike' ((,) a) s a -> a -> m a
- Yam.Swagger: (<+~) :: Num a => LensLike ((,) a) s t a a -> a -> s -> (a, t)
- Yam.Swagger: (<-=) :: (MonadState s m, Num a) => LensLike' ((,) a) s a -> a -> m a
- Yam.Swagger: (<-~) :: Num a => LensLike ((,) a) s t a a -> a -> s -> (a, t)
- Yam.Swagger: (<.) :: Indexable i p => (Indexed i s t -> r) -> ((a -> b) -> s -> t) -> p a b -> r
- Yam.Swagger: (<.=) :: MonadState s m => ASetter s s a b -> b -> m b
- Yam.Swagger: (<.>) :: Indexable (i, j) p => (Indexed i s t -> r) -> (Indexed j a b -> s -> t) -> p a b -> r
- Yam.Swagger: (<.~) :: () => ASetter s t a b -> b -> s -> (b, t)
- Yam.Swagger: (<//=) :: (MonadState s m, Fractional a) => LensLike' ((,) a) s a -> a -> m a
- Yam.Swagger: (<//~) :: Fractional a => LensLike ((,) a) s t a a -> a -> s -> (a, t)
- Yam.Swagger: (<<%=) :: (Strong p, MonadState s m) => Over p ((,) a) s s a b -> p a b -> m a
- Yam.Swagger: (<<%@=) :: MonadState s m => Over (Indexed i) ((,) a) s s a b -> (i -> a -> b) -> m a
- Yam.Swagger: (<<%@~) :: () => Over (Indexed i) ((,) a) s t a b -> (i -> a -> b) -> s -> (a, t)
- Yam.Swagger: (<<%~) :: () => LensLike ((,) a) s t a b -> (a -> b) -> s -> (a, t)
- Yam.Swagger: (<<&&=) :: MonadState s m => LensLike' ((,) Bool) s Bool -> Bool -> m Bool
- Yam.Swagger: (<<&&~) :: () => LensLike' ((,) Bool) s Bool -> Bool -> s -> (Bool, s)
- Yam.Swagger: (<<**=) :: (MonadState s m, Floating a) => LensLike' ((,) a) s a -> a -> m a
- Yam.Swagger: (<<**~) :: Floating a => LensLike' ((,) a) s a -> a -> s -> (a, s)
- Yam.Swagger: (<<*=) :: (MonadState s m, Num a) => LensLike' ((,) a) s a -> a -> m a
- Yam.Swagger: (<<*~) :: Num a => LensLike' ((,) a) s a -> a -> s -> (a, s)
- Yam.Swagger: (<<+=) :: (MonadState s m, Num a) => LensLike' ((,) a) s a -> a -> m a
- Yam.Swagger: (<<+~) :: Num a => LensLike' ((,) a) s a -> a -> s -> (a, s)
- Yam.Swagger: (<<-=) :: (MonadState s m, Num a) => LensLike' ((,) a) s a -> a -> m a
- Yam.Swagger: (<<-~) :: Num a => LensLike' ((,) a) s a -> a -> s -> (a, s)
- Yam.Swagger: (<<.=) :: MonadState s m => LensLike ((,) a) s s a b -> b -> m a
- Yam.Swagger: (<<.~) :: () => LensLike ((,) a) s t a b -> b -> s -> (a, t)
- Yam.Swagger: (<<//=) :: (MonadState s m, Fractional a) => LensLike' ((,) a) s a -> a -> m a
- Yam.Swagger: (<<//~) :: Fractional a => LensLike' ((,) a) s a -> a -> s -> (a, s)
- Yam.Swagger: (<<<>=) :: (MonadState s m, Monoid r) => LensLike' ((,) r) s r -> r -> m r
- Yam.Swagger: (<<<>~) :: Monoid r => LensLike' ((,) r) s r -> r -> s -> (r, s)
- Yam.Swagger: (<<>=) :: (MonadState s m, Monoid r) => LensLike' ((,) r) s r -> r -> m r
- Yam.Swagger: (<<>~) :: Monoid m => LensLike ((,) m) s t m m -> m -> s -> (m, t)
- Yam.Swagger: (<<?=) :: MonadState s m => LensLike ((,) a) s s a (Maybe b) -> b -> m a
- Yam.Swagger: (<<?~) :: () => LensLike ((,) a) s t a (Maybe b) -> b -> s -> (a, t)
- Yam.Swagger: (<<^=) :: (MonadState s m, Num a, Integral e) => LensLike' ((,) a) s a -> e -> m a
- Yam.Swagger: (<<^^=) :: (MonadState s m, Fractional a, Integral e) => LensLike' ((,) a) s a -> e -> m a
- Yam.Swagger: (<<^^~) :: (Fractional a, Integral e) => LensLike' ((,) a) s a -> e -> s -> (a, s)
- Yam.Swagger: (<<^~) :: (Num a, Integral e) => LensLike' ((,) a) s a -> e -> s -> (a, s)
- Yam.Swagger: (<<||=) :: MonadState s m => LensLike' ((,) Bool) s Bool -> Bool -> m Bool
- Yam.Swagger: (<<||~) :: () => LensLike' ((,) Bool) s Bool -> Bool -> s -> (Bool, s)
- Yam.Swagger: (<<~) :: MonadState s m => ALens s s a b -> m b -> m b
- Yam.Swagger: (<>=) :: (MonadState s m, Monoid a) => ASetter' s a -> a -> m ()
- Yam.Swagger: (<>~) :: Monoid a => ASetter s t a a -> a -> s -> t
- Yam.Swagger: (<?=) :: MonadState s m => ASetter s s a (Maybe b) -> b -> m b
- Yam.Swagger: (<?~) :: () => ASetter s t a (Maybe b) -> b -> s -> (b, t)
- Yam.Swagger: (<^=) :: (MonadState s m, Num a, Integral e) => LensLike' ((,) a) s a -> e -> m a
- Yam.Swagger: (<^^=) :: (MonadState s m, Fractional a, Integral e) => LensLike' ((,) a) s a -> e -> m a
- Yam.Swagger: (<^^~) :: (Fractional a, Integral e) => LensLike ((,) a) s t a a -> e -> s -> (a, t)
- Yam.Swagger: (<^~) :: (Num a, Integral e) => LensLike ((,) a) s t a a -> e -> s -> (a, t)
- Yam.Swagger: (<|) :: Cons s s a a => a -> s -> s
- Yam.Swagger: (<||=) :: MonadState s m => LensLike' ((,) Bool) s Bool -> Bool -> m Bool
- Yam.Swagger: (<||~) :: () => LensLike ((,) Bool) s t Bool Bool -> Bool -> s -> (Bool, t)
- Yam.Swagger: (<~) :: MonadState s m => ASetter s s a b -> m b -> m ()
- Yam.Swagger: (>$) :: Contravariant f => b -> f b -> f a
- Yam.Swagger: (?=) :: MonadState s m => ASetter s s a (Maybe b) -> b -> m ()
- Yam.Swagger: (??) :: Functor f => f (a -> b) -> a -> f b
- Yam.Swagger: (?~) :: () => ASetter s t a (Maybe b) -> b -> s -> t
- Yam.Swagger: (^#) :: () => s -> ALens s t a b -> a
- Yam.Swagger: (^.) :: () => s -> Getting a s a -> a
- Yam.Swagger: (^..) :: () => s -> Getting (Endo [a]) s a -> [a]
- Yam.Swagger: (^=) :: (MonadState s m, Num a, Integral e) => ASetter' s a -> e -> m ()
- Yam.Swagger: (^?!) :: HasCallStack => s -> Getting (Endo a) s a -> a
- Yam.Swagger: (^?) :: () => s -> Getting (First a) s a -> Maybe a
- Yam.Swagger: (^@.) :: () => s -> IndexedGetting i (i, a) s a -> (i, a)
- Yam.Swagger: (^@..) :: () => s -> IndexedGetting i (Endo [(i, a)]) s a -> [(i, a)]
- Yam.Swagger: (^@?!) :: HasCallStack => s -> IndexedGetting i (Endo (i, a)) s a -> (i, a)
- Yam.Swagger: (^@?) :: () => s -> IndexedGetting i (Endo (Maybe (i, a))) s a -> Maybe (i, a)
- Yam.Swagger: (^^=) :: (MonadState s m, Fractional a, Integral e) => ASetter' s a -> e -> m ()
- Yam.Swagger: (^^~) :: (Fractional a, Integral e) => ASetter s t a a -> e -> s -> t
- Yam.Swagger: (^~) :: (Num a, Integral e) => ASetter s t a a -> e -> s -> t
- Yam.Swagger: (|>) :: Snoc s s a a => s -> a -> s
- Yam.Swagger: (||=) :: MonadState s m => ASetter' s Bool -> Bool -> m ()
- Yam.Swagger: (||~) :: () => ASetter s t Bool Bool -> Bool -> s -> t
- Yam.Swagger: Bazaar :: (forall (f :: Type -> Type). Applicative f => p a (f b) -> f t) -> Bazaar a b t
- Yam.Swagger: Bazaar1 :: (forall (f :: Type -> Type). Apply f => p a (f b) -> f t) -> Bazaar1 a b t
- Yam.Swagger: Const :: a -> Const a
- Yam.Swagger: Fold :: Fold s a -> ReifiedFold s a
- Yam.Swagger: Getter :: Getter s a -> ReifiedGetter s a
- Yam.Swagger: Identity :: a -> Identity a
- Yam.Swagger: Indexed :: (i -> a -> b) -> Indexed i a b
- Yam.Swagger: IndexedFold :: IndexedFold i s a -> ReifiedIndexedFold i s a
- Yam.Swagger: IndexedGetter :: IndexedGetter i s a -> ReifiedIndexedGetter i s a
- Yam.Swagger: IndexedLens :: IndexedLens i s t a b -> ReifiedIndexedLens i s t a b
- Yam.Swagger: IndexedSetter :: IndexedSetter i s t a b -> ReifiedIndexedSetter i s t a b
- Yam.Swagger: IndexedTraversal :: IndexedTraversal i s t a b -> ReifiedIndexedTraversal i s t a b
- Yam.Swagger: Iso :: Iso s t a b -> ReifiedIso s t a b
- Yam.Swagger: Lens :: Lens s t a b -> ReifiedLens s t a b
- Yam.Swagger: MethodName :: Name -> Name -> DefName
- Yam.Swagger: Prism :: Prism s t a b -> ReifiedPrism s t a b
- Yam.Swagger: Setter :: Setter s t a b -> ReifiedSetter s t a b
- Yam.Swagger: TopName :: Name -> DefName
- Yam.Swagger: Traversal :: Traversal s t a b -> ReifiedTraversal s t a b
- Yam.Swagger: [Identical] :: forall k k1 (a :: k) (b :: k1) (s :: k) (t :: k1). () => Identical a b a b
- Yam.Swagger: [getConst] :: Const a -> a
- Yam.Swagger: [runBazaar1] :: Bazaar1 a b t -> forall (f :: Type -> Type). Apply f => p a (f b) -> f t
- Yam.Swagger: [runBazaar] :: Bazaar a b t -> forall (f :: Type -> Type). Applicative f => p a (f b) -> f t
- Yam.Swagger: [runFold] :: ReifiedFold s a -> Fold s a
- Yam.Swagger: [runGetter] :: ReifiedGetter s a -> Getter s a
- Yam.Swagger: [runIdentity] :: Identity a -> a
- Yam.Swagger: [runIndexedFold] :: ReifiedIndexedFold i s a -> IndexedFold i s a
- Yam.Swagger: [runIndexedGetter] :: ReifiedIndexedGetter i s a -> IndexedGetter i s a
- Yam.Swagger: [runIndexedLens] :: ReifiedIndexedLens i s t a b -> IndexedLens i s t a b
- Yam.Swagger: [runIndexedSetter] :: ReifiedIndexedSetter i s t a b -> IndexedSetter i s t a b
- Yam.Swagger: [runIndexedTraversal] :: ReifiedIndexedTraversal i s t a b -> IndexedTraversal i s t a b
- Yam.Swagger: [runIndexed] :: Indexed i a b -> i -> a -> b
- Yam.Swagger: [runIso] :: ReifiedIso s t a b -> Iso s t a b
- Yam.Swagger: [runLens] :: ReifiedLens s t a b -> Lens s t a b
- Yam.Swagger: [runPrism] :: ReifiedPrism s t a b -> Prism s t a b
- Yam.Swagger: [runSetter] :: ReifiedSetter s t a b -> Setter s t a b
- Yam.Swagger: [runTraversal] :: ReifiedTraversal s t a b -> Traversal s t a b
- Yam.Swagger: _1 :: Field1 s t a b => Lens s t a b
- Yam.Swagger: _1' :: Field1 s t a b => Lens s t a b
- Yam.Swagger: _10 :: Field10 s t a b => Lens s t a b
- Yam.Swagger: _10' :: Field10 s t a b => Lens s t a b
- Yam.Swagger: _11 :: Field11 s t a b => Lens s t a b
- Yam.Swagger: _11' :: Field11 s t a b => Lens s t a b
- Yam.Swagger: _12 :: Field12 s t a b => Lens s t a b
- Yam.Swagger: _12' :: Field12 s t a b => Lens s t a b
- Yam.Swagger: _13 :: Field13 s t a b => Lens s t a b
- Yam.Swagger: _13' :: Field13 s t a b => Lens s t a b
- Yam.Swagger: _14 :: Field14 s t a b => Lens s t a b
- Yam.Swagger: _14' :: Field14 s t a b => Lens s t a b
- Yam.Swagger: _15 :: Field15 s t a b => Lens s t a b
- Yam.Swagger: _15' :: Field15 s t a b => Lens s t a b
- Yam.Swagger: _16 :: Field16 s t a b => Lens s t a b
- Yam.Swagger: _16' :: Field16 s t a b => Lens s t a b
- Yam.Swagger: _17 :: Field17 s t a b => Lens s t a b
- Yam.Swagger: _17' :: Field17 s t a b => Lens s t a b
- Yam.Swagger: _18 :: Field18 s t a b => Lens s t a b
- Yam.Swagger: _18' :: Field18 s t a b => Lens s t a b
- Yam.Swagger: _19 :: Field19 s t a b => Lens s t a b
- Yam.Swagger: _19' :: Field19 s t a b => Lens s t a b
- Yam.Swagger: _2 :: Field2 s t a b => Lens s t a b
- Yam.Swagger: _2' :: Field2 s t a b => Lens s t a b
- Yam.Swagger: _3 :: Field3 s t a b => Lens s t a b
- Yam.Swagger: _3' :: Field3 s t a b => Lens s t a b
- Yam.Swagger: _4 :: Field4 s t a b => Lens s t a b
- Yam.Swagger: _4' :: Field4 s t a b => Lens s t a b
- Yam.Swagger: _5 :: Field5 s t a b => Lens s t a b
- Yam.Swagger: _5' :: Field5 s t a b => Lens s t a b
- Yam.Swagger: _6 :: Field6 s t a b => Lens s t a b
- Yam.Swagger: _6' :: Field6 s t a b => Lens s t a b
- Yam.Swagger: _7 :: Field7 s t a b => Lens s t a b
- Yam.Swagger: _7' :: Field7 s t a b => Lens s t a b
- Yam.Swagger: _8 :: Field8 s t a b => Lens s t a b
- Yam.Swagger: _8' :: Field8 s t a b => Lens s t a b
- Yam.Swagger: _9 :: Field9 s t a b => Lens s t a b
- Yam.Swagger: _9' :: Field9 s t a b => Lens s t a b
- Yam.Swagger: _Cons :: Cons s t a b => Prism s t (a, s) (b, t)
- Yam.Swagger: _Empty :: AsEmpty a => Prism' a ()
- Yam.Swagger: _GWrapped' :: (Generic s, D1 d (C1 c (S1 s' (Rec0 a))) ~ Rep s, Unwrapped s ~ GUnwrapped (Rep s)) => Iso' s (Unwrapped s)
- Yam.Swagger: _Just :: () => Prism (Maybe a) (Maybe b) a b
- Yam.Swagger: _Left :: () => Prism (Either a c) (Either b c) a b
- Yam.Swagger: _Nothing :: () => Prism' (Maybe a) ()
- Yam.Swagger: _Right :: () => Prism (Either c a) (Either c b) a b
- Yam.Swagger: _Show :: (Read a, Show a) => Prism' String a
- Yam.Swagger: _Snoc :: Snoc s t a b => Prism s t (s, a) (t, b)
- Yam.Swagger: _Unwrapped :: Rewrapping s t => Iso (Unwrapped t) (Unwrapped s) t s
- Yam.Swagger: _Unwrapped' :: Wrapped s => Iso' (Unwrapped s) s
- Yam.Swagger: _Unwrapping :: Rewrapping s t => (Unwrapped s -> s) -> Iso (Unwrapped t) (Unwrapped s) t s
- Yam.Swagger: _Unwrapping' :: Wrapped s => (Unwrapped s -> s) -> Iso' (Unwrapped s) s
- Yam.Swagger: _Void :: () => Prism s s a Void
- Yam.Swagger: _Wrapped :: Rewrapping s t => Iso s t (Unwrapped s) (Unwrapped t)
- Yam.Swagger: _Wrapped' :: Wrapped s => Iso' s (Unwrapped s)
- Yam.Swagger: _Wrapping :: Rewrapping s t => (Unwrapped s -> s) -> Iso s t (Unwrapped s) (Unwrapped t)
- Yam.Swagger: _Wrapping' :: Wrapped s => (Unwrapped s -> s) -> Iso' s (Unwrapped s)
- Yam.Swagger: _head :: Cons s s a a => Traversal' s a
- Yam.Swagger: _init :: Snoc s s a a => Traversal' s s
- Yam.Swagger: _last :: Snoc s s a a => Traversal' s a
- Yam.Swagger: _tail :: Cons s s a a => Traversal' s s
- Yam.Swagger: abbreviatedFields :: LensRules
- Yam.Swagger: abbreviatedNamer :: FieldNamer
- Yam.Swagger: ala :: (Functor f, Rewrapping s t) => (Unwrapped s -> s) -> ((Unwrapped t -> t) -> f s) -> f (Unwrapped s)
- Yam.Swagger: alaf :: (Functor f, Functor g, Rewrapping s t) => (Unwrapped s -> s) -> (f t -> g s) -> f (Unwrapped t) -> g (Unwrapped s)
- Yam.Swagger: alongside :: () => LensLike (AlongsideLeft f b') s t a b -> LensLike (AlongsideRight f t) s' t' a' b' -> LensLike f (s, s') (t, t') (a, a') (b, b')
- Yam.Swagger: andOf :: () => Getting All s Bool -> s -> Bool
- Yam.Swagger: anon :: () => a -> (a -> Bool) -> Iso' (Maybe a) a
- Yam.Swagger: anyOf :: () => Getting Any s a -> (a -> Bool) -> s -> Bool
- Yam.Swagger: argument :: Profunctor p => Setter (p b r) (p a r) a b
- Yam.Swagger: asIndex :: (Indexable i p, Contravariant f, Functor f) => p i (f i) -> Indexed i s (f s)
- Yam.Swagger: aside :: () => APrism s t a b -> Prism (e, s) (e, t) (e, a) (e, b)
- Yam.Swagger: assign :: MonadState s m => ASetter s s a b -> b -> m ()
- Yam.Swagger: assignA :: Arrow p => ASetter s t a b -> p s b -> p s t
- Yam.Swagger: asumOf :: Alternative f => Getting (Endo (f a)) s (f a) -> s -> f a
- Yam.Swagger: at :: At m => Index m -> Lens' m (Maybe (IxValue m))
- Yam.Swagger: au :: Functor f => AnIso s t a b -> ((b -> t) -> f s) -> f a
- Yam.Swagger: auf :: () => Optic (Costar f) g s t a b -> (f a -> g b) -> f s -> g t
- Yam.Swagger: backwards :: (Profunctor p, Profunctor q) => Optical p q (Backwards f) s t a b -> Optical p q f s t a b
- Yam.Swagger: below :: Traversable f => APrism' s a -> Prism' (f s) (f a)
- Yam.Swagger: beside :: (Representable q, Applicative (Rep q), Applicative f, Bitraversable r) => Optical p q f s t a b -> Optical p q f s' t' a b -> Optical p q f (r s s') (r t t') a b
- Yam.Swagger: bimap :: Bifunctor p => (a -> b) -> (c -> d) -> p a c -> p b d
- Yam.Swagger: bimapping :: (Bifunctor f, Bifunctor g) => AnIso s t a b -> AnIso s' t' a' b' -> Iso (f s s') (g t t') (f a a') (g b b')
- Yam.Swagger: both :: Bitraversable r => Traversal (r a a) (r b b) a b
- Yam.Swagger: both1 :: Bitraversable1 r => Traversal1 (r a a) (r b b) a b
- Yam.Swagger: camelCaseFields :: LensRules
- Yam.Swagger: camelCaseNamer :: FieldNamer
- Yam.Swagger: censoring :: MonadWriter w m => Setter w w u v -> (u -> v) -> m a -> m a
- Yam.Swagger: children :: Plated a => a -> [a]
- Yam.Swagger: choosing :: Functor f => LensLike f s t a b -> LensLike f s' t' a b -> LensLike f (Either s s') (Either t t') a b
- Yam.Swagger: chosen :: () => IndexPreservingLens (Either a a) (Either b b) a b
- Yam.Swagger: class AsEmpty a
- Yam.Swagger: class Ixed m => At m
- Yam.Swagger: class Bifunctor (p :: Type -> Type -> Type)
- Yam.Swagger: class Profunctor p => Choice (p :: Type -> Type -> Type)
- Yam.Swagger: class (Choice p, Corepresentable p, Comonad Corep p, Traversable Corep p, Strong p, Representable p, Monad Rep p, MonadFix Rep p, Distributive Rep p, Costrong p, ArrowLoop p, ArrowApply p, ArrowChoice p, Closed p) => Conjoined (p :: Type -> Type -> Type)
- Yam.Swagger: class Cons s t a b | s -> a, t -> b, s b -> t, t a -> s
- Yam.Swagger: class Contains m
- Yam.Swagger: class Contravariant (f :: Type -> Type)
- Yam.Swagger: class Each s t a b | s -> a, t -> b, s b -> t, t a -> s
- Yam.Swagger: class Field1 s t a b | s -> a, t -> b, s b -> t, t a -> s
- Yam.Swagger: class Field10 s t a b | s -> a, t -> b, s b -> t, t a -> s
- Yam.Swagger: class Field11 s t a b | s -> a, t -> b, s b -> t, t a -> s
- Yam.Swagger: class Field12 s t a b | s -> a, t -> b, s b -> t, t a -> s
- Yam.Swagger: class Field13 s t a b | s -> a, t -> b, s b -> t, t a -> s
- Yam.Swagger: class Field14 s t a b | s -> a, t -> b, s b -> t, t a -> s
- Yam.Swagger: class Field15 s t a b | s -> a, t -> b, s b -> t, t a -> s
- Yam.Swagger: class Field16 s t a b | s -> a, t -> b, s b -> t, t a -> s
- Yam.Swagger: class Field17 s t a b | s -> a, t -> b, s b -> t, t a -> s
- Yam.Swagger: class Field18 s t a b | s -> a, t -> b, s b -> t, t a -> s
- Yam.Swagger: class Field19 s t a b | s -> a, t -> b, s b -> t, t a -> s
- Yam.Swagger: class Field2 s t a b | s -> a, t -> b, s b -> t, t a -> s
- Yam.Swagger: class Field3 s t a b | s -> a, t -> b, s b -> t, t a -> s
- Yam.Swagger: class Field4 s t a b | s -> a, t -> b, s b -> t, t a -> s
- Yam.Swagger: class Field5 s t a b | s -> a, t -> b, s b -> t, t a -> s
- Yam.Swagger: class Field6 s t a b | s -> a, t -> b, s b -> t, t a -> s
- Yam.Swagger: class Field7 s t a b | s -> a, t -> b, s b -> t, t a -> s
- Yam.Swagger: class Field8 s t a b | s -> a, t -> b, s b -> t, t a -> s
- Yam.Swagger: class Field9 s t a b | s -> a, t -> b, s b -> t, t a -> s
- Yam.Swagger: class Foldable f => FoldableWithIndex i (f :: Type -> Type) | f -> i
- Yam.Swagger: class Functor f => FunctorWithIndex i (f :: Type -> Type) | f -> i
- Yam.Swagger: class GPlated a (g :: Type -> Type)
- Yam.Swagger: class Conjoined p => Indexable i (p :: Type -> Type -> Type)
- Yam.Swagger: class Ixed m
- Yam.Swagger: class (Magnified m ~ Magnified n, MonadReader b m, MonadReader a n) => Magnify (m :: Type -> Type) (n :: Type -> Type) b a | m -> b, n -> a, m a -> n, n b -> m
- Yam.Swagger: class Plated a
- Yam.Swagger: class Profunctor (p :: Type -> Type -> Type)
- Yam.Swagger: class Reversing t
- Yam.Swagger: class (Profunctor p, Bifunctor p) => Reviewable (p :: Type -> Type -> Type)
- Yam.Swagger: class Wrapped s => Rewrapped s t
- Yam.Swagger: class (Rewrapped s t, Rewrapped t s) => Rewrapping s t
- Yam.Swagger: class (Applicative f, Distributive f, Traversable f) => Settable (f :: Type -> Type)
- Yam.Swagger: class Snoc s t a b | s -> a, t -> b, s b -> t, t a -> s
- Yam.Swagger: class Strict lazy strict | lazy -> strict, strict -> lazy
- Yam.Swagger: class Bifunctor p => Swapped (p :: Type -> Type -> Type)
- Yam.Swagger: class (Functor t, Foldable t) => Traversable (t :: Type -> Type)
- Yam.Swagger: class (Foldable1 t, Traversable t) => Traversable1 (t :: Type -> Type)
- Yam.Swagger: class (FunctorWithIndex i t, FoldableWithIndex i t, Traversable t) => TraversableWithIndex i (t :: Type -> Type) | t -> i
- Yam.Swagger: class Ord k => TraverseMax k (m :: Type -> Type) | m -> k
- Yam.Swagger: class Ord k => TraverseMin k (m :: Type -> Type) | m -> k
- Yam.Swagger: class Wrapped s where {
- Yam.Swagger: class (MonadState s m, MonadState t n) => Zoom (m :: Type -> Type) (n :: Type -> Type) s t | m -> s, n -> t, m t -> n, n s -> m
- Yam.Swagger: classUnderscoreNoPrefixFields :: LensRules
- Yam.Swagger: classUnderscoreNoPrefixNamer :: FieldNamer
- Yam.Swagger: classyRules :: LensRules
- Yam.Swagger: classyRules_ :: LensRules
- Yam.Swagger: cloneIndexPreservingLens :: () => ALens s t a b -> IndexPreservingLens s t a b
- Yam.Swagger: cloneIndexPreservingSetter :: () => ASetter s t a b -> IndexPreservingSetter s t a b
- Yam.Swagger: cloneIndexPreservingTraversal :: () => ATraversal s t a b -> IndexPreservingTraversal s t a b
- Yam.Swagger: cloneIndexPreservingTraversal1 :: () => ATraversal1 s t a b -> IndexPreservingTraversal1 s t a b
- Yam.Swagger: cloneIndexedLens :: () => AnIndexedLens i s t a b -> IndexedLens i s t a b
- Yam.Swagger: cloneIndexedSetter :: () => AnIndexedSetter i s t a b -> IndexedSetter i s t a b
- Yam.Swagger: cloneIndexedTraversal :: () => AnIndexedTraversal i s t a b -> IndexedTraversal i s t a b
- Yam.Swagger: cloneIndexedTraversal1 :: () => AnIndexedTraversal1 i s t a b -> IndexedTraversal1 i s t a b
- Yam.Swagger: cloneIso :: () => AnIso s t a b -> Iso s t a b
- Yam.Swagger: cloneLens :: () => ALens s t a b -> Lens s t a b
- Yam.Swagger: clonePrism :: () => APrism s t a b -> Prism s t a b
- Yam.Swagger: cloneSetter :: () => ASetter s t a b -> Setter s t a b
- Yam.Swagger: cloneTraversal :: () => ATraversal s t a b -> Traversal s t a b
- Yam.Swagger: cloneTraversal1 :: () => ATraversal1 s t a b -> Traversal1 s t a b
- Yam.Swagger: coerced :: (Coercible s a, Coercible t b) => Iso s t a b
- Yam.Swagger: composOpFold :: Plated a => b -> (b -> b -> b) -> (a -> b) -> a -> b
- Yam.Swagger: concatMapOf :: () => Getting [r] s a -> (a -> [r]) -> s -> [r]
- Yam.Swagger: concatOf :: () => Getting [r] s [r] -> s -> [r]
- Yam.Swagger: confusing :: Applicative f => LensLike (Curried (Yoneda f) (Yoneda f)) s t a b -> LensLike f s t a b
- Yam.Swagger: conjoined :: Conjoined p => ((p ~ ((->) :: Type -> Type -> Type)) -> q (a -> b) r) -> q (p a b) r -> q (p a b) r
- Yam.Swagger: cons :: Cons s s a a => a -> s -> s
- Yam.Swagger: contains :: Contains m => Index m -> Lens' m Bool
- Yam.Swagger: contexts :: Plated a => a -> [Context a a a]
- Yam.Swagger: contextsOf :: () => ATraversal' a a -> a -> [Context a a a]
- Yam.Swagger: contextsOn :: Plated a => ATraversal s t a a -> s -> [Context a a t]
- Yam.Swagger: contextsOnOf :: () => ATraversal s t a a -> ATraversal' a a -> s -> [Context a a t]
- Yam.Swagger: contramap :: Contravariant f => (a -> b) -> f b -> f a
- Yam.Swagger: contramapped :: Contravariant f => Setter (f b) (f a) a b
- Yam.Swagger: contramapping :: Contravariant f => AnIso s t a b -> Iso (f a) (f b) (f s) (f t)
- Yam.Swagger: cosmos :: Plated a => Fold a a
- Yam.Swagger: cosmosOf :: (Applicative f, Contravariant f) => LensLike' f a a -> LensLike' f a a
- Yam.Swagger: cosmosOn :: (Applicative f, Contravariant f, Plated a) => LensLike' f s a -> LensLike' f s a
- Yam.Swagger: cosmosOnOf :: (Applicative f, Contravariant f) => LensLike' f s a -> LensLike' f a a -> LensLike' f s a
- Yam.Swagger: createClass :: Lens' LensRules Bool
- Yam.Swagger: curried :: () => Iso ((a, b) -> c) ((d, e) -> f) (a -> b -> c) (d -> e -> f)
- Yam.Swagger: cycled :: Apply f => LensLike f s t a b -> LensLike f s t a b
- Yam.Swagger: data DefName
- Yam.Swagger: data Leftmost a
- Yam.Swagger: data LensRules
- Yam.Swagger: data Level i a
- Yam.Swagger: data Magma i t b a
- Yam.Swagger: data Rightmost a
- Yam.Swagger: data Sequenced a (m :: Type -> Type)
- Yam.Swagger: data Traversed a (f :: Type -> Type)
- Yam.Swagger: data Identical (a :: k) (b :: k1) (s :: k) (t :: k1) :: forall k k1. () => k -> k1 -> k -> k1 -> Type
- Yam.Swagger: declareClassy :: DecsQ -> DecsQ
- Yam.Swagger: declareClassyFor :: [(String, (String, String))] -> [(String, String)] -> DecsQ -> DecsQ
- Yam.Swagger: declareFields :: DecsQ -> DecsQ
- Yam.Swagger: declareLenses :: DecsQ -> DecsQ
- Yam.Swagger: declareLensesFor :: [(String, String)] -> DecsQ -> DecsQ
- Yam.Swagger: declareLensesWith :: LensRules -> DecsQ -> DecsQ
- Yam.Swagger: declarePrisms :: DecsQ -> DecsQ
- Yam.Swagger: declareWrapped :: DecsQ -> DecsQ
- Yam.Swagger: deep :: (Conjoined p, Applicative f, Plated s) => Traversing p f s s a b -> Over p f s s a b
- Yam.Swagger: deepOf :: (Conjoined p, Applicative f) => LensLike f s t s t -> Traversing p f s t a b -> Over p f s t a b
- Yam.Swagger: defaultFieldRules :: LensRules
- Yam.Swagger: devoid :: () => Over p f Void Void a b
- Yam.Swagger: dimap :: Profunctor p => (a -> b) -> (c -> d) -> p b c -> p a d
- Yam.Swagger: dimapping :: (Profunctor p, Profunctor q) => AnIso s t a b -> AnIso s' t' a' b' -> Iso (p a s') (q b t') (p s a') (q t b')
- Yam.Swagger: distrib :: (Conjoined p, Functor f) => p a b -> p (f a) (f b)
- Yam.Swagger: dropping :: (Conjoined p, Applicative f) => Int -> Over p (Indexing f) s t a a -> Over p f s t a a
- Yam.Swagger: droppingWhile :: (Conjoined p, Profunctor q, Applicative f) => (a -> Bool) -> Optical p q (Compose (State Bool) f) s t a a -> Optical p q f s t a a
- Yam.Swagger: each :: Each s t a b => Traversal s t a b
- Yam.Swagger: elemIndexOf :: Eq a => IndexedGetting i (First i) s a -> a -> s -> Maybe i
- Yam.Swagger: elemIndicesOf :: Eq a => IndexedGetting i (Endo [i]) s a -> a -> s -> [i]
- Yam.Swagger: elemOf :: Eq a => Getting Any s a -> a -> s -> Bool
- Yam.Swagger: element :: Traversable t => Int -> IndexedTraversal' Int (t a) a
- Yam.Swagger: elementOf :: Applicative f => LensLike (Indexing f) s t a a -> Int -> IndexedLensLike Int f s t a a
- Yam.Swagger: elements :: Traversable t => (Int -> Bool) -> IndexedTraversal' Int (t a) a
- Yam.Swagger: elementsOf :: Applicative f => LensLike (Indexing f) s t a a -> (Int -> Bool) -> IndexedLensLike Int f s t a a
- Yam.Swagger: enum :: Enum a => Iso' Int a
- Yam.Swagger: failing :: (Conjoined p, Applicative f) => Traversing p f s t a b -> Over p f s t a b -> Over p f s t a b
- Yam.Swagger: failover :: Alternative m => LensLike ((,) Any) s t a b -> (a -> b) -> s -> m t
- Yam.Swagger: filtered :: (Choice p, Applicative f) => (a -> Bool) -> Optic' p f a a
- Yam.Swagger: findIndexOf :: () => IndexedGetting i (First i) s a -> (a -> Bool) -> s -> Maybe i
- Yam.Swagger: findIndicesOf :: () => IndexedGetting i (Endo [i]) s a -> (a -> Bool) -> s -> [i]
- Yam.Swagger: findMOf :: Monad m => Getting (Endo (m (Maybe a))) s a -> (a -> m Bool) -> s -> m (Maybe a)
- Yam.Swagger: findOf :: () => Getting (Endo (Maybe a)) s a -> (a -> Bool) -> s -> Maybe a
- Yam.Swagger: first1Of :: () => Getting (First a) s a -> s -> a
- Yam.Swagger: firstOf :: () => Getting (Leftmost a) s a -> s -> Maybe a
- Yam.Swagger: firsting :: (Bifunctor f, Bifunctor g) => AnIso s t a b -> Iso (f s x) (g t y) (f a x) (g b y)
- Yam.Swagger: flipped :: () => Iso (a -> b -> c) (a' -> b' -> c') (b -> a -> c) (b' -> a' -> c')
- Yam.Swagger: foldBy :: Foldable t => (a -> a -> a) -> a -> t a -> a
- Yam.Swagger: foldByOf :: () => Fold s a -> (a -> a -> a) -> a -> s -> a
- Yam.Swagger: foldMapBy :: Foldable t => (r -> r -> r) -> r -> (a -> r) -> t a -> r
- Yam.Swagger: foldMapByOf :: () => Fold s a -> (r -> r -> r) -> r -> (a -> r) -> s -> r
- Yam.Swagger: foldMapOf :: () => Getting r s a -> (a -> r) -> s -> r
- Yam.Swagger: foldOf :: () => Getting a s a -> s -> a
- Yam.Swagger: folded :: Foldable f => IndexedFold Int (f a) a
- Yam.Swagger: folded64 :: Foldable f => IndexedFold Int64 (f a) a
- Yam.Swagger: folding :: Foldable f => (s -> f a) -> Fold s a
- Yam.Swagger: foldl1Of :: HasCallStack => Getting (Dual (Endo (Maybe a))) s a -> (a -> a -> a) -> s -> a
- Yam.Swagger: foldl1Of' :: HasCallStack => Getting (Endo (Endo (Maybe a))) s a -> (a -> a -> a) -> s -> a
- Yam.Swagger: foldlMOf :: Monad m => Getting (Endo (r -> m r)) s a -> (r -> a -> m r) -> r -> s -> m r
- Yam.Swagger: foldlOf :: () => Getting (Dual (Endo r)) s a -> (r -> a -> r) -> r -> s -> r
- Yam.Swagger: foldlOf' :: () => Getting (Endo (Endo r)) s a -> (r -> a -> r) -> r -> s -> r
- Yam.Swagger: foldr1Of :: HasCallStack => Getting (Endo (Maybe a)) s a -> (a -> a -> a) -> s -> a
- Yam.Swagger: foldr1Of' :: HasCallStack => Getting (Dual (Endo (Endo (Maybe a)))) s a -> (a -> a -> a) -> s -> a
- Yam.Swagger: foldrMOf :: Monad m => Getting (Dual (Endo (r -> m r))) s a -> (a -> r -> m r) -> r -> s -> m r
- Yam.Swagger: foldrOf :: () => Getting (Endo r) s a -> (a -> r -> r) -> r -> s -> r
- Yam.Swagger: foldrOf' :: () => Getting (Dual (Endo (Endo r))) s a -> (a -> r -> r) -> r -> s -> r
- Yam.Swagger: foldring :: (Contravariant f, Applicative f) => ((a -> f a -> f a) -> f a -> s -> f a) -> LensLike f s t a b
- Yam.Swagger: for1Of_ :: Functor f => Getting (TraversedF r f) s a -> s -> (a -> f r) -> f ()
- Yam.Swagger: forMOf :: () => LensLike (WrappedMonad m) s t a b -> s -> (a -> m b) -> m t
- Yam.Swagger: forMOf_ :: Monad m => Getting (Sequenced r m) s a -> s -> (a -> m r) -> m ()
- Yam.Swagger: forOf :: () => LensLike f s t a b -> s -> (a -> f b) -> f t
- Yam.Swagger: forOf_ :: Functor f => Getting (Traversed r f) s a -> s -> (a -> f r) -> f ()
- Yam.Swagger: from :: () => AnIso s t a b -> Iso b a t s
- Yam.Swagger: fromEq :: () => AnEquality s t a b -> Equality b a t s
- Yam.Swagger: fusing :: Functor f => LensLike (Yoneda f) s t a b -> LensLike f s t a b
- Yam.Swagger: generateLazyPatterns :: Lens' LensRules Bool
- Yam.Swagger: generateSignatures :: Lens' LensRules Bool
- Yam.Swagger: generateUpdateableOptics :: Lens' LensRules Bool
- Yam.Swagger: getting :: (Profunctor p, Profunctor q, Functor f, Contravariant f) => Optical p q f s t a b -> Optical' p q f s a
- Yam.Swagger: gplate :: (Generic a, GPlated a (Rep a)) => Traversal' a a
- Yam.Swagger: has :: () => Getting Any s a -> s -> Bool
- Yam.Swagger: hasn't :: () => Getting All s a -> s -> Bool
- Yam.Swagger: holes :: Plated a => a -> [Pretext ((->) :: Type -> Type -> Type) a a a]
- Yam.Swagger: holesOf :: Conjoined p => Over p (Bazaar p a a) s t a a -> s -> [Pretext p a a t]
- Yam.Swagger: holesOn :: Conjoined p => Over p (Bazaar p a a) s t a a -> s -> [Pretext p a a t]
- Yam.Swagger: holesOnOf :: Conjoined p => LensLike (Bazaar p r r) s t a b -> Over p (Bazaar p r r) a b r r -> s -> [Pretext p r r t]
- Yam.Swagger: iall :: FoldableWithIndex i f => (i -> a -> Bool) -> f a -> Bool
- Yam.Swagger: iallOf :: () => IndexedGetting i All s a -> (i -> a -> Bool) -> s -> Bool
- Yam.Swagger: iany :: FoldableWithIndex i f => (i -> a -> Bool) -> f a -> Bool
- Yam.Swagger: ianyOf :: () => IndexedGetting i Any s a -> (i -> a -> Bool) -> s -> Bool
- Yam.Swagger: iat :: At m => Index m -> IndexedLens' (Index m) m (Maybe (IxValue m))
- Yam.Swagger: icensoring :: MonadWriter w m => IndexedSetter i w w u v -> (i -> u -> v) -> m a -> m a
- Yam.Swagger: icompose :: Indexable p c => (i -> j -> p) -> (Indexed i s t -> r) -> (Indexed j a b -> s -> t) -> c a b -> r
- Yam.Swagger: iconcatMap :: FoldableWithIndex i f => (i -> a -> [b]) -> f a -> [b]
- Yam.Swagger: iconcatMapOf :: () => IndexedGetting i [r] s a -> (i -> a -> [r]) -> s -> [r]
- Yam.Swagger: icontains :: Contains m => Index m -> IndexedLens' (Index m) m Bool
- Yam.Swagger: idroppingWhile :: (Indexable i p, Profunctor q, Applicative f) => (i -> a -> Bool) -> Optical (Indexed i) q (Compose (State Bool) f) s t a a -> Optical p q f s t a a
- Yam.Swagger: ifailover :: Alternative m => Over (Indexed i) ((,) Any) s t a b -> (i -> a -> b) -> s -> m t
- Yam.Swagger: ifiltered :: (Indexable i p, Applicative f) => (i -> a -> Bool) -> Optical' p (Indexed i) f a a
- Yam.Swagger: ifind :: FoldableWithIndex i f => (i -> a -> Bool) -> f a -> Maybe (i, a)
- Yam.Swagger: ifindMOf :: Monad m => IndexedGetting i (Endo (m (Maybe a))) s a -> (i -> a -> m Bool) -> s -> m (Maybe a)
- Yam.Swagger: ifindOf :: () => IndexedGetting i (Endo (Maybe a)) s a -> (i -> a -> Bool) -> s -> Maybe a
- Yam.Swagger: ifoldMap :: (FoldableWithIndex i f, Monoid m) => (i -> a -> m) -> f a -> m
- Yam.Swagger: ifoldMapBy :: FoldableWithIndex i t => (r -> r -> r) -> r -> (i -> a -> r) -> t a -> r
- Yam.Swagger: ifoldMapByOf :: () => IndexedFold i t a -> (r -> r -> r) -> r -> (i -> a -> r) -> t -> r
- Yam.Swagger: ifoldMapOf :: () => IndexedGetting i m s a -> (i -> a -> m) -> s -> m
- Yam.Swagger: ifolded :: FoldableWithIndex i f => IndexedFold i (f a) a
- Yam.Swagger: ifolding :: (Foldable f, Indexable i p, Contravariant g, Applicative g) => (s -> f (i, a)) -> Over p g s t a b
- Yam.Swagger: ifoldl :: FoldableWithIndex i f => (i -> b -> a -> b) -> b -> f a -> b
- Yam.Swagger: ifoldl' :: FoldableWithIndex i f => (i -> b -> a -> b) -> b -> f a -> b
- Yam.Swagger: ifoldlM :: (FoldableWithIndex i f, Monad m) => (i -> b -> a -> m b) -> b -> f a -> m b
- Yam.Swagger: ifoldlMOf :: Monad m => IndexedGetting i (Endo (r -> m r)) s a -> (i -> r -> a -> m r) -> r -> s -> m r
- Yam.Swagger: ifoldlOf :: () => IndexedGetting i (Dual (Endo r)) s a -> (i -> r -> a -> r) -> r -> s -> r
- Yam.Swagger: ifoldlOf' :: () => IndexedGetting i (Endo (r -> r)) s a -> (i -> r -> a -> r) -> r -> s -> r
- Yam.Swagger: ifoldr :: FoldableWithIndex i f => (i -> a -> b -> b) -> b -> f a -> b
- Yam.Swagger: ifoldr' :: FoldableWithIndex i f => (i -> a -> b -> b) -> b -> f a -> b
- Yam.Swagger: ifoldrM :: (FoldableWithIndex i f, Monad m) => (i -> a -> b -> m b) -> b -> f a -> m b
- Yam.Swagger: ifoldrMOf :: Monad m => IndexedGetting i (Dual (Endo (r -> m r))) s a -> (i -> a -> r -> m r) -> r -> s -> m r
- Yam.Swagger: ifoldrOf :: () => IndexedGetting i (Endo r) s a -> (i -> a -> r -> r) -> r -> s -> r
- Yam.Swagger: ifoldrOf' :: () => IndexedGetting i (Dual (Endo (r -> r))) s a -> (i -> a -> r -> r) -> r -> s -> r
- Yam.Swagger: ifoldring :: (Indexable i p, Contravariant f, Applicative f) => ((i -> a -> f a -> f a) -> f a -> s -> f a) -> Over p f s t a b
- Yam.Swagger: ifor :: (TraversableWithIndex i t, Applicative f) => t a -> (i -> a -> f b) -> f (t b)
- Yam.Swagger: iforM :: (TraversableWithIndex i t, Monad m) => t a -> (i -> a -> m b) -> m (t b)
- Yam.Swagger: iforMOf :: () => (Indexed i a (WrappedMonad m b) -> s -> WrappedMonad m t) -> s -> (i -> a -> m b) -> m t
- Yam.Swagger: iforMOf_ :: Monad m => IndexedGetting i (Sequenced r m) s a -> s -> (i -> a -> m r) -> m ()
- Yam.Swagger: iforM_ :: (FoldableWithIndex i t, Monad m) => t a -> (i -> a -> m b) -> m ()
- Yam.Swagger: iforOf :: () => (Indexed i a (f b) -> s -> f t) -> s -> (i -> a -> f b) -> f t
- Yam.Swagger: iforOf_ :: Functor f => IndexedGetting i (Traversed r f) s a -> s -> (i -> a -> f r) -> f ()
- Yam.Swagger: ifor_ :: (FoldableWithIndex i t, Applicative f) => t a -> (i -> a -> f b) -> f ()
- Yam.Swagger: ignored :: Applicative f => pafb -> s -> f s
- Yam.Swagger: iix :: Ixed m => Index m -> IndexedTraversal' (Index m) m (IxValue m)
- Yam.Swagger: ilens :: () => (s -> (i, a)) -> (s -> b -> t) -> IndexedLens i s t a b
- Yam.Swagger: ilevels :: Applicative f => Traversing (Indexed i) f s t a b -> IndexedLensLike Int f s t (Level i a) (Level j b)
- Yam.Swagger: ilike :: (Indexable i p, Contravariant f, Functor f) => i -> a -> Over' p f s a
- Yam.Swagger: ilistening :: MonadWriter w m => IndexedGetting i (i, u) w u -> m a -> m (a, (i, u))
- Yam.Swagger: ilistenings :: MonadWriter w m => IndexedGetting i v w u -> (i -> u -> v) -> m a -> m (a, v)
- Yam.Swagger: iloci :: () => IndexedTraversal i (Bazaar (Indexed i) a c s) (Bazaar (Indexed i) b c s) a b
- Yam.Swagger: imagma :: () => Over (Indexed i) (Molten i a b) s t a b -> Iso s t' (Magma i t b a) (Magma j t' c c)
- Yam.Swagger: imap :: FunctorWithIndex i f => (i -> a -> b) -> f a -> f b
- Yam.Swagger: imapAccumL :: TraversableWithIndex i t => (i -> s -> a -> (s, b)) -> s -> t a -> (s, t b)
- Yam.Swagger: imapAccumLOf :: () => Over (Indexed i) (State acc) s t a b -> (i -> acc -> a -> (acc, b)) -> acc -> s -> (acc, t)
- Yam.Swagger: imapAccumR :: TraversableWithIndex i t => (i -> s -> a -> (s, b)) -> s -> t a -> (s, t b)
- Yam.Swagger: imapAccumROf :: () => Over (Indexed i) (Backwards (State acc)) s t a b -> (i -> acc -> a -> (acc, b)) -> acc -> s -> (acc, t)
- Yam.Swagger: imapM :: (TraversableWithIndex i t, Monad m) => (i -> a -> m b) -> t a -> m (t b)
- Yam.Swagger: imapMOf :: () => Over (Indexed i) (WrappedMonad m) s t a b -> (i -> a -> m b) -> s -> m t
- Yam.Swagger: imapMOf_ :: Monad m => IndexedGetting i (Sequenced r m) s a -> (i -> a -> m r) -> s -> m ()
- Yam.Swagger: imapM_ :: (FoldableWithIndex i t, Monad m) => (i -> a -> m b) -> t a -> m ()
- Yam.Swagger: imapOf :: () => AnIndexedSetter i s t a b -> (i -> a -> b) -> s -> t
- Yam.Swagger: imapped :: FunctorWithIndex i f => IndexedSetter i (f a) (f b) a b
- Yam.Swagger: imodifying :: MonadState s m => AnIndexedSetter i s s a b -> (i -> a -> b) -> m ()
- Yam.Swagger: index :: (Indexable i p, Eq i, Applicative f) => i -> Optical' p (Indexed i) f a a
- Yam.Swagger: indexed :: Indexable i p => p a b -> i -> a -> b
- Yam.Swagger: indexing :: Indexable Int p => ((a -> Indexing f b) -> s -> Indexing f t) -> p a (f b) -> s -> f t
- Yam.Swagger: indexing64 :: Indexable Int64 p => ((a -> Indexing64 f b) -> s -> Indexing64 f t) -> p a (f b) -> s -> f t
- Yam.Swagger: indices :: (Indexable i p, Applicative f) => (i -> Bool) -> Optical' p (Indexed i) f a a
- Yam.Swagger: infix 4 %=
- Yam.Swagger: infixl 1 &~
- Yam.Swagger: infixl 4 >$
- Yam.Swagger: infixl 5 `failing`
- Yam.Swagger: infixl 8 ^#
- Yam.Swagger: infixr 2 <~
- Yam.Swagger: infixr 4 %~
- Yam.Swagger: infixr 5 :<
- Yam.Swagger: infixr 8 #
- Yam.Swagger: infixr 9 <.
- Yam.Swagger: inone :: FoldableWithIndex i f => (i -> a -> Bool) -> f a -> Bool
- Yam.Swagger: inoneOf :: () => IndexedGetting i Any s a -> (i -> a -> Bool) -> s -> Bool
- Yam.Swagger: inside :: Corepresentable p => ALens s t a b -> Lens (p e s) (p e t) (p e a) (p e b)
- Yam.Swagger: involuted :: () => (a -> a) -> Iso' a a
- Yam.Swagger: iover :: () => AnIndexedSetter i s t a b -> (i -> a -> b) -> s -> t
- Yam.Swagger: ipartsOf :: (Indexable [i] p, Functor f) => Traversing (Indexed i) f s t a a -> Over p f s t [a] [a]
- Yam.Swagger: ipartsOf' :: (Indexable [i] p, Functor f) => Over (Indexed i) (Bazaar' (Indexed i) a) s t a a -> Over p f s t [a] [a]
- Yam.Swagger: ipassing :: MonadWriter w m => IndexedSetter i w w u v -> m (a, i -> u -> v) -> m a
- Yam.Swagger: iplens :: () => (s -> a) -> (s -> b -> t) -> IndexPreservingLens s t a b
- Yam.Swagger: ipre :: () => IndexedGetting i (First (i, a)) s a -> IndexPreservingGetter s (Maybe (i, a))
- Yam.Swagger: ipreuse :: MonadState s m => IndexedGetting i (First (i, a)) s a -> m (Maybe (i, a))
- Yam.Swagger: ipreuses :: MonadState s m => IndexedGetting i (First r) s a -> (i -> a -> r) -> m (Maybe r)
- Yam.Swagger: ipreview :: MonadReader s m => IndexedGetting i (First (i, a)) s a -> m (Maybe (i, a))
- Yam.Swagger: ipreviews :: MonadReader s m => IndexedGetting i (First r) s a -> (i -> a -> r) -> m (Maybe r)
- Yam.Swagger: iset :: () => AnIndexedSetter i s t a b -> (i -> b) -> s -> t
- Yam.Swagger: isets :: () => ((i -> a -> b) -> s -> t) -> IndexedSetter i s t a b
- Yam.Swagger: isn't :: () => APrism s t a b -> s -> Bool
- Yam.Swagger: iso :: () => (s -> a) -> (b -> t) -> Iso s t a b
- Yam.Swagger: itakingWhile :: (Indexable i p, Profunctor q, Contravariant f, Applicative f) => (i -> a -> Bool) -> Optical' (Indexed i) q (Const (Endo (f s)) :: Type -> Type) s a -> Optical' p q f s a
- Yam.Swagger: iterated :: Apply f => (a -> a) -> LensLike' f a a
- Yam.Swagger: ito :: (Indexable i p, Contravariant f) => (s -> (i, a)) -> Over' p f s a
- Yam.Swagger: itoList :: FoldableWithIndex i f => f a -> [(i, a)]
- Yam.Swagger: itoListOf :: () => IndexedGetting i (Endo [(i, a)]) s a -> s -> [(i, a)]
- Yam.Swagger: itraverse :: (TraversableWithIndex i t, Applicative f) => (i -> a -> f b) -> t a -> f (t b)
- Yam.Swagger: itraverseBy :: TraversableWithIndex i t => (forall x. () => x -> f x) -> (forall x y. () => f (x -> y) -> f x -> f y) -> (i -> a -> f b) -> t a -> f (t b)
- Yam.Swagger: itraverseByOf :: () => IndexedTraversal i s t a b -> (forall x. () => x -> f x) -> (forall x y. () => f (x -> y) -> f x -> f y) -> (i -> a -> f b) -> s -> f t
- Yam.Swagger: itraverseOf :: () => (Indexed i a (f b) -> s -> f t) -> (i -> a -> f b) -> s -> f t
- Yam.Swagger: itraverseOf_ :: Functor f => IndexedGetting i (Traversed r f) s a -> (i -> a -> f r) -> s -> f ()
- Yam.Swagger: itraverse_ :: (FoldableWithIndex i t, Applicative f) => (i -> a -> f b) -> t a -> f ()
- Yam.Swagger: itraversed :: TraversableWithIndex i t => IndexedTraversal i (t a) (t b) a b
- Yam.Swagger: iunsafePartsOf :: (Indexable [i] p, Functor f) => Traversing (Indexed i) f s t a b -> Over p f s t [a] [b]
- Yam.Swagger: iunsafePartsOf' :: () => Over (Indexed i) (Bazaar (Indexed i) a b) s t a b -> IndexedLens [i] s t [a] [b]
- Yam.Swagger: iuse :: MonadState s m => IndexedGetting i (i, a) s a -> m (i, a)
- Yam.Swagger: iuses :: MonadState s m => IndexedGetting i r s a -> (i -> a -> r) -> m r
- Yam.Swagger: iview :: MonadReader s m => IndexedGetting i (i, a) s a -> m (i, a)
- Yam.Swagger: iviews :: MonadReader s m => IndexedGetting i r s a -> (i -> a -> r) -> m r
- Yam.Swagger: ix :: Ixed m => Index m -> Traversal' m (IxValue m)
- Yam.Swagger: ixAt :: At m => Index m -> Traversal' m (IxValue m)
- Yam.Swagger: last1Of :: () => Getting (Last a) s a -> s -> a
- Yam.Swagger: lastOf :: () => Getting (Rightmost a) s a -> s -> Maybe a
- Yam.Swagger: lazy :: Strict lazy strict => Iso' strict lazy
- Yam.Swagger: left' :: Choice p => p a b -> p (Either a c) (Either b c)
- Yam.Swagger: lengthOf :: () => Getting (Endo (Endo Int)) s a -> s -> Int
- Yam.Swagger: lens :: () => (s -> a) -> (s -> b -> t) -> Lens s t a b
- Yam.Swagger: lensClass :: Lens' LensRules ClassyNamer
- Yam.Swagger: lensField :: Lens' LensRules FieldNamer
- Yam.Swagger: lensRules :: LensRules
- Yam.Swagger: lensRulesFor :: [(String, String)] -> LensRules
- Yam.Swagger: levels :: Applicative f => Traversing ((->) :: Type -> Type -> Type) f s t a b -> IndexedLensLike Int f s t (Level () a) (Level () b)
- Yam.Swagger: lifted :: Monad m => Setter (m a) (m b) a b
- Yam.Swagger: like :: (Profunctor p, Contravariant f, Functor f) => a -> Optic' p f s a
- Yam.Swagger: lined :: Applicative f => IndexedLensLike' Int f String String
- Yam.Swagger: listening :: MonadWriter w m => Getting u w u -> m a -> m (a, u)
- Yam.Swagger: listenings :: MonadWriter w m => Getting v w u -> (u -> v) -> m a -> m (a, v)
- Yam.Swagger: lmap :: Profunctor p => (a -> b) -> p b c -> p a c
- Yam.Swagger: lmapping :: (Profunctor p, Profunctor q) => AnIso s t a b -> Iso (p a x) (q b y) (p s x) (q t y)
- Yam.Swagger: loci :: () => Traversal (Bazaar ((->) :: Type -> Type -> Type) a c s) (Bazaar ((->) :: Type -> Type -> Type) b c s) a b
- Yam.Swagger: locus :: IndexedComonadStore p => Lens (p a c s) (p b c s) a b
- Yam.Swagger: lookingupNamer :: [(String, String)] -> FieldNamer
- Yam.Swagger: lookupOf :: Eq k => Getting (Endo (Maybe v)) s (k, v) -> k -> s -> Maybe v
- Yam.Swagger: magma :: () => LensLike (Mafic a b) s t a b -> Iso s u (Magma Int t b a) (Magma j u c c)
- Yam.Swagger: magnify :: Magnify m n b a => LensLike' (Magnified m c) a b -> m c -> n c
- Yam.Swagger: makeClassy :: Name -> DecsQ
- Yam.Swagger: makeClassyFor :: String -> String -> [(String, String)] -> Name -> DecsQ
- Yam.Swagger: makeClassyPrisms :: Name -> DecsQ
- Yam.Swagger: makeClassy_ :: Name -> DecsQ
- Yam.Swagger: makeFields :: Name -> DecsQ
- Yam.Swagger: makeFieldsNoPrefix :: Name -> DecsQ
- Yam.Swagger: makeLenses :: Name -> DecsQ
- Yam.Swagger: makeLensesFor :: [(String, String)] -> Name -> DecsQ
- Yam.Swagger: makeLensesWith :: LensRules -> Name -> DecsQ
- Yam.Swagger: makePrisms :: Name -> DecsQ
- Yam.Swagger: makeWrapped :: Name -> DecsQ
- Yam.Swagger: mapAccumLOf :: () => LensLike (State acc) s t a b -> (acc -> a -> (acc, b)) -> acc -> s -> (acc, t)
- Yam.Swagger: mapAccumROf :: () => LensLike (Backwards (State acc)) s t a b -> (acc -> a -> (acc, b)) -> acc -> s -> (acc, t)
- Yam.Swagger: mapEq :: () => AnEquality s t a b -> f s -> f a
- Yam.Swagger: mapMOf :: () => LensLike (WrappedMonad m) s t a b -> (a -> m b) -> s -> m t
- Yam.Swagger: mapMOf_ :: Monad m => Getting (Sequenced r m) s a -> (a -> m r) -> s -> m ()
- Yam.Swagger: mapOf :: () => ASetter s t a b -> (a -> b) -> s -> t
- Yam.Swagger: mapped :: Functor f => Setter (f a) (f b) a b
- Yam.Swagger: mapping :: (Functor f, Functor g) => AnIso s t a b -> Iso (f s) (g t) (f a) (g b)
- Yam.Swagger: mappingNamer :: (String -> [String]) -> FieldNamer
- Yam.Swagger: matching :: () => APrism s t a b -> s -> Either t a
- Yam.Swagger: maximum1Of :: Ord a => Getting (Max a) s a -> s -> a
- Yam.Swagger: maximumByOf :: () => Getting (Endo (Endo (Maybe a))) s a -> (a -> a -> Ordering) -> s -> Maybe a
- Yam.Swagger: maximumOf :: Ord a => Getting (Endo (Endo (Maybe a))) s a -> s -> Maybe a
- Yam.Swagger: minimum1Of :: Ord a => Getting (Min a) s a -> s -> a
- Yam.Swagger: minimumByOf :: () => Getting (Endo (Endo (Maybe a))) s a -> (a -> a -> Ordering) -> s -> Maybe a
- Yam.Swagger: minimumOf :: Ord a => Getting (Endo (Endo (Maybe a))) s a -> s -> Maybe a
- Yam.Swagger: modifying :: MonadState s m => ASetter s s a b -> (a -> b) -> m ()
- Yam.Swagger: msumOf :: MonadPlus m => Getting (Endo (m a)) s (m a) -> s -> m a
- Yam.Swagger: nearly :: () => a -> (a -> Bool) -> Prism' a ()
- Yam.Swagger: newtype Bazaar (p :: Type -> Type -> Type) a b t
- Yam.Swagger: newtype Bazaar1 (p :: Type -> Type -> Type) a b t
- Yam.Swagger: newtype Identity a
- Yam.Swagger: newtype Indexed i a b
- Yam.Swagger: newtype ReifiedFold s a
- Yam.Swagger: newtype ReifiedGetter s a
- Yam.Swagger: newtype ReifiedIndexedFold i s a
- Yam.Swagger: newtype ReifiedIndexedGetter i s a
- Yam.Swagger: newtype ReifiedIndexedLens i s t a b
- Yam.Swagger: newtype ReifiedIndexedSetter i s t a b
- Yam.Swagger: newtype ReifiedIndexedTraversal i s t a b
- Yam.Swagger: newtype ReifiedIso s t a b
- Yam.Swagger: newtype ReifiedLens s t a b
- Yam.Swagger: newtype ReifiedPrism s t a b
- Yam.Swagger: newtype ReifiedSetter s t a b
- Yam.Swagger: newtype ReifiedTraversal s t a b
- Yam.Swagger: newtype Const a (b :: k) :: forall k. () => Type -> k -> Type
- Yam.Swagger: non :: Eq a => a -> Iso' (Maybe a) a
- Yam.Swagger: non' :: () => APrism' a () -> Iso' (Maybe a) a
- Yam.Swagger: none :: Foldable f => (a -> Bool) -> f a -> Bool
- Yam.Swagger: noneOf :: () => Getting Any s a -> (a -> Bool) -> s -> Bool
- Yam.Swagger: notElemOf :: Eq a => Getting All s a -> a -> s -> Bool
- Yam.Swagger: notNullOf :: () => Getting Any s a -> s -> Bool
- Yam.Swagger: nullOf :: () => Getting All s a -> s -> Bool
- Yam.Swagger: only :: Eq a => a -> Prism' a ()
- Yam.Swagger: op :: Wrapped s => (Unwrapped s -> s) -> s -> Unwrapped s
- Yam.Swagger: orOf :: () => Getting Any s Bool -> s -> Bool
- Yam.Swagger: outside :: Representable p => APrism s t a b -> Lens (p t r) (p s r) (p b r) (p a r)
- Yam.Swagger: over :: () => ASetter s t a b -> (a -> b) -> s -> t
- Yam.Swagger: overA :: Arrow ar => LensLike (Context a b) s t a b -> ar a b -> ar s t
- Yam.Swagger: para :: Plated a => (a -> [r] -> r) -> a -> r
- Yam.Swagger: paraOf :: () => Getting (Endo [a]) a a -> (a -> [r] -> r) -> a -> r
- Yam.Swagger: parts :: Plated a => Lens' a [a]
- Yam.Swagger: partsOf :: Functor f => Traversing ((->) :: Type -> Type -> Type) f s t a a -> LensLike f s t [a] [a]
- Yam.Swagger: partsOf' :: () => ATraversal s t a a -> Lens s t [a] [a]
- Yam.Swagger: passing :: MonadWriter w m => Setter w w u v -> m (a, u -> v) -> m a
- Yam.Swagger: pattern Wrapped :: forall s. Rewrapped s s => () => Unwrapped s -> s
- Yam.Swagger: pattern List :: forall l. IsList l => () => [Item l] -> l
- Yam.Swagger: pattern (:>) :: forall a b. Snoc a a b b => () => a -> b -> a
- Yam.Swagger: pattern Swapped :: forall (p :: Type -> Type -> Type) c d. Swapped p => () => p d c -> p c d
- Yam.Swagger: pattern Reversed :: forall t. Reversing t => () => t -> t
- Yam.Swagger: plate :: Plated a => Traversal' a a
- Yam.Swagger: pre :: () => Getting (First a) s a -> IndexPreservingGetter s (Maybe a)
- Yam.Swagger: preuse :: MonadState s m => Getting (First a) s a -> m (Maybe a)
- Yam.Swagger: preuses :: MonadState s m => Getting (First r) s a -> (a -> r) -> m (Maybe r)
- Yam.Swagger: preview :: MonadReader s m => Getting (First a) s a -> m (Maybe a)
- Yam.Swagger: previews :: MonadReader s m => Getting (First r) s a -> (a -> r) -> m (Maybe r)
- Yam.Swagger: prism :: () => (b -> t) -> (s -> Either t a) -> Prism s t a b
- Yam.Swagger: prism' :: () => (b -> s) -> (s -> Maybe a) -> Prism s s a b
- Yam.Swagger: productOf :: Num a => Getting (Endo (Endo a)) s a -> s -> a
- Yam.Swagger: re :: () => AReview t b -> Getter b t
- Yam.Swagger: reindexed :: Indexable j p => (i -> j) -> (Indexed i a b -> r) -> p a b -> r
- Yam.Swagger: repeated :: Apply f => LensLike' f a a
- Yam.Swagger: replicated :: () => Int -> Fold a a
- Yam.Swagger: retagged :: (Profunctor p, Bifunctor p) => p a b -> p s b
- Yam.Swagger: reuse :: MonadState b m => AReview t b -> m t
- Yam.Swagger: reuses :: MonadState b m => AReview t b -> (t -> r) -> m r
- Yam.Swagger: reversed :: Reversing a => Iso' a a
- Yam.Swagger: reversing :: Reversing t => t -> t
- Yam.Swagger: review :: MonadReader b m => AReview t b -> m t
- Yam.Swagger: reviews :: MonadReader b m => AReview t b -> (t -> r) -> m r
- Yam.Swagger: rewrite :: Plated a => (a -> Maybe a) -> a -> a
- Yam.Swagger: rewriteM :: (Monad m, Plated a) => (a -> m (Maybe a)) -> a -> m a
- Yam.Swagger: rewriteMOf :: Monad m => LensLike (WrappedMonad m) a b a b -> (b -> m (Maybe a)) -> a -> m b
- Yam.Swagger: rewriteMOn :: (Monad m, Plated a) => LensLike (WrappedMonad m) s t a a -> (a -> m (Maybe a)) -> s -> m t
- Yam.Swagger: rewriteMOnOf :: Monad m => LensLike (WrappedMonad m) s t a b -> LensLike (WrappedMonad m) a b a b -> (b -> m (Maybe a)) -> s -> m t
- Yam.Swagger: rewriteOf :: () => ASetter a b a b -> (b -> Maybe a) -> a -> b
- Yam.Swagger: rewriteOn :: Plated a => ASetter s t a a -> (a -> Maybe a) -> s -> t
- Yam.Swagger: rewriteOnOf :: () => ASetter s t a b -> ASetter a b a b -> (b -> Maybe a) -> s -> t
- Yam.Swagger: right' :: Choice p => p a b -> p (Either c a) (Either c b)
- Yam.Swagger: rmap :: Profunctor p => (b -> c) -> p a b -> p a c
- Yam.Swagger: rmapping :: (Profunctor p, Profunctor q) => AnIso s t a b -> Iso (p x s) (q y t) (p x a) (q y b)
- Yam.Swagger: runEq :: () => AnEquality s t a b -> Identical s t a b
- Yam.Swagger: sans :: At m => Index m -> m -> m
- Yam.Swagger: scanl1Of :: () => LensLike (State (Maybe a)) s t a a -> (a -> a -> a) -> s -> t
- Yam.Swagger: scanr1Of :: () => LensLike (Backwards (State (Maybe a))) s t a a -> (a -> a -> a) -> s -> t
- Yam.Swagger: scribe :: (MonadWriter t m, Monoid s) => ASetter s t a b -> b -> m ()
- Yam.Swagger: seconding :: (Bifunctor f, Bifunctor g) => AnIso s t a b -> Iso (f x s) (g y t) (f x a) (g y b)
- Yam.Swagger: selfIndex :: Indexable a p => p a fb -> a -> fb
- Yam.Swagger: sequence1Of_ :: Functor f => Getting (TraversedF a f) s (f a) -> s -> f ()
- Yam.Swagger: sequenceAOf :: () => LensLike f s t (f b) b -> s -> f t
- Yam.Swagger: sequenceAOf_ :: Functor f => Getting (Traversed a f) s (f a) -> s -> f ()
- Yam.Swagger: sequenceBy :: Traversable t => (forall x. () => x -> f x) -> (forall x y. () => f (x -> y) -> f x -> f y) -> t (f a) -> f (t a)
- Yam.Swagger: sequenceByOf :: () => Traversal s t (f b) b -> (forall x. () => x -> f x) -> (forall x y. () => f (x -> y) -> f x -> f y) -> s -> f t
- Yam.Swagger: sequenceOf :: () => LensLike (WrappedMonad m) s t (m b) b -> s -> m t
- Yam.Swagger: sequenceOf_ :: Monad m => Getting (Sequenced a m) s (m a) -> s -> m ()
- Yam.Swagger: set :: () => ASetter s t a b -> b -> s -> t
- Yam.Swagger: set' :: () => ASetter' s a -> a -> s -> s
- Yam.Swagger: sets :: (Profunctor p, Profunctor q, Settable f) => (p a b -> q s t) -> Optical p q f s t a b
- Yam.Swagger: setting :: () => ((a -> b) -> s -> t) -> IndexPreservingSetter s t a b
- Yam.Swagger: simple :: () => Equality' a a
- Yam.Swagger: simpleLenses :: Lens' LensRules Bool
- Yam.Swagger: simply :: () => (Optic' p f s a -> r) -> Optic' p f s a -> r
- Yam.Swagger: singular :: (HasCallStack, Conjoined p, Functor f) => Traversing p f s t a a -> Over p f s t a a
- Yam.Swagger: snoc :: Snoc s s a a => s -> a -> s
- Yam.Swagger: storing :: () => ALens s t a b -> b -> s -> t
- Yam.Swagger: strict :: Strict lazy strict => Iso' lazy strict
- Yam.Swagger: substEq :: () => AnEquality s t a b -> ((s ~ a) -> (t ~ b) -> r) -> r
- Yam.Swagger: sumOf :: Num a => Getting (Endo (Endo a)) s a -> s -> a
- Yam.Swagger: swapped :: Swapped p => Iso (p a b) (p c d) (p b a) (p d c)
- Yam.Swagger: taking :: (Conjoined p, Applicative f) => Int -> Traversing p f s t a a -> Over p f s t a a
- Yam.Swagger: takingWhile :: (Conjoined p, Applicative f) => (a -> Bool) -> Over p (TakingWhile p f a a) s t a a -> Over p f s t a a
- Yam.Swagger: to :: (Profunctor p, Contravariant f) => (s -> a) -> Optic' p f s a
- Yam.Swagger: toListOf :: () => Getting (Endo [a]) s a -> s -> [a]
- Yam.Swagger: toNonEmptyOf :: () => Getting (NonEmptyDList a) s a -> s -> NonEmpty a
- Yam.Swagger: transform :: Plated a => (a -> a) -> a -> a
- Yam.Swagger: transformM :: (Monad m, Plated a) => (a -> m a) -> a -> m a
- Yam.Swagger: transformMOf :: Monad m => LensLike (WrappedMonad m) a b a b -> (b -> m b) -> a -> m b
- Yam.Swagger: transformMOn :: (Monad m, Plated a) => LensLike (WrappedMonad m) s t a a -> (a -> m a) -> s -> m t
- Yam.Swagger: transformMOnOf :: Monad m => LensLike (WrappedMonad m) s t a b -> LensLike (WrappedMonad m) a b a b -> (b -> m b) -> s -> m t
- Yam.Swagger: transformOf :: () => ASetter a b a b -> (b -> b) -> a -> b
- Yam.Swagger: transformOn :: Plated a => ASetter s t a a -> (a -> a) -> s -> t
- Yam.Swagger: transformOnOf :: () => ASetter s t a b -> ASetter a b a b -> (b -> b) -> s -> t
- Yam.Swagger: transposeOf :: () => LensLike ZipList s t [a] a -> s -> [t]
- Yam.Swagger: traverse :: (Traversable t, Applicative f) => (a -> f b) -> t a -> f (t b)
- Yam.Swagger: traverse1 :: (Traversable1 t, Apply f) => (a -> f b) -> t a -> f (t b)
- Yam.Swagger: traverse1Of_ :: Functor f => Getting (TraversedF r f) s a -> (a -> f r) -> s -> f ()
- Yam.Swagger: traverseBy :: Traversable t => (forall x. () => x -> f x) -> (forall x y. () => f (x -> y) -> f x -> f y) -> (a -> f b) -> t a -> f (t b)
- Yam.Swagger: traverseByOf :: () => Traversal s t a b -> (forall x. () => x -> f x) -> (forall x y. () => f (x -> y) -> f x -> f y) -> (a -> f b) -> s -> f t
- Yam.Swagger: traverseMax :: TraverseMax k m => IndexedTraversal' k (m v) v
- Yam.Swagger: traverseMin :: TraverseMin k m => IndexedTraversal' k (m v) v
- Yam.Swagger: traverseOf :: () => LensLike f s t a b -> (a -> f b) -> s -> f t
- Yam.Swagger: traverseOf_ :: Functor f => Getting (Traversed r f) s a -> (a -> f r) -> s -> f ()
- Yam.Swagger: traversed :: Traversable f => IndexedTraversal Int (f a) (f b) a b
- Yam.Swagger: traversed1 :: Traversable1 f => IndexedTraversal1 Int (f a) (f b) a b
- Yam.Swagger: traversed64 :: Traversable f => IndexedTraversal Int64 (f a) (f b) a b
- Yam.Swagger: type ALens s t a b = LensLike Pretext ((->) :: Type -> Type -> Type) a b s t a b
- Yam.Swagger: type ALens' s a = ALens s s a a
- Yam.Swagger: type APrism s t a b = Market a b a Identity b -> Market a b s Identity t
- Yam.Swagger: type APrism' s a = APrism s s a a
- Yam.Swagger: type AReview t b = Optic' (Tagged :: Type -> Type -> Type) Identity t b
- Yam.Swagger: type ASetter s t a b = a -> Identity b -> s -> Identity t
- Yam.Swagger: type ASetter' s a = ASetter s s a a
- Yam.Swagger: type ATraversal s t a b = LensLike Bazaar ((->) :: Type -> Type -> Type) a b s t a b
- Yam.Swagger: type ATraversal' s a = ATraversal s s a a
- Yam.Swagger: type ATraversal1 s t a b = LensLike Bazaar1 ((->) :: Type -> Type -> Type) a b s t a b
- Yam.Swagger: type ATraversal1' s a = ATraversal1 s s a a
- Yam.Swagger: type Accessing (p :: Type -> Type -> Type) m s a = p a Const m a -> s -> Const m s
- Yam.Swagger: type AnEquality (s :: k1) (t :: k2) (a :: k1) (b :: k2) = Identical a Proxy b a Proxy b -> Identical a Proxy b s Proxy t
- Yam.Swagger: type AnEquality' (s :: k2) (a :: k2) = AnEquality s s a a
- Yam.Swagger: type AnIndexedLens i s t a b = Optical Indexed i ((->) :: Type -> Type -> Type) Pretext Indexed i a b s t a b
- Yam.Swagger: type AnIndexedLens' i s a = AnIndexedLens i s s a a
- Yam.Swagger: type AnIndexedSetter i s t a b = Indexed i a Identity b -> s -> Identity t
- Yam.Swagger: type AnIndexedSetter' i s a = AnIndexedSetter i s s a a
- Yam.Swagger: type AnIndexedTraversal i s t a b = Over Indexed i Bazaar Indexed i a b s t a b
- Yam.Swagger: type AnIndexedTraversal' i s a = AnIndexedTraversal i s s a a
- Yam.Swagger: type AnIndexedTraversal1 i s t a b = Over Indexed i Bazaar1 Indexed i a b s t a b
- Yam.Swagger: type AnIndexedTraversal1' i s a = AnIndexedTraversal1 i s s a a
- Yam.Swagger: type AnIso s t a b = Exchange a b a Identity b -> Exchange a b s Identity t
- Yam.Swagger: type AnIso' s a = AnIso s s a a
- Yam.Swagger: type As (a :: k2) = Equality' a a
- Yam.Swagger: type Bazaar' (p :: Type -> Type -> Type) a = Bazaar p a a
- Yam.Swagger: type Bazaar1' (p :: Type -> Type -> Type) a = Bazaar1 p a a
- Yam.Swagger: type ClassyNamer = Name -> Maybe (Name, Name)
- Yam.Swagger: type Context' a = Context a a
- Yam.Swagger: type Equality' (s :: k2) (a :: k2) = Equality s s a a
- Yam.Swagger: type FieldNamer = Name -> [Name] -> Name -> [DefName]
- Yam.Swagger: type Getting r s a = a -> Const r a -> s -> Const r s
- Yam.Swagger: type IndexPreservingLens' s a = IndexPreservingLens s s a a
- Yam.Swagger: type IndexPreservingSetter' s a = IndexPreservingSetter s s a a
- Yam.Swagger: type IndexPreservingTraversal' s a = IndexPreservingTraversal s s a a
- Yam.Swagger: type IndexPreservingTraversal1' s a = IndexPreservingTraversal1 s s a a
- Yam.Swagger: type IndexedGetting i m s a = Indexed i a Const m a -> s -> Const m s
- Yam.Swagger: type IndexedLens' i s a = IndexedLens i s s a a
- Yam.Swagger: type IndexedLensLike' i (f :: Type -> Type) s a = IndexedLensLike i f s s a a
- Yam.Swagger: type IndexedSetter' i s a = IndexedSetter i s s a a
- Yam.Swagger: type IndexedTraversal' i s a = IndexedTraversal i s s a a
- Yam.Swagger: type IndexedTraversal1' i s a = IndexedTraversal1 i s s a a
- Yam.Swagger: type Iso' s a = Iso s s a a
- Yam.Swagger: type Lens' s a = Lens s s a a
- Yam.Swagger: type LensLike (f :: k -> Type) s (t :: k) a (b :: k) = a -> f b -> s -> f t
- Yam.Swagger: type LensLike' (f :: Type -> Type) s a = LensLike f s s a a
- Yam.Swagger: type Optic (p :: k1 -> k -> Type) (f :: k2 -> k) (s :: k1) (t :: k2) (a :: k1) (b :: k2) = p a f b -> p s f t
- Yam.Swagger: type Optic' (p :: k1 -> k -> Type) (f :: k1 -> k) (s :: k1) (a :: k1) = Optic p f s s a a
- Yam.Swagger: type Optical (p :: k2 -> k -> Type) (q :: k1 -> k -> Type) (f :: k3 -> k) (s :: k1) (t :: k3) (a :: k2) (b :: k3) = p a f b -> q s f t
- Yam.Swagger: type Optical' (p :: k1 -> k -> Type) (q :: k1 -> k -> Type) (f :: k1 -> k) (s :: k1) (a :: k1) = Optical p q f s s a a
- Yam.Swagger: type Over (p :: k -> Type -> Type) (f :: k1 -> Type) s (t :: k1) (a :: k) (b :: k1) = p a f b -> s -> f t
- Yam.Swagger: type Over' (p :: Type -> Type -> Type) (f :: Type -> Type) s a = Over p f s s a a
- Yam.Swagger: type Prism' s a = Prism s s a a
- Yam.Swagger: type ReifiedIndexedLens' i s a = ReifiedIndexedLens i s s a a
- Yam.Swagger: type ReifiedIndexedSetter' i s a = ReifiedIndexedSetter i s s a a
- Yam.Swagger: type ReifiedIndexedTraversal' i s a = ReifiedIndexedTraversal i s s a a
- Yam.Swagger: type ReifiedIso' s a = ReifiedIso s s a a
- Yam.Swagger: type ReifiedLens' s a = ReifiedLens s s a a
- Yam.Swagger: type ReifiedPrism' s a = ReifiedPrism s s a a
- Yam.Swagger: type ReifiedSetter' s a = ReifiedSetter s s a a
- Yam.Swagger: type ReifiedTraversal' s a = ReifiedTraversal s s a a
- Yam.Swagger: type Setter' s a = Setter s s a a
- Yam.Swagger: type Setting (p :: Type -> Type -> Type) s t a b = p a Identity b -> s -> Identity t
- Yam.Swagger: type Setting' (p :: Type -> Type -> Type) s a = Setting p s s a a
- Yam.Swagger: type Simple (f :: k -> k -> k1 -> k1 -> k2) (s :: k) (a :: k1) = f s s a a
- Yam.Swagger: type Traversal' s a = Traversal s s a a
- Yam.Swagger: type Traversal1' s a = Traversal1 s s a a
- Yam.Swagger: type Traversing (p :: Type -> Type -> Type) (f :: Type -> Type) s t a b = Over p BazaarT p f a b s t a b
- Yam.Swagger: type Traversing' (p :: Type -> Type -> Type) (f :: Type -> Type) s a = Traversing p f s s a a
- Yam.Swagger: type Traversing1 (p :: Type -> Type -> Type) (f :: Type -> Type) s t a b = Over p BazaarT1 p f a b s t a b
- Yam.Swagger: type Traversing1' (p :: Type -> Type -> Type) (f :: Type -> Type) s a = Traversing1 p f s s a a
- Yam.Swagger: type Fold1 s a = forall (f :: Type -> Type). (Contravariant f, Apply f) => a -> f a -> s -> f s
- Yam.Swagger: type family Unwrapped s :: Type;
- Yam.Swagger: type IndexedLensLike i (f :: k -> Type) s (t :: k) a (b :: k) = forall (p :: Type -> Type -> Type). Indexable i p => p a f b -> s -> f t
- Yam.Swagger: un :: (Profunctor p, Bifunctor p, Functor f) => Getting a s a -> Optic' p f a s
- Yam.Swagger: uncons :: Cons s s a a => s -> Maybe (a, s)
- Yam.Swagger: uncurried :: () => Iso (a -> b -> c) (d -> e -> f) ((a, b) -> c) ((d, e) -> f)
- Yam.Swagger: under :: () => AnIso s t a b -> (t -> s) -> b -> a
- Yam.Swagger: underscoreFields :: LensRules
- Yam.Swagger: underscoreNamer :: FieldNamer
- Yam.Swagger: underscoreNoPrefixNamer :: FieldNamer
- Yam.Swagger: unfolded :: () => (b -> Maybe (a, b)) -> Fold b a
- Yam.Swagger: united :: () => Lens' a ()
- Yam.Swagger: universe :: Plated a => a -> [a]
- Yam.Swagger: universeOf :: () => Getting [a] a a -> a -> [a]
- Yam.Swagger: universeOn :: Plated a => Getting [a] s a -> s -> [a]
- Yam.Swagger: universeOnOf :: () => Getting [a] s a -> Getting [a] a a -> s -> [a]
- Yam.Swagger: unsafePartsOf :: Functor f => Traversing ((->) :: Type -> Type -> Type) f s t a b -> LensLike f s t [a] [b]
- Yam.Swagger: unsafePartsOf' :: () => ATraversal s t a b -> Lens s t [a] [b]
- Yam.Swagger: unsafeSingular :: (HasCallStack, Conjoined p, Functor f) => Traversing p f s t a b -> Over p f s t a b
- Yam.Swagger: unsnoc :: Snoc s s a a => s -> Maybe (s, a)
- Yam.Swagger: unto :: (Profunctor p, Bifunctor p, Functor f) => (b -> t) -> Optic p f s t a b
- Yam.Swagger: use :: MonadState s m => Getting a s a -> m a
- Yam.Swagger: uses :: MonadState s m => LensLike' (Const r :: Type -> Type) s a -> (a -> r) -> m r
- Yam.Swagger: view :: MonadReader s m => Getting a s a -> m a
- Yam.Swagger: views :: MonadReader s m => LensLike' (Const r :: Type -> Type) s a -> (a -> r) -> m r
- Yam.Swagger: withIndex :: (Indexable i p, Functor f) => p (i, s) (f (j, t)) -> Indexed i s (f t)
- Yam.Swagger: withIso :: () => AnIso s t a b -> ((s -> a) -> (b -> t) -> r) -> r
- Yam.Swagger: withPrism :: () => APrism s t a b -> ((b -> t) -> (s -> Either t a) -> r) -> r
- Yam.Swagger: without :: () => APrism s t a b -> APrism u v c d -> Prism (Either s u) (Either t v) (Either a c) (Either b d)
- Yam.Swagger: worded :: Applicative f => IndexedLensLike' Int f String String
- Yam.Swagger: zoom :: Zoom m n s t => LensLike' (Zoomed m c) t s -> m c -> n c
- Yam.Swagger: }
- Yam.Types.Env: AppConfig :: Text -> Int -> Int -> AppConfig
- Yam.Types.Env: Env :: Vault -> Maybe Vault -> AppConfig -> Env
- Yam.Types.Env: [$sel:application:Env] :: Env -> AppConfig
- Yam.Types.Env: [$sel:attributes:Env] :: Env -> Vault
- Yam.Types.Env: [$sel:name:AppConfig] :: AppConfig -> Text
- Yam.Types.Env: [$sel:port:AppConfig] :: AppConfig -> Int
- Yam.Types.Env: [$sel:reqAttributes:Env] :: Env -> Maybe Vault
- Yam.Types.Env: [$sel:slowlorisSize:AppConfig] :: AppConfig -> Int
- Yam.Types.Env: data AppConfig
- Yam.Types.Env: data Env
- Yam.Types.Env: getAttr :: Key a -> Env -> Maybe a
- Yam.Types.Env: instance Data.Default.Class.Default Yam.Types.Env.AppConfig
- Yam.Types.Env: instance Data.Default.Class.Default Yam.Types.Env.Env
- Yam.Types.Env: instance Data.Salak.Types.FromProperties Yam.Types.Env.AppConfig
- Yam.Types.Env: instance GHC.Classes.Eq Yam.Types.Env.AppConfig
- Yam.Types.Env: instance GHC.Show.Show Yam.Types.Env.AppConfig
- Yam.Types.Env: reqAttr :: Default a => Key a -> Env -> a
- Yam.Types.Env: setAttr :: Key a -> a -> Env -> Env
- Yam.Types.Prelude: (.>>) :: FromProperties a => Properties -> Text -> a
- Yam.Types.Prelude: (.?=) :: Return a -> a -> Return a
- Yam.Types.Prelude: (.?>) :: FromProperties a => Properties -> Text -> Return a
- Yam.Types.Prelude: (.|=) :: Return a -> a -> a
- Yam.Types.Prelude: PBool :: !Bool -> Property
- Yam.Types.Prelude: PNum :: !Scientific -> Property
- Yam.Types.Prelude: PStr :: !Text -> Property
- Yam.Types.Prelude: [SomeException] :: forall e. Exception e => e -> SomeException
- Yam.Types.Prelude: askUnliftIO :: MonadUnliftIO m => m (UnliftIO m)
- Yam.Types.Prelude: bracket :: () => IO a -> (a -> IO b) -> (a -> IO c) -> IO c
- Yam.Types.Prelude: catch :: Exception e => IO a -> (e -> IO a) -> IO a
- Yam.Types.Prelude: catchError :: MonadError e m => m a -> (e -> m a) -> m a
- Yam.Types.Prelude: class Default a
- Yam.Types.Prelude: class FromProperties a
- Yam.Types.Prelude: class Monad m => MonadError e (m :: Type -> Type) | m -> e
- Yam.Types.Prelude: class MonadIO m => MonadUnliftIO (m :: Type -> Type)
- Yam.Types.Prelude: data Properties
- Yam.Types.Prelude: data Property
- Yam.Types.Prelude: data Return a
- Yam.Types.Prelude: data SomeException
- Yam.Types.Prelude: data Text
- Yam.Types.Prelude: decodeUtf8 :: ByteString -> Text
- Yam.Types.Prelude: def :: Default a => a
- Yam.Types.Prelude: defaultPropertiesWithFile :: FileName -> IO Properties
- Yam.Types.Prelude: encodeUtf8 :: Text -> ByteString
- Yam.Types.Prelude: fromException :: Exception e => SomeException -> Maybe e
- Yam.Types.Prelude: fromProperties :: FromProperties a => Properties -> Return a
- Yam.Types.Prelude: infixl 5 .|=
- Yam.Types.Prelude: newKey :: () => IO (Key a)
- Yam.Types.Prelude: pack :: String -> Text
- Yam.Types.Prelude: randomCode :: Vector Char -> Int -> IO String
- Yam.Types.Prelude: randomString :: IO ByteString
- Yam.Types.Prelude: showText :: Show a => a -> Text
- Yam.Types.Prelude: throw :: Exception e => e -> a
- Yam.Types.Prelude: throwError :: MonadError e m => e -> m a
- Yam.Types.Prelude: throwS :: (HasCallStack, MonadIO m, MonadLogger m) => ServantErr -> Text -> m a
- Yam.Types.Prelude: try :: Exception e => IO a -> IO (Either e a)
- Yam.Types.Prelude: type HasCallStack = ?callStack :: CallStack
- Yam.Types.Prelude: type Key = Key RealWorld
- Yam.Types.Prelude: type LogFunc = Loc -> LogSource -> LogLevel -> LogStr -> IO ()
- Yam.Types.Prelude: type Vault = Vault RealWorld
- Yam.Types.Prelude: whenException :: SomeException -> Response
- Yam.Types.Prelude: withRunInIO :: MonadUnliftIO m => ((forall a. () => m a -> IO a) -> IO b) -> m b
+ Yam.Types: (.>>) :: FromProperties a => Properties -> Text -> a
+ Yam.Types: (.?=) :: Return a -> a -> Return a
+ Yam.Types: (.?>) :: FromProperties a => Properties -> Text -> Return a
+ Yam.Types: (.|=) :: Return a -> a -> a
+ Yam.Types: AppConfig :: Text -> Int -> Int -> AppConfig
+ Yam.Types: Env :: Vault -> Maybe Vault -> AppConfig -> Env
+ Yam.Types: PBool :: !Bool -> Property
+ Yam.Types: PNum :: !Scientific -> Property
+ Yam.Types: PStr :: !Text -> Property
+ Yam.Types: [$sel:application:Env] :: Env -> AppConfig
+ Yam.Types: [$sel:attributes:Env] :: Env -> Vault
+ Yam.Types: [$sel:name:AppConfig] :: AppConfig -> Text
+ Yam.Types: [$sel:port:AppConfig] :: AppConfig -> Int
+ Yam.Types: [$sel:reqAttributes:Env] :: Env -> Maybe Vault
+ Yam.Types: [$sel:slowlorisSize:AppConfig] :: AppConfig -> Int
+ Yam.Types: [SomeException] :: forall e. Exception e => e -> SomeException
+ Yam.Types: askUnliftIO :: MonadUnliftIO m => m (UnliftIO m)
+ Yam.Types: bracket :: () => IO a -> (a -> IO b) -> (a -> IO c) -> IO c
+ Yam.Types: catch :: Exception e => IO a -> (e -> IO a) -> IO a
+ Yam.Types: catchError :: MonadError e m => m a -> (e -> m a) -> m a
+ Yam.Types: class Default a
+ Yam.Types: class FromProperties a
+ Yam.Types: class Monad m => MonadError e (m :: Type -> Type) | m -> e
+ Yam.Types: class MonadIO m => MonadUnliftIO (m :: Type -> Type)
+ Yam.Types: data AppConfig
+ Yam.Types: data Env
+ Yam.Types: data Properties
+ Yam.Types: data Property
+ Yam.Types: data Return a
+ Yam.Types: data SomeException
+ Yam.Types: data Text
+ Yam.Types: decodeUtf8 :: ByteString -> Text
+ Yam.Types: def :: Default a => a
+ Yam.Types: defaultPropertiesWithFile :: FileName -> IO Properties
+ Yam.Types: encodeUtf8 :: Text -> ByteString
+ Yam.Types: fromException :: Exception e => SomeException -> Maybe e
+ Yam.Types: fromProperties :: FromProperties a => Properties -> Return a
+ Yam.Types: getAttr :: Key a -> Env -> Maybe a
+ Yam.Types: infixl 5 .|=
+ Yam.Types: newKey :: () => IO (Key a)
+ Yam.Types: pack :: String -> Text
+ Yam.Types: randomCode :: Vector Char -> Int -> IO String
+ Yam.Types: randomString :: IO ByteString
+ Yam.Types: reqAttr :: Default a => Key a -> Env -> a
+ Yam.Types: setAttr :: Key a -> a -> Env -> Env
+ Yam.Types: showText :: Show a => a -> Text
+ Yam.Types: throw :: Exception e => e -> a
+ Yam.Types: throwError :: MonadError e m => e -> m a
+ Yam.Types: throwS :: (HasCallStack, MonadIO m, MonadLogger m) => ServantErr -> Text -> m a
+ Yam.Types: try :: Exception e => IO a -> IO (Either e a)
+ Yam.Types: type HasCallStack = ?callStack :: CallStack
+ Yam.Types: type Key = Key RealWorld
+ Yam.Types: type LogFunc = Loc -> LogSource -> LogLevel -> LogStr -> IO ()
+ Yam.Types: type Vault = Vault RealWorld
+ Yam.Types: whenException :: SomeException -> Response
+ Yam.Types: withRunInIO :: MonadUnliftIO m => ((forall a. () => m a -> IO a) -> IO b) -> m b
Files
- src/Yam.hs +4/−1
- src/Yam/Middleware/Auth.hs +7/−1
- src/Yam/Middleware/Client.hs +1/−0
- src/Yam/Middleware/Default.hs +4/−1
- src/Yam/Middleware/Trace.hs +1/−0
- src/Yam/Swagger.hs +0/−1
- src/Yam/Types.hs +1/−1
- src/Yam/Types/Env.hs +1/−0
- src/Yam/Types/Prelude.hs +7/−2
- yam.cabal +3/−3
src/Yam.hs view
@@ -1,8 +1,11 @@ module Yam(+ -- * Application module Yam.Internal- , module Yam.Logger , module Yam.Types+ -- * Modules+ , module Yam.Logger , module Yam.Swagger+ -- * Middlewares , module Yam.Middleware , module Yam.Middleware.Auth , module Yam.Middleware.Client
src/Yam/Middleware/Auth.hs view
@@ -1,4 +1,10 @@-module Yam.Middleware.Auth where+module Yam.Middleware.Auth(+ -- * Auth Middleware+ authAppMiddleware+ , CheckAuth+ , HasAuthKey(..)+ , AuthChecker(..)+ ) where import Control.Lens import Data.Swagger import qualified Data.Vault.Lazy as L
src/Yam/Middleware/Client.hs view
@@ -1,4 +1,5 @@ module Yam.Middleware.Client(+ -- * Client Middleware ClientConfig(..) , runClient , clientMiddleware
src/Yam/Middleware/Default.hs view
@@ -1,4 +1,7 @@-module Yam.Middleware.Default where+module Yam.Middleware.Default(+ -- * Default Middleware+ defaultMiddleware+ ) where import Yam.Middleware import Yam.Middleware.Client
src/Yam/Middleware/Trace.hs view
@@ -1,4 +1,5 @@ module Yam.Middleware.Trace(+ -- * Trace Middleware MonadTracer(..) , MonadTracing(..) , TraceConfig(..)
src/Yam/Swagger.hs view
@@ -2,7 +2,6 @@ module Yam.Swagger( SwaggerConfig(..) , serveWithContextAndSwagger- , module Control.Lens ) where import Control.Lens hiding (Context, Empty, allOf, (.=))
src/Yam/Types.hs view
@@ -1,5 +1,5 @@ module Yam.Types(- -- * AppM Monad+ -- * App Monad App , runApp , runTestApp
src/Yam/Types/Env.hs view
@@ -1,4 +1,5 @@ module Yam.Types.Env(+ -- * Environment AppConfig(..) , Env(..) , getAttr
src/Yam/Types/Prelude.hs view
@@ -1,13 +1,18 @@ {-# LANGUAGE CPP #-} {-# LANGUAGE ImplicitParams #-} {-# LANGUAGE UndecidableInstances #-}++#define IS_NEW() ((MIN_VERSION_salak(0,1,7) && !MIN_VERSION_salak(0.2.0)) || MIN_VERSION_salak(0.2.1))+ module Yam.Types.Prelude(+ -- * Utilities randomString , showText , throwS , randomCode , whenException-#if !MIN_VERSION_salak(0,1,7)+ -- * Reexport Functions+#if !IS_NEW , (.>>) , (.?>) , (.?=)@@ -78,7 +83,7 @@ import System.IO.Unsafe (unsafePerformIO) import System.Random.MWC -#if MIN_VERSION_salak(0,1,7)+#if IS_NEW import Data.Salak ((.>>), (.?=), (.?>), (.|=)) #else import qualified Data.Salak as S
yam.cabal view
@@ -1,6 +1,6 @@ cabal-version: 1.12 name: yam-version: 0.5.8+version: 0.5.9 license: BSD3 license-file: LICENSE copyright: (c) 2018 Daniel YU@@ -25,11 +25,11 @@ Yam.Middleware.Client Yam.Swagger Yam.Types- Yam.Types.Prelude- Yam.Types.Env Yam.Logger hs-source-dirs: src other-modules:+ Yam.Types.Prelude+ Yam.Types.Env Data.Opentracing Data.Opentracing.Types Data.Opentracing.Tracer