sitepipe 0.3.0.2 → 0.4.0.0
raw patch · 5 files changed
+90/−76 lines, 5 filesdep +transformersdep ~Globdep ~MissingHdep ~aesonPVP ok
version bump matches the API change (PVP)
Dependencies added: transformers
Dependency ranges changed: Glob, MissingH, aeson, base, bytestring, containers, directory, exceptions, filepath, lens, megaparsec, mtl, mustache, optparse-applicative, pandoc, parsec, shelly, text, unordered-containers, yaml
API changes (from Hackage documentation)
- SitePipe.Types: instance GHC.Exception.Exception SitePipe.Types.SitePipeError
+ SitePipe: (#%%=) :: MonadState s m => ALens s s a b -> (a -> (r, b)) -> m r
+ SitePipe: (#%%~) :: Functor f => ALens s t a b -> (a -> f b) -> s -> f t
+ SitePipe: (#%=) :: MonadState s m => ALens s s a b -> (a -> b) -> m ()
+ SitePipe: (#%~) :: () => ALens s t a b -> (a -> b) -> s -> t
+ SitePipe: (#) :: () => AReview t b -> b -> t
+ SitePipe: (#=) :: MonadState s m => ALens s s a b -> b -> m ()
+ SitePipe: (#~) :: () => ALens s t a b -> b -> s -> t
+ SitePipe: (%%=) :: MonadState s m => Over p ((,) r) s s a b -> p a (r, b) -> m r
+ SitePipe: (%%@=) :: MonadState s m => Over (Indexed i) ((,) r) s s a b -> (i -> a -> (r, b)) -> m r
+ SitePipe: (%%@~) :: () => Over (Indexed i) f s t a b -> (i -> a -> f b) -> s -> f t
+ SitePipe: (%%~) :: () => LensLike f s t a b -> (a -> f b) -> s -> f t
+ SitePipe: (%=) :: MonadState s m => ASetter s s a b -> (a -> b) -> m ()
+ SitePipe: (%@=) :: MonadState s m => AnIndexedSetter i s s a b -> (i -> a -> b) -> m ()
+ SitePipe: (%@~) :: () => AnIndexedSetter i s t a b -> (i -> a -> b) -> s -> t
+ SitePipe: (%~) :: () => ASetter s t a b -> (a -> b) -> s -> t
+ SitePipe: (&&=) :: MonadState s m => ASetter' s Bool -> Bool -> m ()
+ SitePipe: (&&~) :: () => ASetter s t Bool Bool -> Bool -> s -> t
+ SitePipe: (&) :: () => a -> (a -> b) -> b
+ SitePipe: (&~) :: () => s -> State s a -> s
+ SitePipe: (**=) :: (MonadState s m, Floating a) => ASetter' s a -> a -> m ()
+ SitePipe: (**~) :: Floating a => ASetter s t a a -> a -> s -> t
+ SitePipe: (*=) :: (MonadState s m, Num a) => ASetter' s a -> a -> m ()
+ SitePipe: (*~) :: Num a => ASetter s t a a -> a -> s -> t
+ SitePipe: (+=) :: (MonadState s m, Num a) => ASetter' s a -> a -> m ()
+ SitePipe: (+~) :: Num a => ASetter s t a a -> a -> s -> t
+ SitePipe: (-<.>) :: FilePath -> String -> FilePath
+ SitePipe: (-=) :: (MonadState s m, Num a) => ASetter' s a -> a -> m ()
+ SitePipe: (-~) :: Num a => ASetter s t a a -> a -> s -> t
+ SitePipe: (.!=) :: () => Parser (Maybe a) -> a -> Parser a
+ SitePipe: (...) :: (Applicative f, Plated c) => LensLike f s t c c -> Over p f c c a b -> Over p f s t a b
+ SitePipe: (.:!) :: FromJSON a => Object -> Text -> Parser (Maybe a)
+ SitePipe: (.:) :: FromJSON a => Object -> Text -> Parser a
+ SitePipe: (.:?) :: FromJSON a => Object -> Text -> Parser (Maybe a)
+ SitePipe: (.=) :: (KeyValue kv, ToJSON v) => Text -> v -> kv
+ SitePipe: (.>) :: () => (st -> r) -> (kab -> st) -> kab -> r
+ SitePipe: (.@=) :: MonadState s m => AnIndexedSetter i s s a b -> (i -> b) -> m ()
+ SitePipe: (.@~) :: () => AnIndexedSetter i s t a b -> (i -> b) -> s -> t
+ SitePipe: (.~) :: () => ASetter s t a b -> b -> s -> t
+ SitePipe: (//=) :: (MonadState s m, Fractional a) => ASetter' s a -> a -> m ()
+ SitePipe: (//~) :: Fractional a => ASetter s t a a -> a -> s -> t
+ SitePipe: (<#%=) :: MonadState s m => ALens s s a b -> (a -> b) -> m b
+ SitePipe: (<#%~) :: () => ALens s t a b -> (a -> b) -> s -> (b, t)
+ SitePipe: (<#=) :: MonadState s m => ALens s s a b -> b -> m b
+ SitePipe: (<#~) :: () => ALens s t a b -> b -> s -> (b, t)
+ SitePipe: (<%=) :: MonadState s m => LensLike ((,) b) s s a b -> (a -> b) -> m b
+ SitePipe: (<%@=) :: MonadState s m => Over (Indexed i) ((,) b) s s a b -> (i -> a -> b) -> m b
+ SitePipe: (<%@~) :: () => Over (Indexed i) ((,) b) s t a b -> (i -> a -> b) -> s -> (b, t)
+ SitePipe: (<%~) :: () => LensLike ((,) b) s t a b -> (a -> b) -> s -> (b, t)
+ SitePipe: (<&&=) :: MonadState s m => LensLike' ((,) Bool) s Bool -> Bool -> m Bool
+ SitePipe: (<&&~) :: () => LensLike ((,) Bool) s t Bool Bool -> Bool -> s -> (Bool, t)
+ SitePipe: (<&>) :: Functor f => f a -> (a -> b) -> f b
+ SitePipe: (<**=) :: (MonadState s m, Floating a) => LensLike' ((,) a) s a -> a -> m a
+ SitePipe: (<**~) :: Floating a => LensLike ((,) a) s t a a -> a -> s -> (a, t)
+ SitePipe: (<*=) :: (MonadState s m, Num a) => LensLike' ((,) a) s a -> a -> m a
+ SitePipe: (<*~) :: Num a => LensLike ((,) a) s t a a -> a -> s -> (a, t)
+ SitePipe: (<+=) :: (MonadState s m, Num a) => LensLike' ((,) a) s a -> a -> m a
+ SitePipe: (<+~) :: Num a => LensLike ((,) a) s t a a -> a -> s -> (a, t)
+ SitePipe: (<-=) :: (MonadState s m, Num a) => LensLike' ((,) a) s a -> a -> m a
+ SitePipe: (<-~) :: Num a => LensLike ((,) a) s t a a -> a -> s -> (a, t)
+ SitePipe: (<.) :: Indexable i p => (Indexed i s t -> r) -> ((a -> b) -> s -> t) -> p a b -> r
+ SitePipe: (<.=) :: MonadState s m => ASetter s s a b -> b -> m b
+ SitePipe: (<.>) :: FilePath -> String -> FilePath
+ SitePipe: (<.~) :: () => ASetter s t a b -> b -> s -> (b, t)
+ SitePipe: (<//=) :: (MonadState s m, Fractional a) => LensLike' ((,) a) s a -> a -> m a
+ SitePipe: (<//~) :: Fractional a => LensLike ((,) a) s t a a -> a -> s -> (a, t)
+ SitePipe: (</>) :: FilePath -> FilePath -> FilePath
+ SitePipe: (<<%=) :: (Strong p, MonadState s m) => Over p ((,) a) s s a b -> p a b -> m a
+ SitePipe: (<<%@=) :: MonadState s m => Over (Indexed i) ((,) a) s s a b -> (i -> a -> b) -> m a
+ SitePipe: (<<%@~) :: () => Over (Indexed i) ((,) a) s t a b -> (i -> a -> b) -> s -> (a, t)
+ SitePipe: (<<%~) :: () => LensLike ((,) a) s t a b -> (a -> b) -> s -> (a, t)
+ SitePipe: (<<&&=) :: MonadState s m => LensLike' ((,) Bool) s Bool -> Bool -> m Bool
+ SitePipe: (<<&&~) :: () => LensLike' ((,) Bool) s Bool -> Bool -> s -> (Bool, s)
+ SitePipe: (<<**=) :: (MonadState s m, Floating a) => LensLike' ((,) a) s a -> a -> m a
+ SitePipe: (<<**~) :: Floating a => LensLike' ((,) a) s a -> a -> s -> (a, s)
+ SitePipe: (<<*=) :: (MonadState s m, Num a) => LensLike' ((,) a) s a -> a -> m a
+ SitePipe: (<<*~) :: Num a => LensLike' ((,) a) s a -> a -> s -> (a, s)
+ SitePipe: (<<+=) :: (MonadState s m, Num a) => LensLike' ((,) a) s a -> a -> m a
+ SitePipe: (<<+~) :: Num a => LensLike' ((,) a) s a -> a -> s -> (a, s)
+ SitePipe: (<<-=) :: (MonadState s m, Num a) => LensLike' ((,) a) s a -> a -> m a
+ SitePipe: (<<-~) :: Num a => LensLike' ((,) a) s a -> a -> s -> (a, s)
+ SitePipe: (<<.=) :: MonadState s m => LensLike ((,) a) s s a b -> b -> m a
+ SitePipe: (<<.~) :: () => LensLike ((,) a) s t a b -> b -> s -> (a, t)
+ SitePipe: (<<//=) :: (MonadState s m, Fractional a) => LensLike' ((,) a) s a -> a -> m a
+ SitePipe: (<<//~) :: Fractional a => LensLike' ((,) a) s a -> a -> s -> (a, s)
+ SitePipe: (<<<>=) :: (MonadState s m, Monoid r) => LensLike' ((,) r) s r -> r -> m r
+ SitePipe: (<<<>~) :: Monoid r => LensLike' ((,) r) s r -> r -> s -> (r, s)
+ SitePipe: (<<>=) :: (MonadState s m, Monoid r) => LensLike' ((,) r) s r -> r -> m r
+ SitePipe: (<<>~) :: Monoid m => LensLike ((,) m) s t m m -> m -> s -> (m, t)
+ SitePipe: (<<?=) :: MonadState s m => LensLike ((,) a) s s a (Maybe b) -> b -> m a
+ SitePipe: (<<?~) :: () => LensLike ((,) a) s t a (Maybe b) -> b -> s -> (a, t)
+ SitePipe: (<<^=) :: (MonadState s m, Num a, Integral e) => LensLike' ((,) a) s a -> e -> m a
+ SitePipe: (<<^^=) :: (MonadState s m, Fractional a, Integral e) => LensLike' ((,) a) s a -> e -> m a
+ SitePipe: (<<^^~) :: (Fractional a, Integral e) => LensLike' ((,) a) s a -> e -> s -> (a, s)
+ SitePipe: (<<^~) :: (Num a, Integral e) => LensLike' ((,) a) s a -> e -> s -> (a, s)
+ SitePipe: (<<||=) :: MonadState s m => LensLike' ((,) Bool) s Bool -> Bool -> m Bool
+ SitePipe: (<<||~) :: () => LensLike' ((,) Bool) s Bool -> Bool -> s -> (Bool, s)
+ SitePipe: (<<~) :: MonadState s m => ALens s s a b -> m b -> m b
+ SitePipe: (<>=) :: (MonadState s m, Monoid a) => ASetter' s a -> a -> m ()
+ SitePipe: (<>~) :: Monoid a => ASetter s t a a -> a -> s -> t
+ SitePipe: (<?=) :: MonadState s m => ASetter s s a (Maybe b) -> b -> m b
+ SitePipe: (<?~) :: () => ASetter s t a (Maybe b) -> b -> s -> (b, t)
+ SitePipe: (<^=) :: (MonadState s m, Num a, Integral e) => LensLike' ((,) a) s a -> e -> m a
+ SitePipe: (<^^=) :: (MonadState s m, Fractional a, Integral e) => LensLike' ((,) a) s a -> e -> m a
+ SitePipe: (<^^~) :: (Fractional a, Integral e) => LensLike ((,) a) s t a a -> e -> s -> (a, t)
+ SitePipe: (<^~) :: (Num a, Integral e) => LensLike ((,) a) s t a a -> e -> s -> (a, t)
+ SitePipe: (<|) :: Cons s s a a => a -> s -> s
+ SitePipe: (<||=) :: MonadState s m => LensLike' ((,) Bool) s Bool -> Bool -> m Bool
+ SitePipe: (<||~) :: () => LensLike ((,) Bool) s t Bool Bool -> Bool -> s -> (Bool, t)
+ SitePipe: (<~) :: MonadState s m => ASetter s s a b -> m b -> m ()
+ SitePipe: (>$) :: Contravariant f => b -> f b -> f a
+ SitePipe: (?=) :: MonadState s m => ASetter s s a (Maybe b) -> b -> m ()
+ SitePipe: (??) :: Functor f => f (a -> b) -> a -> f b
+ SitePipe: (?~) :: () => ASetter s t a (Maybe b) -> b -> s -> t
+ SitePipe: (^#) :: () => s -> ALens s t a b -> a
+ SitePipe: (^.) :: () => s -> Getting a s a -> a
+ SitePipe: (^..) :: () => s -> Getting (Endo [a]) s a -> [a]
+ SitePipe: (^=) :: (MonadState s m, Num a, Integral e) => ASetter' s a -> e -> m ()
+ SitePipe: (^?!) :: HasCallStack => s -> Getting (Endo a) s a -> a
+ SitePipe: (^?) :: () => s -> Getting (First a) s a -> Maybe a
+ SitePipe: (^@.) :: () => s -> IndexedGetting i (i, a) s a -> (i, a)
+ SitePipe: (^@..) :: () => s -> IndexedGetting i (Endo [(i, a)]) s a -> [(i, a)]
+ SitePipe: (^@?!) :: HasCallStack => s -> IndexedGetting i (Endo (i, a)) s a -> (i, a)
+ SitePipe: (^@?) :: () => s -> IndexedGetting i (Endo (Maybe (i, a))) s a -> Maybe (i, a)
+ SitePipe: (^^=) :: (MonadState s m, Fractional a, Integral e) => ASetter' s a -> e -> m ()
+ SitePipe: (^^~) :: (Fractional a, Integral e) => ASetter s t a a -> e -> s -> t
+ SitePipe: (^~) :: (Num a, Integral e) => ASetter s t a a -> e -> s -> t
+ SitePipe: (|>) :: Snoc s s a a => s -> a -> s
+ SitePipe: (||=) :: MonadState s m => ASetter' s Bool -> Bool -> m ()
+ SitePipe: (||~) :: () => ASetter s t Bool Bool -> Bool -> s -> t
+ SitePipe: Array :: !Array -> Value
+ SitePipe: Bazaar :: (forall (f :: Type -> Type). Applicative f => p a (f b) -> f t) -> Bazaar a b t
+ SitePipe: Bazaar1 :: (forall (f :: Type -> Type). Apply f => p a (f b) -> f t) -> Bazaar1 a b t
+ SitePipe: Bool :: !Bool -> Value
+ SitePipe: BoolPrim :: !Bool -> Primitive
+ SitePipe: Const :: a -> Const a
+ SitePipe: Context :: (b -> t) -> a -> Context a b t
+ SitePipe: DotNetTime :: UTCTime -> DotNetTime
+ SitePipe: Error :: String -> Result a
+ SitePipe: Fold :: Fold s a -> ReifiedFold s a
+ SitePipe: FromJSONKeyCoerce :: !CoerceText a -> FromJSONKeyFunction a
+ SitePipe: FromJSONKeyText :: !Text -> a -> FromJSONKeyFunction a
+ SitePipe: FromJSONKeyTextParser :: !Text -> Parser a -> FromJSONKeyFunction a
+ SitePipe: FromJSONKeyValue :: !Value -> Parser a -> FromJSONKeyFunction a
+ SitePipe: Getter :: Getter s a -> ReifiedGetter s a
+ SitePipe: Identity :: a -> Identity a
+ SitePipe: Indexed :: (i -> a -> b) -> Indexed i a b
+ SitePipe: IndexedFold :: IndexedFold i s a -> ReifiedIndexedFold i s a
+ SitePipe: IndexedGetter :: IndexedGetter i s a -> ReifiedIndexedGetter i s a
+ SitePipe: IndexedLens :: IndexedLens i s t a b -> ReifiedIndexedLens i s t a b
+ SitePipe: IndexedSetter :: IndexedSetter i s t a b -> ReifiedIndexedSetter i s t a b
+ SitePipe: IndexedTraversal :: IndexedTraversal i s t a b -> ReifiedIndexedTraversal i s t a b
+ SitePipe: Iso :: Iso s t a b -> ReifiedIso s t a b
+ SitePipe: Lens :: Lens s t a b -> ReifiedLens s t a b
+ SitePipe: MethodName :: Name -> Name -> DefName
+ SitePipe: Null :: Value
+ SitePipe: NullPrim :: Primitive
+ SitePipe: Number :: !Scientific -> Value
+ SitePipe: NumberPrim :: !Scientific -> Primitive
+ SitePipe: Object :: !Object -> Value
+ SitePipe: ObjectWithSingleField :: SumEncoding
+ SitePipe: Prism :: Prism s t a b -> ReifiedPrism s t a b
+ SitePipe: Setter :: Setter s t a b -> ReifiedSetter s t a b
+ SitePipe: String :: !Text -> Value
+ SitePipe: StringPrim :: !Text -> Primitive
+ SitePipe: Success :: a -> Result a
+ SitePipe: TaggedObject :: String -> String -> SumEncoding
+ SitePipe: ToJSONKeyText :: !a -> Text -> !a -> Encoding' Text -> ToJSONKeyFunction a
+ SitePipe: ToJSONKeyValue :: !a -> Value -> !a -> Encoding -> ToJSONKeyFunction a
+ SitePipe: TopName :: Name -> DefName
+ SitePipe: Traversal :: Traversal s t a b -> ReifiedTraversal s t a b
+ SitePipe: TwoElemArray :: SumEncoding
+ SitePipe: UntaggedValue :: SumEncoding
+ SitePipe: [From1Args] :: forall arity a. () => (Value -> Parser a) -> (Value -> Parser [a]) -> FromArgs One a
+ SitePipe: [Identical] :: forall k k1 (a :: k) (b :: k1) (s :: k) (t :: k1). () => Identical a b a b
+ SitePipe: [NoFromArgs] :: forall arity a. () => FromArgs Zero a
+ SitePipe: [NoToArgs] :: forall res arity a. () => ToArgs res Zero a
+ SitePipe: [To1Args] :: forall res arity a. () => (a -> res) -> ([a] -> res) -> ToArgs res One a
+ SitePipe: [contentsFieldName] :: SumEncoding -> String
+ SitePipe: [fromDotNetTime] :: DotNetTime -> UTCTime
+ SitePipe: [getConst] :: Const a -> a
+ SitePipe: [runBazaar1] :: Bazaar1 a b t -> forall (f :: Type -> Type). Apply f => p a (f b) -> f t
+ SitePipe: [runBazaar] :: Bazaar a b t -> forall (f :: Type -> Type). Applicative f => p a (f b) -> f t
+ SitePipe: [runFold] :: ReifiedFold s a -> Fold s a
+ SitePipe: [runGetter] :: ReifiedGetter s a -> Getter s a
+ SitePipe: [runIdentity] :: Identity a -> a
+ SitePipe: [runIndexedFold] :: ReifiedIndexedFold i s a -> IndexedFold i s a
+ SitePipe: [runIndexedGetter] :: ReifiedIndexedGetter i s a -> IndexedGetter i s a
+ SitePipe: [runIndexedLens] :: ReifiedIndexedLens i s t a b -> IndexedLens i s t a b
+ SitePipe: [runIndexedSetter] :: ReifiedIndexedSetter i s t a b -> IndexedSetter i s t a b
+ SitePipe: [runIndexedTraversal] :: ReifiedIndexedTraversal i s t a b -> IndexedTraversal i s t a b
+ SitePipe: [runIndexed] :: Indexed i a b -> i -> a -> b
+ SitePipe: [runIso] :: ReifiedIso s t a b -> Iso s t a b
+ SitePipe: [runLens] :: ReifiedLens s t a b -> Lens s t a b
+ SitePipe: [runPrism] :: ReifiedPrism s t a b -> Prism s t a b
+ SitePipe: [runSetter] :: ReifiedSetter s t a b -> Setter s t a b
+ SitePipe: [runTraversal] :: ReifiedTraversal s t a b -> Traversal s t a b
+ SitePipe: [tagFieldName] :: SumEncoding -> String
+ SitePipe: _1 :: Field1 s t a b => Lens s t a b
+ SitePipe: _1' :: Field1 s t a b => Lens s t a b
+ SitePipe: _10 :: Field10 s t a b => Lens s t a b
+ SitePipe: _10' :: Field10 s t a b => Lens s t a b
+ SitePipe: _11 :: Field11 s t a b => Lens s t a b
+ SitePipe: _11' :: Field11 s t a b => Lens s t a b
+ SitePipe: _12 :: Field12 s t a b => Lens s t a b
+ SitePipe: _12' :: Field12 s t a b => Lens s t a b
+ SitePipe: _13 :: Field13 s t a b => Lens s t a b
+ SitePipe: _13' :: Field13 s t a b => Lens s t a b
+ SitePipe: _14 :: Field14 s t a b => Lens s t a b
+ SitePipe: _14' :: Field14 s t a b => Lens s t a b
+ SitePipe: _15 :: Field15 s t a b => Lens s t a b
+ SitePipe: _15' :: Field15 s t a b => Lens s t a b
+ SitePipe: _16 :: Field16 s t a b => Lens s t a b
+ SitePipe: _16' :: Field16 s t a b => Lens s t a b
+ SitePipe: _17 :: Field17 s t a b => Lens s t a b
+ SitePipe: _17' :: Field17 s t a b => Lens s t a b
+ SitePipe: _18 :: Field18 s t a b => Lens s t a b
+ SitePipe: _18' :: Field18 s t a b => Lens s t a b
+ SitePipe: _19 :: Field19 s t a b => Lens s t a b
+ SitePipe: _19' :: Field19 s t a b => Lens s t a b
+ SitePipe: _2 :: Field2 s t a b => Lens s t a b
+ SitePipe: _2' :: Field2 s t a b => Lens s t a b
+ SitePipe: _3 :: Field3 s t a b => Lens s t a b
+ SitePipe: _3' :: Field3 s t a b => Lens s t a b
+ SitePipe: _4 :: Field4 s t a b => Lens s t a b
+ SitePipe: _4' :: Field4 s t a b => Lens s t a b
+ SitePipe: _5 :: Field5 s t a b => Lens s t a b
+ SitePipe: _5' :: Field5 s t a b => Lens s t a b
+ SitePipe: _6 :: Field6 s t a b => Lens s t a b
+ SitePipe: _6' :: Field6 s t a b => Lens s t a b
+ SitePipe: _7 :: Field7 s t a b => Lens s t a b
+ SitePipe: _7' :: Field7 s t a b => Lens s t a b
+ SitePipe: _8 :: Field8 s t a b => Lens s t a b
+ SitePipe: _8' :: Field8 s t a b => Lens s t a b
+ SitePipe: _9 :: Field9 s t a b => Lens s t a b
+ SitePipe: _9' :: Field9 s t a b => Lens s t a b
+ SitePipe: _Array :: AsValue t => Prism' t (Vector Value)
+ SitePipe: _Bool :: AsPrimitive t => Prism' t Bool
+ SitePipe: _Cons :: Cons s t a b => Prism s t (a, s) (b, t)
+ SitePipe: _Double :: AsNumber t => Prism' t Double
+ SitePipe: _Empty :: AsEmpty a => Prism' a ()
+ SitePipe: _GWrapped' :: (Generic s, D1 d (C1 c (S1 s' (Rec0 a))) ~ Rep s, Unwrapped s ~ GUnwrapped (Rep s)) => Iso' s (Unwrapped s)
+ SitePipe: _Integer :: AsNumber t => Prism' t Integer
+ SitePipe: _Integral :: (AsNumber t, Integral a) => Prism' t a
+ SitePipe: _JSON :: (AsJSON t, FromJSON a, ToJSON a) => Prism' t a
+ SitePipe: _Just :: () => Prism (Maybe a) (Maybe b) a b
+ SitePipe: _Left :: () => Prism (Either a c) (Either b c) a b
+ SitePipe: _Nothing :: () => Prism' (Maybe a) ()
+ SitePipe: _Null :: AsPrimitive t => Prism' t ()
+ SitePipe: _Number :: AsNumber t => Prism' t Scientific
+ SitePipe: _Object :: AsValue t => Prism' t (HashMap Text Value)
+ SitePipe: _Primitive :: AsPrimitive t => Prism' t Primitive
+ SitePipe: _Right :: () => Prism (Either c a) (Either c b) a b
+ SitePipe: _Show :: (Read a, Show a) => Prism' String a
+ SitePipe: _Snoc :: Snoc s t a b => Prism s t (s, a) (t, b)
+ SitePipe: _String :: AsPrimitive t => Prism' t Text
+ SitePipe: _Unwrapped :: Rewrapping s t => Iso (Unwrapped t) (Unwrapped s) t s
+ SitePipe: _Unwrapped' :: Wrapped s => Iso' (Unwrapped s) s
+ SitePipe: _Unwrapping :: Rewrapping s t => (Unwrapped s -> s) -> Iso (Unwrapped t) (Unwrapped s) t s
+ SitePipe: _Unwrapping' :: Wrapped s => (Unwrapped s -> s) -> Iso' (Unwrapped s) s
+ SitePipe: _Value :: AsValue t => Prism' t Value
+ SitePipe: _Void :: () => Prism s s a Void
+ SitePipe: _Wrapped :: Rewrapping s t => Iso s t (Unwrapped s) (Unwrapped t)
+ SitePipe: _Wrapped' :: Wrapped s => Iso' s (Unwrapped s)
+ SitePipe: _Wrapping :: Rewrapping s t => (Unwrapped s -> s) -> Iso s t (Unwrapped s) (Unwrapped t)
+ SitePipe: _Wrapping' :: Wrapped s => (Unwrapped s -> s) -> Iso' s (Unwrapped s)
+ SitePipe: _head :: Cons s s a a => Traversal' s a
+ SitePipe: _init :: Snoc s s a a => Traversal' s s
+ SitePipe: _last :: Snoc s s a a => Traversal' s a
+ SitePipe: _tail :: Cons s s a a => Traversal' s s
+ SitePipe: abbreviatedFields :: LensRules
+ SitePipe: abbreviatedNamer :: FieldNamer
+ SitePipe: addExtension :: FilePath -> String -> FilePath
+ SitePipe: addTrailingPathSeparator :: FilePath -> FilePath
+ SitePipe: ala :: (Functor f, Rewrapping s t) => (Unwrapped s -> s) -> ((Unwrapped t -> t) -> f s) -> f (Unwrapped s)
+ SitePipe: alaf :: (Functor f, Functor g, Rewrapping s t) => (Unwrapped s -> s) -> (f t -> g s) -> f (Unwrapped t) -> g (Unwrapped s)
+ SitePipe: allOf :: () => Getting All s a -> (a -> Bool) -> s -> Bool
+ SitePipe: 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')
+ SitePipe: andOf :: () => Getting All s Bool -> s -> Bool
+ SitePipe: anon :: () => a -> (a -> Bool) -> Iso' (Maybe a) a
+ SitePipe: anyOf :: () => Getting Any s a -> (a -> Bool) -> s -> Bool
+ SitePipe: argument :: Profunctor p => Setter (p b r) (p a r) a b
+ SitePipe: asIndex :: (Indexable i p, Contravariant f, Functor f) => p i (f i) -> Indexed i s (f s)
+ SitePipe: aside :: () => APrism s t a b -> Prism (e, s) (e, t) (e, a) (e, b)
+ SitePipe: assign :: MonadState s m => ASetter s s a b -> b -> m ()
+ SitePipe: assignA :: Arrow p => ASetter s t a b -> p s b -> p s t
+ SitePipe: asumOf :: Alternative f => Getting (Endo (f a)) s (f a) -> s -> f a
+ SitePipe: at :: At m => Index m -> Lens' m (Maybe (IxValue m))
+ SitePipe: au :: Functor f => AnIso s t a b -> ((b -> t) -> f s) -> f a
+ SitePipe: auf :: () => Optic (Costar f) g s t a b -> (f a -> g b) -> f s -> g t
+ SitePipe: backwards :: (Profunctor p, Profunctor q) => Optical p q (Backwards f) s t a b -> Optical p q f s t a b
+ SitePipe: below :: Traversable f => APrism' s a -> Prism' (f s) (f a)
+ SitePipe: 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
+ SitePipe: bimap :: Bifunctor p => (a -> b) -> (c -> d) -> p a c -> p b d
+ SitePipe: 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')
+ SitePipe: both :: Bitraversable r => Traversal (r a a) (r b b) a b
+ SitePipe: both1 :: Bitraversable1 r => Traversal1 (r a a) (r b b) a b
+ SitePipe: camelCaseFields :: LensRules
+ SitePipe: camelCaseNamer :: FieldNamer
+ SitePipe: camelTo2 :: Char -> String -> String
+ SitePipe: censoring :: MonadWriter w m => Setter w w u v -> (u -> v) -> m a -> m a
+ SitePipe: children :: Plated a => a -> [a]
+ SitePipe: 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
+ SitePipe: chosen :: () => IndexPreservingLens (Either a a) (Either b b) a b
+ SitePipe: class AsEmpty a
+ SitePipe: class AsJSON t
+ SitePipe: class AsNumber t
+ SitePipe: class AsNumber t => AsPrimitive t
+ SitePipe: class AsPrimitive t => AsValue t
+ SitePipe: class Ixed m => At m
+ SitePipe: class Bifunctor (p :: Type -> Type -> Type)
+ SitePipe: class Profunctor p => Choice (p :: Type -> Type -> Type)
+ SitePipe: 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)
+ SitePipe: class Cons s t a b | s -> a, t -> b, s b -> t, t a -> s
+ SitePipe: class Contains m
+ SitePipe: class Contravariant (f :: Type -> Type)
+ SitePipe: class Each s t a b | s -> a, t -> b, s b -> t, t a -> s
+ SitePipe: class Field1 s t a b | s -> a, t -> b, s b -> t, t a -> s
+ SitePipe: class Field10 s t a b | s -> a, t -> b, s b -> t, t a -> s
+ SitePipe: class Field11 s t a b | s -> a, t -> b, s b -> t, t a -> s
+ SitePipe: class Field12 s t a b | s -> a, t -> b, s b -> t, t a -> s
+ SitePipe: class Field13 s t a b | s -> a, t -> b, s b -> t, t a -> s
+ SitePipe: class Field14 s t a b | s -> a, t -> b, s b -> t, t a -> s
+ SitePipe: class Field15 s t a b | s -> a, t -> b, s b -> t, t a -> s
+ SitePipe: class Field16 s t a b | s -> a, t -> b, s b -> t, t a -> s
+ SitePipe: class Field17 s t a b | s -> a, t -> b, s b -> t, t a -> s
+ SitePipe: class Field18 s t a b | s -> a, t -> b, s b -> t, t a -> s
+ SitePipe: class Field19 s t a b | s -> a, t -> b, s b -> t, t a -> s
+ SitePipe: class Field2 s t a b | s -> a, t -> b, s b -> t, t a -> s
+ SitePipe: class Field3 s t a b | s -> a, t -> b, s b -> t, t a -> s
+ SitePipe: class Field4 s t a b | s -> a, t -> b, s b -> t, t a -> s
+ SitePipe: class Field5 s t a b | s -> a, t -> b, s b -> t, t a -> s
+ SitePipe: class Field6 s t a b | s -> a, t -> b, s b -> t, t a -> s
+ SitePipe: class Field7 s t a b | s -> a, t -> b, s b -> t, t a -> s
+ SitePipe: class Field8 s t a b | s -> a, t -> b, s b -> t, t a -> s
+ SitePipe: class Field9 s t a b | s -> a, t -> b, s b -> t, t a -> s
+ SitePipe: class Foldable f => FoldableWithIndex i (f :: Type -> Type) | f -> i
+ SitePipe: class FromJSON a
+ SitePipe: class FromJSON1 (f :: Type -> Type)
+ SitePipe: class FromJSON2 (f :: Type -> Type -> Type)
+ SitePipe: class FromJSONKey a
+ SitePipe: class Functor f => FunctorWithIndex i (f :: Type -> Type) | f -> i
+ SitePipe: class GFromJSON arity (f :: Type -> Type)
+ SitePipe: class GPlated a (g :: Type -> Type)
+ SitePipe: class Conjoined p => Indexable i (p :: Type -> Type -> Type)
+ SitePipe: class Ixed m
+ SitePipe: class KeyValue kv
+ SitePipe: 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
+ SitePipe: class Plated a
+ SitePipe: class Profunctor (p :: Type -> Type -> Type)
+ SitePipe: class Reversing t
+ SitePipe: class (Profunctor p, Bifunctor p) => Reviewable (p :: Type -> Type -> Type)
+ SitePipe: class Wrapped s => Rewrapped s t
+ SitePipe: class (Rewrapped s t, Rewrapped t s) => Rewrapping s t
+ SitePipe: class (Applicative f, Distributive f, Traversable f) => Settable (f :: Type -> Type)
+ SitePipe: class Snoc s t a b | s -> a, t -> b, s b -> t, t a -> s
+ SitePipe: class Strict lazy strict | lazy -> strict, strict -> lazy
+ SitePipe: class Bifunctor p => Swapped (p :: Type -> Type -> Type)
+ SitePipe: class ToJSON a
+ SitePipe: class ToJSON1 (f :: Type -> Type)
+ SitePipe: class ToJSON2 (f :: Type -> Type -> Type)
+ SitePipe: class ToJSONKey a
+ SitePipe: class (Functor t, Foldable t) => Traversable (t :: Type -> Type)
+ SitePipe: class (Foldable1 t, Traversable t) => Traversable1 (t :: Type -> Type)
+ SitePipe: class (FunctorWithIndex i t, FoldableWithIndex i t, Traversable t) => TraversableWithIndex i (t :: Type -> Type) | t -> i
+ SitePipe: class Ord k => TraverseMax k (m :: Type -> Type) | m -> k
+ SitePipe: class Ord k => TraverseMin k (m :: Type -> Type) | m -> k
+ SitePipe: class Wrapped s where {
+ SitePipe: 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
+ SitePipe: classUnderscoreNoPrefixFields :: LensRules
+ SitePipe: classUnderscoreNoPrefixNamer :: FieldNamer
+ SitePipe: classyRules :: LensRules
+ SitePipe: classyRules_ :: LensRules
+ SitePipe: cloneIndexPreservingLens :: () => ALens s t a b -> IndexPreservingLens s t a b
+ SitePipe: cloneIndexPreservingSetter :: () => ASetter s t a b -> IndexPreservingSetter s t a b
+ SitePipe: cloneIndexPreservingTraversal :: () => ATraversal s t a b -> IndexPreservingTraversal s t a b
+ SitePipe: cloneIndexPreservingTraversal1 :: () => ATraversal1 s t a b -> IndexPreservingTraversal1 s t a b
+ SitePipe: cloneIndexedLens :: () => AnIndexedLens i s t a b -> IndexedLens i s t a b
+ SitePipe: cloneIndexedSetter :: () => AnIndexedSetter i s t a b -> IndexedSetter i s t a b
+ SitePipe: cloneIndexedTraversal :: () => AnIndexedTraversal i s t a b -> IndexedTraversal i s t a b
+ SitePipe: cloneIndexedTraversal1 :: () => AnIndexedTraversal1 i s t a b -> IndexedTraversal1 i s t a b
+ SitePipe: cloneIso :: () => AnIso s t a b -> Iso s t a b
+ SitePipe: cloneLens :: () => ALens s t a b -> Lens s t a b
+ SitePipe: clonePrism :: () => APrism s t a b -> Prism s t a b
+ SitePipe: cloneSetter :: () => ASetter s t a b -> Setter s t a b
+ SitePipe: cloneTraversal :: () => ATraversal s t a b -> Traversal s t a b
+ SitePipe: cloneTraversal1 :: () => ATraversal1 s t a b -> Traversal1 s t a b
+ SitePipe: coerced :: (Coercible s a, Coercible t b) => Iso s t a b
+ SitePipe: combine :: FilePath -> FilePath -> FilePath
+ SitePipe: composOpFold :: Plated a => b -> (b -> b -> b) -> (a -> b) -> a -> b
+ SitePipe: concatMapOf :: () => Getting [r] s a -> (a -> [r]) -> s -> [r]
+ SitePipe: concatOf :: () => Getting [r] s [r] -> s -> [r]
+ SitePipe: confusing :: Applicative f => LensLike (Curried (Yoneda f) (Yoneda f)) s t a b -> LensLike f s t a b
+ SitePipe: conjoined :: Conjoined p => ((p ~ ((->) :: Type -> Type -> Type)) -> q (a -> b) r) -> q (p a b) r -> q (p a b) r
+ SitePipe: cons :: Cons s s a a => a -> s -> s
+ SitePipe: contains :: Contains m => Index m -> Lens' m Bool
+ SitePipe: contexts :: Plated a => a -> [Context a a a]
+ SitePipe: contextsOf :: () => ATraversal' a a -> a -> [Context a a a]
+ SitePipe: contextsOn :: Plated a => ATraversal s t a a -> s -> [Context a a t]
+ SitePipe: contextsOnOf :: () => ATraversal s t a a -> ATraversal' a a -> s -> [Context a a t]
+ SitePipe: contramap :: Contravariant f => (a -> b) -> f b -> f a
+ SitePipe: contramapped :: Contravariant f => Setter (f b) (f a) a b
+ SitePipe: contramapping :: Contravariant f => AnIso s t a b -> Iso (f a) (f b) (f s) (f t)
+ SitePipe: cosmos :: Plated a => Fold a a
+ SitePipe: cosmosOf :: (Applicative f, Contravariant f) => LensLike' f a a -> LensLike' f a a
+ SitePipe: cosmosOn :: (Applicative f, Contravariant f, Plated a) => LensLike' f s a -> LensLike' f s a
+ SitePipe: cosmosOnOf :: (Applicative f, Contravariant f) => LensLike' f s a -> LensLike' f a a -> LensLike' f s a
+ SitePipe: createClass :: Lens' LensRules Bool
+ SitePipe: curried :: () => Iso ((a, b) -> c) ((d, e) -> f) (a -> b -> c) (d -> e -> f)
+ SitePipe: cycled :: Apply f => LensLike f s t a b -> LensLike f s t a b
+ SitePipe: data Context a b t
+ SitePipe: data DefName
+ SitePipe: data FromArgs arity a
+ SitePipe: data FromJSONKeyFunction a
+ SitePipe: data Leftmost a
+ SitePipe: data LensRules
+ SitePipe: data Level i a
+ SitePipe: data Magma i t b a
+ SitePipe: data One
+ SitePipe: data Options
+ SitePipe: data Primitive
+ SitePipe: data Result a
+ SitePipe: data Rightmost a
+ SitePipe: data Sequenced a (m :: Type -> Type)
+ SitePipe: data Series
+ SitePipe: data SumEncoding
+ SitePipe: data ToArgs res arity a
+ SitePipe: data ToJSONKeyFunction a
+ SitePipe: data Traversed a (f :: Type -> Type)
+ SitePipe: data Value
+ SitePipe: data Zero
+ SitePipe: data Identical (a :: k) (b :: k1) (s :: k) (t :: k1) :: forall k k1. () => k -> k1 -> k -> k1 -> Type
+ SitePipe: declareClassy :: DecsQ -> DecsQ
+ SitePipe: declareClassyFor :: [(String, (String, String))] -> [(String, String)] -> DecsQ -> DecsQ
+ SitePipe: declareFields :: DecsQ -> DecsQ
+ SitePipe: declareLenses :: DecsQ -> DecsQ
+ SitePipe: declareLensesFor :: [(String, String)] -> DecsQ -> DecsQ
+ SitePipe: declareLensesWith :: LensRules -> DecsQ -> DecsQ
+ SitePipe: declarePrisms :: DecsQ -> DecsQ
+ SitePipe: declareWrapped :: DecsQ -> DecsQ
+ SitePipe: decode :: FromJSON a => ByteString -> Maybe a
+ SitePipe: decode' :: FromJSON a => ByteString -> Maybe a
+ SitePipe: decodeFileStrict :: FromJSON a => FilePath -> IO (Maybe a)
+ SitePipe: decodeFileStrict' :: FromJSON a => FilePath -> IO (Maybe a)
+ SitePipe: decodeStrict :: FromJSON a => ByteString -> Maybe a
+ SitePipe: decodeStrict' :: FromJSON a => ByteString -> Maybe a
+ SitePipe: deep :: (Conjoined p, Applicative f, Plated s) => Traversing p f s s a b -> Over p f s s a b
+ SitePipe: 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
+ SitePipe: defaultFieldRules :: LensRules
+ SitePipe: defaultOptions :: Options
+ SitePipe: defaultTaggedObject :: SumEncoding
+ SitePipe: devoid :: () => Over p f Void Void a b
+ SitePipe: dimap :: Profunctor p => (a -> b) -> (c -> d) -> p b c -> p a d
+ SitePipe: 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')
+ SitePipe: distrib :: (Conjoined p, Functor f) => p a b -> p (f a) (f b)
+ SitePipe: dropDrive :: FilePath -> FilePath
+ SitePipe: dropExtension :: FilePath -> FilePath
+ SitePipe: dropExtensions :: FilePath -> FilePath
+ SitePipe: dropFileName :: FilePath -> FilePath
+ SitePipe: dropTrailingPathSeparator :: FilePath -> FilePath
+ SitePipe: dropping :: (Conjoined p, Applicative f) => Int -> Over p (Indexing f) s t a a -> Over p f s t a a
+ SitePipe: 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
+ SitePipe: each :: Each s t a b => Traversal s t a b
+ SitePipe: eitherDecode :: FromJSON a => ByteString -> Either String a
+ SitePipe: eitherDecode' :: FromJSON a => ByteString -> Either String a
+ SitePipe: eitherDecodeFileStrict :: FromJSON a => FilePath -> IO (Either String a)
+ SitePipe: eitherDecodeFileStrict' :: FromJSON a => FilePath -> IO (Either String a)
+ SitePipe: eitherDecodeStrict :: FromJSON a => ByteString -> Either String a
+ SitePipe: eitherDecodeStrict' :: FromJSON a => ByteString -> Either String a
+ SitePipe: elemIndexOf :: Eq a => IndexedGetting i (First i) s a -> a -> s -> Maybe i
+ SitePipe: elemIndicesOf :: Eq a => IndexedGetting i (Endo [i]) s a -> a -> s -> [i]
+ SitePipe: elemOf :: Eq a => Getting Any s a -> a -> s -> Bool
+ SitePipe: element :: Traversable t => Int -> IndexedTraversal' Int (t a) a
+ SitePipe: elementOf :: Applicative f => LensLike (Indexing f) s t a a -> Int -> IndexedLensLike Int f s t a a
+ SitePipe: elements :: Traversable t => (Int -> Bool) -> IndexedTraversal' Int (t a) a
+ SitePipe: elementsOf :: Applicative f => LensLike (Indexing f) s t a a -> (Int -> Bool) -> IndexedLensLike Int f s t a a
+ SitePipe: encode :: ToJSON a => a -> ByteString
+ SitePipe: encodeFile :: ToJSON a => FilePath -> a -> IO ()
+ SitePipe: enum :: Enum a => Iso' Int a
+ SitePipe: equalFilePath :: FilePath -> FilePath -> Bool
+ SitePipe: extSeparator :: Char
+ SitePipe: 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
+ SitePipe: failover :: Alternative m => LensLike ((,) Any) s t a b -> (a -> b) -> s -> m t
+ SitePipe: filtered :: (Choice p, Applicative f) => (a -> Bool) -> Optic' p f a a
+ SitePipe: findIndexOf :: () => IndexedGetting i (First i) s a -> (a -> Bool) -> s -> Maybe i
+ SitePipe: findIndicesOf :: () => IndexedGetting i (Endo [i]) s a -> (a -> Bool) -> s -> [i]
+ SitePipe: findMOf :: Monad m => Getting (Endo (m (Maybe a))) s a -> (a -> m Bool) -> s -> m (Maybe a)
+ SitePipe: findOf :: () => Getting (Endo (Maybe a)) s a -> (a -> Bool) -> s -> Maybe a
+ SitePipe: first1Of :: () => Getting (First a) s a -> s -> a
+ SitePipe: firstOf :: () => Getting (Leftmost a) s a -> s -> Maybe a
+ SitePipe: firsting :: (Bifunctor f, Bifunctor g) => AnIso s t a b -> Iso (f s x) (g t y) (f a x) (g b y)
+ SitePipe: flipped :: () => Iso (a -> b -> c) (a' -> b' -> c') (b -> a -> c) (b' -> a' -> c')
+ SitePipe: foldBy :: Foldable t => (a -> a -> a) -> a -> t a -> a
+ SitePipe: foldByOf :: () => Fold s a -> (a -> a -> a) -> a -> s -> a
+ SitePipe: foldMapBy :: Foldable t => (r -> r -> r) -> r -> (a -> r) -> t a -> r
+ SitePipe: foldMapByOf :: () => Fold s a -> (r -> r -> r) -> r -> (a -> r) -> s -> r
+ SitePipe: foldMapOf :: () => Getting r s a -> (a -> r) -> s -> r
+ SitePipe: foldOf :: () => Getting a s a -> s -> a
+ SitePipe: foldable :: (Foldable t, ToJSON a) => t a -> Encoding
+ SitePipe: folded :: Foldable f => IndexedFold Int (f a) a
+ SitePipe: folded64 :: Foldable f => IndexedFold Int64 (f a) a
+ SitePipe: folding :: Foldable f => (s -> f a) -> Fold s a
+ SitePipe: foldl1Of :: HasCallStack => Getting (Dual (Endo (Maybe a))) s a -> (a -> a -> a) -> s -> a
+ SitePipe: foldl1Of' :: HasCallStack => Getting (Endo (Endo (Maybe a))) s a -> (a -> a -> a) -> s -> a
+ SitePipe: foldlMOf :: Monad m => Getting (Endo (r -> m r)) s a -> (r -> a -> m r) -> r -> s -> m r
+ SitePipe: foldlOf :: () => Getting (Dual (Endo r)) s a -> (r -> a -> r) -> r -> s -> r
+ SitePipe: foldlOf' :: () => Getting (Endo (Endo r)) s a -> (r -> a -> r) -> r -> s -> r
+ SitePipe: foldr1Of :: HasCallStack => Getting (Endo (Maybe a)) s a -> (a -> a -> a) -> s -> a
+ SitePipe: foldr1Of' :: HasCallStack => Getting (Dual (Endo (Endo (Maybe a)))) s a -> (a -> a -> a) -> s -> a
+ SitePipe: foldrMOf :: Monad m => Getting (Dual (Endo (r -> m r))) s a -> (a -> r -> m r) -> r -> s -> m r
+ SitePipe: foldrOf :: () => Getting (Endo r) s a -> (a -> r -> r) -> r -> s -> r
+ SitePipe: foldrOf' :: () => Getting (Dual (Endo (Endo r))) s a -> (a -> r -> r) -> r -> s -> r
+ SitePipe: foldring :: (Contravariant f, Applicative f) => ((a -> f a -> f a) -> f a -> s -> f a) -> LensLike f s t a b
+ SitePipe: for1Of_ :: Functor f => Getting (TraversedF r f) s a -> s -> (a -> f r) -> f ()
+ SitePipe: forMOf :: () => LensLike (WrappedMonad m) s t a b -> s -> (a -> m b) -> m t
+ SitePipe: forMOf_ :: Monad m => Getting (Sequenced r m) s a -> s -> (a -> m r) -> m ()
+ SitePipe: forOf :: () => LensLike f s t a b -> s -> (a -> f b) -> f t
+ SitePipe: forOf_ :: Functor f => Getting (Traversed r f) s a -> s -> (a -> f r) -> f ()
+ SitePipe: from :: () => AnIso s t a b -> Iso b a t s
+ SitePipe: fromEncoding :: Encoding' tag -> Builder
+ SitePipe: fromEq :: () => AnEquality s t a b -> Equality b a t s
+ SitePipe: fromJSON :: FromJSON a => Value -> Result a
+ SitePipe: fromJSONKey :: FromJSONKey a => FromJSONKeyFunction a
+ SitePipe: fromJSONKeyList :: FromJSONKey a => FromJSONKeyFunction [a]
+ SitePipe: fusing :: Functor f => LensLike (Yoneda f) s t a b -> LensLike f s t a b
+ SitePipe: gParseJSON :: GFromJSON arity f => Options -> FromArgs arity a -> Value -> Parser (f a)
+ SitePipe: generateLazyPatterns :: Lens' LensRules Bool
+ SitePipe: generateSignatures :: Lens' LensRules Bool
+ SitePipe: generateUpdateableOptics :: Lens' LensRules Bool
+ SitePipe: genericLiftParseJSON :: (Generic1 f, GFromJSON One (Rep1 f)) => Options -> (Value -> Parser a) -> (Value -> Parser [a]) -> Value -> Parser (f a)
+ SitePipe: genericLiftToEncoding :: (Generic1 f, GToJSON Encoding One (Rep1 f)) => Options -> (a -> Encoding) -> ([a] -> Encoding) -> f a -> Encoding
+ SitePipe: genericLiftToJSON :: (Generic1 f, GToJSON Value One (Rep1 f)) => Options -> (a -> Value) -> ([a] -> Value) -> f a -> Value
+ SitePipe: genericParseJSON :: (Generic a, GFromJSON Zero (Rep a)) => Options -> Value -> Parser a
+ SitePipe: genericToEncoding :: (Generic a, GToJSON Encoding Zero (Rep a)) => Options -> a -> Encoding
+ SitePipe: genericToJSON :: (Generic a, GToJSON Value Zero (Rep a)) => Options -> a -> Value
+ SitePipe: getSearchPath :: IO [FilePath]
+ SitePipe: getting :: (Profunctor p, Profunctor q, Functor f, Contravariant f) => Optical p q f s t a b -> Optical' p q f s a
+ SitePipe: gplate :: (Generic a, GPlated a (Rep a)) => Traversal' a a
+ SitePipe: has :: () => Getting Any s a -> s -> Bool
+ SitePipe: hasDrive :: FilePath -> Bool
+ SitePipe: hasExtension :: FilePath -> Bool
+ SitePipe: hasTrailingPathSeparator :: FilePath -> Bool
+ SitePipe: hasn't :: () => Getting All s a -> s -> Bool
+ SitePipe: holes :: Plated a => a -> [Pretext ((->) :: Type -> Type -> Type) a a a]
+ SitePipe: holesOf :: Conjoined p => Over p (Bazaar p a a) s t a a -> s -> [Pretext p a a t]
+ SitePipe: holesOn :: Conjoined p => Over p (Bazaar p a a) s t a a -> s -> [Pretext p a a t]
+ SitePipe: 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]
+ SitePipe: iall :: FoldableWithIndex i f => (i -> a -> Bool) -> f a -> Bool
+ SitePipe: iallOf :: () => IndexedGetting i All s a -> (i -> a -> Bool) -> s -> Bool
+ SitePipe: iany :: FoldableWithIndex i f => (i -> a -> Bool) -> f a -> Bool
+ SitePipe: ianyOf :: () => IndexedGetting i Any s a -> (i -> a -> Bool) -> s -> Bool
+ SitePipe: iat :: At m => Index m -> IndexedLens' (Index m) m (Maybe (IxValue m))
+ SitePipe: icensoring :: MonadWriter w m => IndexedSetter i w w u v -> (i -> u -> v) -> m a -> m a
+ SitePipe: icompose :: Indexable p c => (i -> j -> p) -> (Indexed i s t -> r) -> (Indexed j a b -> s -> t) -> c a b -> r
+ SitePipe: iconcatMap :: FoldableWithIndex i f => (i -> a -> [b]) -> f a -> [b]
+ SitePipe: iconcatMapOf :: () => IndexedGetting i [r] s a -> (i -> a -> [r]) -> s -> [r]
+ SitePipe: icontains :: Contains m => Index m -> IndexedLens' (Index m) m Bool
+ SitePipe: 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
+ SitePipe: ifailover :: Alternative m => Over (Indexed i) ((,) Any) s t a b -> (i -> a -> b) -> s -> m t
+ SitePipe: ifiltered :: (Indexable i p, Applicative f) => (i -> a -> Bool) -> Optical' p (Indexed i) f a a
+ SitePipe: ifind :: FoldableWithIndex i f => (i -> a -> Bool) -> f a -> Maybe (i, a)
+ SitePipe: ifindMOf :: Monad m => IndexedGetting i (Endo (m (Maybe a))) s a -> (i -> a -> m Bool) -> s -> m (Maybe a)
+ SitePipe: ifindOf :: () => IndexedGetting i (Endo (Maybe a)) s a -> (i -> a -> Bool) -> s -> Maybe a
+ SitePipe: ifoldMap :: (FoldableWithIndex i f, Monoid m) => (i -> a -> m) -> f a -> m
+ SitePipe: ifoldMapBy :: FoldableWithIndex i t => (r -> r -> r) -> r -> (i -> a -> r) -> t a -> r
+ SitePipe: ifoldMapByOf :: () => IndexedFold i t a -> (r -> r -> r) -> r -> (i -> a -> r) -> t -> r
+ SitePipe: ifoldMapOf :: () => IndexedGetting i m s a -> (i -> a -> m) -> s -> m
+ SitePipe: ifolded :: FoldableWithIndex i f => IndexedFold i (f a) a
+ SitePipe: ifolding :: (Foldable f, Indexable i p, Contravariant g, Applicative g) => (s -> f (i, a)) -> Over p g s t a b
+ SitePipe: ifoldl :: FoldableWithIndex i f => (i -> b -> a -> b) -> b -> f a -> b
+ SitePipe: ifoldl' :: FoldableWithIndex i f => (i -> b -> a -> b) -> b -> f a -> b
+ SitePipe: ifoldlM :: (FoldableWithIndex i f, Monad m) => (i -> b -> a -> m b) -> b -> f a -> m b
+ SitePipe: ifoldlMOf :: Monad m => IndexedGetting i (Endo (r -> m r)) s a -> (i -> r -> a -> m r) -> r -> s -> m r
+ SitePipe: ifoldlOf :: () => IndexedGetting i (Dual (Endo r)) s a -> (i -> r -> a -> r) -> r -> s -> r
+ SitePipe: ifoldlOf' :: () => IndexedGetting i (Endo (r -> r)) s a -> (i -> r -> a -> r) -> r -> s -> r
+ SitePipe: ifoldr :: FoldableWithIndex i f => (i -> a -> b -> b) -> b -> f a -> b
+ SitePipe: ifoldr' :: FoldableWithIndex i f => (i -> a -> b -> b) -> b -> f a -> b
+ SitePipe: ifoldrM :: (FoldableWithIndex i f, Monad m) => (i -> a -> b -> m b) -> b -> f a -> m b
+ SitePipe: ifoldrMOf :: Monad m => IndexedGetting i (Dual (Endo (r -> m r))) s a -> (i -> a -> r -> m r) -> r -> s -> m r
+ SitePipe: ifoldrOf :: () => IndexedGetting i (Endo r) s a -> (i -> a -> r -> r) -> r -> s -> r
+ SitePipe: ifoldrOf' :: () => IndexedGetting i (Dual (Endo (r -> r))) s a -> (i -> a -> r -> r) -> r -> s -> r
+ SitePipe: 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
+ SitePipe: ifor :: (TraversableWithIndex i t, Applicative f) => t a -> (i -> a -> f b) -> f (t b)
+ SitePipe: iforM :: (TraversableWithIndex i t, Monad m) => t a -> (i -> a -> m b) -> m (t b)
+ SitePipe: iforMOf :: () => (Indexed i a (WrappedMonad m b) -> s -> WrappedMonad m t) -> s -> (i -> a -> m b) -> m t
+ SitePipe: iforMOf_ :: Monad m => IndexedGetting i (Sequenced r m) s a -> s -> (i -> a -> m r) -> m ()
+ SitePipe: iforM_ :: (FoldableWithIndex i t, Monad m) => t a -> (i -> a -> m b) -> m ()
+ SitePipe: iforOf :: () => (Indexed i a (f b) -> s -> f t) -> s -> (i -> a -> f b) -> f t
+ SitePipe: iforOf_ :: Functor f => IndexedGetting i (Traversed r f) s a -> s -> (i -> a -> f r) -> f ()
+ SitePipe: ifor_ :: (FoldableWithIndex i t, Applicative f) => t a -> (i -> a -> f b) -> f ()
+ SitePipe: ignored :: Applicative f => pafb -> s -> f s
+ SitePipe: iix :: Ixed m => Index m -> IndexedTraversal' (Index m) m (IxValue m)
+ SitePipe: ilens :: () => (s -> (i, a)) -> (s -> b -> t) -> IndexedLens i s t a b
+ SitePipe: ilevels :: Applicative f => Traversing (Indexed i) f s t a b -> IndexedLensLike Int f s t (Level i a) (Level j b)
+ SitePipe: ilike :: (Indexable i p, Contravariant f, Functor f) => i -> a -> Over' p f s a
+ SitePipe: ilistening :: MonadWriter w m => IndexedGetting i (i, u) w u -> m a -> m (a, (i, u))
+ SitePipe: ilistenings :: MonadWriter w m => IndexedGetting i v w u -> (i -> u -> v) -> m a -> m (a, v)
+ SitePipe: iloci :: () => IndexedTraversal i (Bazaar (Indexed i) a c s) (Bazaar (Indexed i) b c s) a b
+ SitePipe: 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)
+ SitePipe: imap :: FunctorWithIndex i f => (i -> a -> b) -> f a -> f b
+ SitePipe: imapAccumL :: TraversableWithIndex i t => (i -> s -> a -> (s, b)) -> s -> t a -> (s, t b)
+ SitePipe: imapAccumLOf :: () => Over (Indexed i) (State acc) s t a b -> (i -> acc -> a -> (acc, b)) -> acc -> s -> (acc, t)
+ SitePipe: imapAccumR :: TraversableWithIndex i t => (i -> s -> a -> (s, b)) -> s -> t a -> (s, t b)
+ SitePipe: imapAccumROf :: () => Over (Indexed i) (Backwards (State acc)) s t a b -> (i -> acc -> a -> (acc, b)) -> acc -> s -> (acc, t)
+ SitePipe: imapM :: (TraversableWithIndex i t, Monad m) => (i -> a -> m b) -> t a -> m (t b)
+ SitePipe: imapMOf :: () => Over (Indexed i) (WrappedMonad m) s t a b -> (i -> a -> m b) -> s -> m t
+ SitePipe: imapMOf_ :: Monad m => IndexedGetting i (Sequenced r m) s a -> (i -> a -> m r) -> s -> m ()
+ SitePipe: imapM_ :: (FoldableWithIndex i t, Monad m) => (i -> a -> m b) -> t a -> m ()
+ SitePipe: imapOf :: () => AnIndexedSetter i s t a b -> (i -> a -> b) -> s -> t
+ SitePipe: imapped :: FunctorWithIndex i f => IndexedSetter i (f a) (f b) a b
+ SitePipe: imodifying :: MonadState s m => AnIndexedSetter i s s a b -> (i -> a -> b) -> m ()
+ SitePipe: index :: (Indexable i p, Eq i, Applicative f) => i -> Optical' p (Indexed i) f a a
+ SitePipe: indexed :: Indexable i p => p a b -> i -> a -> b
+ SitePipe: indexing :: Indexable Int p => ((a -> Indexing f b) -> s -> Indexing f t) -> p a (f b) -> s -> f t
+ SitePipe: indexing64 :: Indexable Int64 p => ((a -> Indexing64 f b) -> s -> Indexing64 f t) -> p a (f b) -> s -> f t
+ SitePipe: indices :: (Indexable i p, Applicative f) => (i -> Bool) -> Optical' p (Indexed i) f a a
+ SitePipe: infix 4 %=
+ SitePipe: infixl 1 &~
+ SitePipe: infixl 4 >$
+ SitePipe: infixl 5 `failing`
+ SitePipe: infixl 8 ^#
+ SitePipe: infixr 2 <~
+ SitePipe: infixr 4 %~
+ SitePipe: infixr 5 :<
+ SitePipe: infixr 7 -<.>
+ SitePipe: infixr 8 #
+ SitePipe: infixr 9 <.
+ SitePipe: inone :: FoldableWithIndex i f => (i -> a -> Bool) -> f a -> Bool
+ SitePipe: inoneOf :: () => IndexedGetting i Any s a -> (i -> a -> Bool) -> s -> Bool
+ SitePipe: inside :: Corepresentable p => ALens s t a b -> Lens (p e s) (p e t) (p e a) (p e b)
+ SitePipe: involuted :: () => (a -> a) -> Iso' a a
+ SitePipe: iover :: () => AnIndexedSetter i s t a b -> (i -> a -> b) -> s -> t
+ SitePipe: ipartsOf :: (Indexable [i] p, Functor f) => Traversing (Indexed i) f s t a a -> Over p f s t [a] [a]
+ SitePipe: ipartsOf' :: (Indexable [i] p, Functor f) => Over (Indexed i) (Bazaar' (Indexed i) a) s t a a -> Over p f s t [a] [a]
+ SitePipe: ipassing :: MonadWriter w m => IndexedSetter i w w u v -> m (a, i -> u -> v) -> m a
+ SitePipe: iplens :: () => (s -> a) -> (s -> b -> t) -> IndexPreservingLens s t a b
+ SitePipe: ipre :: () => IndexedGetting i (First (i, a)) s a -> IndexPreservingGetter s (Maybe (i, a))
+ SitePipe: ipreuse :: MonadState s m => IndexedGetting i (First (i, a)) s a -> m (Maybe (i, a))
+ SitePipe: ipreuses :: MonadState s m => IndexedGetting i (First r) s a -> (i -> a -> r) -> m (Maybe r)
+ SitePipe: ipreview :: MonadReader s m => IndexedGetting i (First (i, a)) s a -> m (Maybe (i, a))
+ SitePipe: ipreviews :: MonadReader s m => IndexedGetting i (First r) s a -> (i -> a -> r) -> m (Maybe r)
+ SitePipe: isAbsolute :: FilePath -> Bool
+ SitePipe: isDrive :: FilePath -> Bool
+ SitePipe: isExtSeparator :: Char -> Bool
+ SitePipe: isExtensionOf :: String -> FilePath -> Bool
+ SitePipe: isPathSeparator :: Char -> Bool
+ SitePipe: isRelative :: FilePath -> Bool
+ SitePipe: isSearchPathSeparator :: Char -> Bool
+ SitePipe: isValid :: FilePath -> Bool
+ SitePipe: iset :: () => AnIndexedSetter i s t a b -> (i -> b) -> s -> t
+ SitePipe: isets :: () => ((i -> a -> b) -> s -> t) -> IndexedSetter i s t a b
+ SitePipe: isn't :: () => APrism s t a b -> s -> Bool
+ SitePipe: iso :: () => (s -> a) -> (b -> t) -> Iso s t a b
+ SitePipe: 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
+ SitePipe: iterated :: Apply f => (a -> a) -> LensLike' f a a
+ SitePipe: ito :: (Indexable i p, Contravariant f) => (s -> (i, a)) -> Over' p f s a
+ SitePipe: itoList :: FoldableWithIndex i f => f a -> [(i, a)]
+ SitePipe: itoListOf :: () => IndexedGetting i (Endo [(i, a)]) s a -> s -> [(i, a)]
+ SitePipe: itraverse :: (TraversableWithIndex i t, Applicative f) => (i -> a -> f b) -> t a -> f (t b)
+ SitePipe: 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)
+ SitePipe: 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
+ SitePipe: itraverseOf :: () => (Indexed i a (f b) -> s -> f t) -> (i -> a -> f b) -> s -> f t
+ SitePipe: itraverseOf_ :: Functor f => IndexedGetting i (Traversed r f) s a -> (i -> a -> f r) -> s -> f ()
+ SitePipe: itraverse_ :: (FoldableWithIndex i t, Applicative f) => (i -> a -> f b) -> t a -> f ()
+ SitePipe: itraversed :: TraversableWithIndex i t => IndexedTraversal i (t a) (t b) a b
+ SitePipe: iunsafePartsOf :: (Indexable [i] p, Functor f) => Traversing (Indexed i) f s t a b -> Over p f s t [a] [b]
+ SitePipe: iunsafePartsOf' :: () => Over (Indexed i) (Bazaar (Indexed i) a b) s t a b -> IndexedLens [i] s t [a] [b]
+ SitePipe: iuse :: MonadState s m => IndexedGetting i (i, a) s a -> m (i, a)
+ SitePipe: iuses :: MonadState s m => IndexedGetting i r s a -> (i -> a -> r) -> m r
+ SitePipe: iview :: MonadReader s m => IndexedGetting i (i, a) s a -> m (i, a)
+ SitePipe: iviews :: MonadReader s m => IndexedGetting i r s a -> (i -> a -> r) -> m r
+ SitePipe: ix :: Ixed m => Index m -> Traversal' m (IxValue m)
+ SitePipe: ixAt :: At m => Index m -> Traversal' m (IxValue m)
+ SitePipe: joinDrive :: FilePath -> FilePath -> FilePath
+ SitePipe: joinPath :: [FilePath] -> FilePath
+ SitePipe: json :: Parser Value
+ SitePipe: json' :: Parser Value
+ SitePipe: key :: AsValue t => Text -> Traversal' t Value
+ SitePipe: last1Of :: () => Getting (Last a) s a -> s -> a
+ SitePipe: lastOf :: () => Getting (Rightmost a) s a -> s -> Maybe a
+ SitePipe: lazy :: Strict lazy strict => Iso' strict lazy
+ SitePipe: left' :: Choice p => p a b -> p (Either a c) (Either b c)
+ SitePipe: lengthOf :: () => Getting (Endo (Endo Int)) s a -> s -> Int
+ SitePipe: lens :: () => (s -> a) -> (s -> b -> t) -> Lens s t a b
+ SitePipe: lensClass :: Lens' LensRules ClassyNamer
+ SitePipe: lensField :: Lens' LensRules FieldNamer
+ SitePipe: lensRules :: LensRules
+ SitePipe: lensRulesFor :: [(String, String)] -> LensRules
+ SitePipe: levels :: Applicative f => Traversing ((->) :: Type -> Type -> Type) f s t a b -> IndexedLensLike Int f s t (Level () a) (Level () b)
+ SitePipe: liftParseJSON :: FromJSON1 f => (Value -> Parser a) -> (Value -> Parser [a]) -> Value -> Parser (f a)
+ SitePipe: liftParseJSON2 :: FromJSON2 f => (Value -> Parser a) -> (Value -> Parser [a]) -> (Value -> Parser b) -> (Value -> Parser [b]) -> Value -> Parser (f a b)
+ SitePipe: liftParseJSONList :: FromJSON1 f => (Value -> Parser a) -> (Value -> Parser [a]) -> Value -> Parser [f a]
+ SitePipe: liftParseJSONList2 :: FromJSON2 f => (Value -> Parser a) -> (Value -> Parser [a]) -> (Value -> Parser b) -> (Value -> Parser [b]) -> Value -> Parser [f a b]
+ SitePipe: liftToEncoding :: ToJSON1 f => (a -> Encoding) -> ([a] -> Encoding) -> f a -> Encoding
+ SitePipe: liftToEncoding2 :: ToJSON2 f => (a -> Encoding) -> ([a] -> Encoding) -> (b -> Encoding) -> ([b] -> Encoding) -> f a b -> Encoding
+ SitePipe: liftToEncodingList :: ToJSON1 f => (a -> Encoding) -> ([a] -> Encoding) -> [f a] -> Encoding
+ SitePipe: liftToEncodingList2 :: ToJSON2 f => (a -> Encoding) -> ([a] -> Encoding) -> (b -> Encoding) -> ([b] -> Encoding) -> [f a b] -> Encoding
+ SitePipe: liftToJSON :: ToJSON1 f => (a -> Value) -> ([a] -> Value) -> f a -> Value
+ SitePipe: liftToJSON2 :: ToJSON2 f => (a -> Value) -> ([a] -> Value) -> (b -> Value) -> ([b] -> Value) -> f a b -> Value
+ SitePipe: liftToJSONList :: ToJSON1 f => (a -> Value) -> ([a] -> Value) -> [f a] -> Value
+ SitePipe: liftToJSONList2 :: ToJSON2 f => (a -> Value) -> ([a] -> Value) -> (b -> Value) -> ([b] -> Value) -> [f a b] -> Value
+ SitePipe: lifted :: Monad m => Setter (m a) (m b) a b
+ SitePipe: like :: (Profunctor p, Contravariant f, Functor f) => a -> Optic' p f s a
+ SitePipe: lined :: Applicative f => IndexedLensLike' Int f String String
+ SitePipe: listening :: MonadWriter w m => Getting u w u -> m a -> m (a, u)
+ SitePipe: listenings :: MonadWriter w m => Getting v w u -> (u -> v) -> m a -> m (a, v)
+ SitePipe: lmap :: Profunctor p => (a -> b) -> p b c -> p a c
+ SitePipe: lmapping :: (Profunctor p, Profunctor q) => AnIso s t a b -> Iso (p a x) (q b y) (p s x) (q t y)
+ SitePipe: loci :: () => Traversal (Bazaar ((->) :: Type -> Type -> Type) a c s) (Bazaar ((->) :: Type -> Type -> Type) b c s) a b
+ SitePipe: locus :: IndexedComonadStore p => Lens (p a c s) (p b c s) a b
+ SitePipe: lookingupNamer :: [(String, String)] -> FieldNamer
+ SitePipe: lookupOf :: Eq k => Getting (Endo (Maybe v)) s (k, v) -> k -> s -> Maybe v
+ SitePipe: magma :: () => LensLike (Mafic a b) s t a b -> Iso s u (Magma Int t b a) (Magma j u c c)
+ SitePipe: magnify :: Magnify m n b a => LensLike' (Magnified m c) a b -> m c -> n c
+ SitePipe: makeClassy :: Name -> DecsQ
+ SitePipe: makeClassyFor :: String -> String -> [(String, String)] -> Name -> DecsQ
+ SitePipe: makeClassyPrisms :: Name -> DecsQ
+ SitePipe: makeClassy_ :: Name -> DecsQ
+ SitePipe: makeFields :: Name -> DecsQ
+ SitePipe: makeFieldsNoPrefix :: Name -> DecsQ
+ SitePipe: makeLenses :: Name -> DecsQ
+ SitePipe: makeLensesFor :: [(String, String)] -> Name -> DecsQ
+ SitePipe: makeLensesWith :: LensRules -> Name -> DecsQ
+ SitePipe: makePrisms :: Name -> DecsQ
+ SitePipe: makeRelative :: FilePath -> FilePath -> FilePath
+ SitePipe: makeValid :: FilePath -> FilePath
+ SitePipe: makeWrapped :: Name -> DecsQ
+ SitePipe: mapAccumLOf :: () => LensLike (State acc) s t a b -> (acc -> a -> (acc, b)) -> acc -> s -> (acc, t)
+ SitePipe: mapAccumROf :: () => LensLike (Backwards (State acc)) s t a b -> (acc -> a -> (acc, b)) -> acc -> s -> (acc, t)
+ SitePipe: mapEq :: () => AnEquality s t a b -> f s -> f a
+ SitePipe: mapMOf :: () => LensLike (WrappedMonad m) s t a b -> (a -> m b) -> s -> m t
+ SitePipe: mapMOf_ :: Monad m => Getting (Sequenced r m) s a -> (a -> m r) -> s -> m ()
+ SitePipe: mapOf :: () => ASetter s t a b -> (a -> b) -> s -> t
+ SitePipe: mapped :: Functor f => Setter (f a) (f b) a b
+ SitePipe: mapping :: (Functor f, Functor g) => AnIso s t a b -> Iso (f s) (g t) (f a) (g b)
+ SitePipe: mappingNamer :: (String -> [String]) -> FieldNamer
+ SitePipe: matching :: () => APrism s t a b -> s -> Either t a
+ SitePipe: maximum1Of :: Ord a => Getting (Max a) s a -> s -> a
+ SitePipe: maximumByOf :: () => Getting (Endo (Endo (Maybe a))) s a -> (a -> a -> Ordering) -> s -> Maybe a
+ SitePipe: maximumOf :: Ord a => Getting (Endo (Endo (Maybe a))) s a -> s -> Maybe a
+ SitePipe: members :: AsValue t => IndexedTraversal' Text t Value
+ SitePipe: minimum1Of :: Ord a => Getting (Min a) s a -> s -> a
+ SitePipe: minimumByOf :: () => Getting (Endo (Endo (Maybe a))) s a -> (a -> a -> Ordering) -> s -> Maybe a
+ SitePipe: minimumOf :: Ord a => Getting (Endo (Endo (Maybe a))) s a -> s -> Maybe a
+ SitePipe: modifying :: MonadState s m => ASetter s s a b -> (a -> b) -> m ()
+ SitePipe: msumOf :: MonadPlus m => Getting (Endo (m a)) s (m a) -> s -> m a
+ SitePipe: nearly :: () => a -> (a -> Bool) -> Prism' a ()
+ SitePipe: newtype Bazaar (p :: Type -> Type -> Type) a b t
+ SitePipe: newtype Bazaar1 (p :: Type -> Type -> Type) a b t
+ SitePipe: newtype DotNetTime
+ SitePipe: newtype Identity a
+ SitePipe: newtype Indexed i a b
+ SitePipe: newtype ReifiedFold s a
+ SitePipe: newtype ReifiedGetter s a
+ SitePipe: newtype ReifiedIndexedFold i s a
+ SitePipe: newtype ReifiedIndexedGetter i s a
+ SitePipe: newtype ReifiedIndexedLens i s t a b
+ SitePipe: newtype ReifiedIndexedSetter i s t a b
+ SitePipe: newtype ReifiedIndexedTraversal i s t a b
+ SitePipe: newtype ReifiedIso s t a b
+ SitePipe: newtype ReifiedLens s t a b
+ SitePipe: newtype ReifiedPrism s t a b
+ SitePipe: newtype ReifiedSetter s t a b
+ SitePipe: newtype ReifiedTraversal s t a b
+ SitePipe: newtype Const a (b :: k) :: forall k. () => Type -> k -> Type
+ SitePipe: non :: Eq a => a -> Iso' (Maybe a) a
+ SitePipe: non' :: () => APrism' a () -> Iso' (Maybe a) a
+ SitePipe: nonNull :: Prism' Value Value
+ SitePipe: none :: Foldable f => (a -> Bool) -> f a -> Bool
+ SitePipe: noneOf :: () => Getting Any s a -> (a -> Bool) -> s -> Bool
+ SitePipe: normalise :: FilePath -> FilePath
+ SitePipe: notElemOf :: Eq a => Getting All s a -> a -> s -> Bool
+ SitePipe: notNullOf :: () => Getting Any s a -> s -> Bool
+ SitePipe: nth :: AsValue t => Int -> Traversal' t Value
+ SitePipe: nullOf :: () => Getting All s a -> s -> Bool
+ SitePipe: object :: [Pair] -> Value
+ SitePipe: only :: Eq a => a -> Prism' a ()
+ SitePipe: op :: Wrapped s => (Unwrapped s -> s) -> s -> Unwrapped s
+ SitePipe: orOf :: () => Getting Any s Bool -> s -> Bool
+ SitePipe: outside :: Representable p => APrism s t a b -> Lens (p t r) (p s r) (p b r) (p a r)
+ SitePipe: over :: () => ASetter s t a b -> (a -> b) -> s -> t
+ SitePipe: overA :: Arrow ar => LensLike (Context a b) s t a b -> ar a b -> ar s t
+ SitePipe: pairs :: Series -> Encoding
+ SitePipe: para :: Plated a => (a -> [r] -> r) -> a -> r
+ SitePipe: paraOf :: () => Getting (Endo [a]) a a -> (a -> [r] -> r) -> a -> r
+ SitePipe: parseJSON :: FromJSON a => Value -> Parser a
+ SitePipe: parseJSON1 :: (FromJSON1 f, FromJSON a) => Value -> Parser (f a)
+ SitePipe: parseJSON2 :: (FromJSON2 f, FromJSON a, FromJSON b) => Value -> Parser (f a b)
+ SitePipe: parseJSONList :: FromJSON a => Value -> Parser [a]
+ SitePipe: parts :: Plated a => Lens' a [a]
+ SitePipe: partsOf :: Functor f => Traversing ((->) :: Type -> Type -> Type) f s t a a -> LensLike f s t [a] [a]
+ SitePipe: partsOf' :: () => ATraversal s t a a -> Lens s t [a] [a]
+ SitePipe: passing :: MonadWriter w m => Setter w w u v -> m (a, u -> v) -> m a
+ SitePipe: pathSeparator :: Char
+ SitePipe: pathSeparators :: [Char]
+ SitePipe: pattern Wrapped :: forall s. Rewrapped s s => () => Unwrapped s -> s
+ SitePipe: pattern List :: forall l. IsList l => () => [Item l] -> l
+ SitePipe: pattern (:>) :: forall a b. Snoc a a b b => () => a -> b -> a
+ SitePipe: pattern Swapped :: forall (p :: Type -> Type -> Type) c d. Swapped p => () => p d c -> p c d
+ SitePipe: pattern Empty :: forall s. AsEmpty s => () => s
+ SitePipe: pattern Reversed :: forall t. Reversing t => () => t -> t
+ SitePipe: plate :: Plated a => Traversal' a a
+ SitePipe: pre :: () => Getting (First a) s a -> IndexPreservingGetter s (Maybe a)
+ SitePipe: preuse :: MonadState s m => Getting (First a) s a -> m (Maybe a)
+ SitePipe: preuses :: MonadState s m => Getting (First r) s a -> (a -> r) -> m (Maybe r)
+ SitePipe: preview :: MonadReader s m => Getting (First a) s a -> m (Maybe a)
+ SitePipe: previews :: MonadReader s m => Getting (First r) s a -> (a -> r) -> m (Maybe r)
+ SitePipe: prism :: () => (b -> t) -> (s -> Either t a) -> Prism s t a b
+ SitePipe: prism' :: () => (b -> s) -> (s -> Maybe a) -> Prism s s a b
+ SitePipe: productOf :: Num a => Getting (Endo (Endo a)) s a -> s -> a
+ SitePipe: re :: () => AReview t b -> Getter b t
+ SitePipe: reindexed :: Indexable j p => (i -> j) -> (Indexed i a b -> r) -> p a b -> r
+ SitePipe: repeated :: Apply f => LensLike' f a a
+ SitePipe: replaceBaseName :: FilePath -> String -> FilePath
+ SitePipe: replaceDirectory :: FilePath -> String -> FilePath
+ SitePipe: replaceExtension :: FilePath -> String -> FilePath
+ SitePipe: replaceExtensions :: FilePath -> String -> FilePath
+ SitePipe: replaceFileName :: FilePath -> String -> FilePath
+ SitePipe: replicated :: () => Int -> Fold a a
+ SitePipe: retagged :: (Profunctor p, Bifunctor p) => p a b -> p s b
+ SitePipe: reuse :: MonadState b m => AReview t b -> m t
+ SitePipe: reuses :: MonadState b m => AReview t b -> (t -> r) -> m r
+ SitePipe: reversed :: Reversing a => Iso' a a
+ SitePipe: reversing :: Reversing t => t -> t
+ SitePipe: review :: MonadReader b m => AReview t b -> m t
+ SitePipe: reviews :: MonadReader b m => AReview t b -> (t -> r) -> m r
+ SitePipe: rewrite :: Plated a => (a -> Maybe a) -> a -> a
+ SitePipe: rewriteM :: (Monad m, Plated a) => (a -> m (Maybe a)) -> a -> m a
+ SitePipe: rewriteMOf :: Monad m => LensLike (WrappedMonad m) a b a b -> (b -> m (Maybe a)) -> a -> m b
+ SitePipe: rewriteMOn :: (Monad m, Plated a) => LensLike (WrappedMonad m) s t a a -> (a -> m (Maybe a)) -> s -> m t
+ SitePipe: rewriteMOnOf :: Monad m => LensLike (WrappedMonad m) s t a b -> LensLike (WrappedMonad m) a b a b -> (b -> m (Maybe a)) -> s -> m t
+ SitePipe: rewriteOf :: () => ASetter a b a b -> (b -> Maybe a) -> a -> b
+ SitePipe: rewriteOn :: Plated a => ASetter s t a a -> (a -> Maybe a) -> s -> t
+ SitePipe: rewriteOnOf :: () => ASetter s t a b -> ASetter a b a b -> (b -> Maybe a) -> s -> t
+ SitePipe: right' :: Choice p => p a b -> p (Either c a) (Either c b)
+ SitePipe: rmap :: Profunctor p => (b -> c) -> p a b -> p a c
+ SitePipe: rmapping :: (Profunctor p, Profunctor q) => AnIso s t a b -> Iso (p x s) (q y t) (p x a) (q y b)
+ SitePipe: runEq :: () => AnEquality s t a b -> Identical s t a b
+ SitePipe: sans :: At m => Index m -> m -> m
+ SitePipe: scanl1Of :: () => LensLike (State (Maybe a)) s t a a -> (a -> a -> a) -> s -> t
+ SitePipe: scanr1Of :: () => LensLike (Backwards (State (Maybe a))) s t a a -> (a -> a -> a) -> s -> t
+ SitePipe: scribe :: (MonadWriter t m, Monoid s) => ASetter s t a b -> b -> m ()
+ SitePipe: searchPathSeparator :: Char
+ SitePipe: seconding :: (Bifunctor f, Bifunctor g) => AnIso s t a b -> Iso (f x s) (g y t) (f x a) (g y b)
+ SitePipe: selfIndex :: Indexable a p => p a fb -> a -> fb
+ SitePipe: sequence1Of_ :: Functor f => Getting (TraversedF a f) s (f a) -> s -> f ()
+ SitePipe: sequenceAOf :: () => LensLike f s t (f b) b -> s -> f t
+ SitePipe: sequenceAOf_ :: Functor f => Getting (Traversed a f) s (f a) -> s -> f ()
+ SitePipe: sequenceBy :: Traversable t => (forall x. () => x -> f x) -> (forall x y. () => f (x -> y) -> f x -> f y) -> t (f a) -> f (t a)
+ SitePipe: 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
+ SitePipe: sequenceOf :: () => LensLike (WrappedMonad m) s t (m b) b -> s -> m t
+ SitePipe: sequenceOf_ :: Monad m => Getting (Sequenced a m) s (m a) -> s -> m ()
+ SitePipe: set :: () => ASetter s t a b -> b -> s -> t
+ SitePipe: set' :: () => ASetter' s a -> a -> s -> s
+ SitePipe: sets :: (Profunctor p, Profunctor q, Settable f) => (p a b -> q s t) -> Optical p q f s t a b
+ SitePipe: setting :: () => ((a -> b) -> s -> t) -> IndexPreservingSetter s t a b
+ SitePipe: simple :: () => Equality' a a
+ SitePipe: simpleLenses :: Lens' LensRules Bool
+ SitePipe: simply :: () => (Optic' p f s a -> r) -> Optic' p f s a -> r
+ SitePipe: singular :: (HasCallStack, Conjoined p, Functor f) => Traversing p f s t a a -> Over p f s t a a
+ SitePipe: snoc :: Snoc s s a a => s -> a -> s
+ SitePipe: splitDirectories :: FilePath -> [FilePath]
+ SitePipe: splitDrive :: FilePath -> (FilePath, FilePath)
+ SitePipe: splitExtension :: FilePath -> (String, String)
+ SitePipe: splitExtensions :: FilePath -> (FilePath, String)
+ SitePipe: splitFileName :: FilePath -> (String, String)
+ SitePipe: splitPath :: FilePath -> [FilePath]
+ SitePipe: splitSearchPath :: String -> [FilePath]
+ SitePipe: storing :: () => ALens s t a b -> b -> s -> t
+ SitePipe: strict :: Strict lazy strict => Iso' lazy strict
+ SitePipe: stripExtension :: String -> FilePath -> Maybe FilePath
+ SitePipe: substEq :: () => AnEquality s t a b -> ((s ~ a) -> (t ~ b) -> r) -> r
+ SitePipe: sumOf :: Num a => Getting (Endo (Endo a)) s a -> s -> a
+ SitePipe: swapped :: Swapped p => Iso (p a b) (p c d) (p b a) (p d c)
+ SitePipe: takeBaseName :: FilePath -> String
+ SitePipe: takeDirectory :: FilePath -> FilePath
+ SitePipe: takeDrive :: FilePath -> FilePath
+ SitePipe: takeExtension :: FilePath -> String
+ SitePipe: takeExtensions :: FilePath -> String
+ SitePipe: takeFileName :: FilePath -> FilePath
+ SitePipe: taking :: (Conjoined p, Applicative f) => Int -> Traversing p f s t a a -> Over p f s t a a
+ SitePipe: 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
+ SitePipe: to :: (Profunctor p, Contravariant f) => (s -> a) -> Optic' p f s a
+ SitePipe: toEncoding :: ToJSON a => a -> Encoding
+ SitePipe: toEncoding1 :: (ToJSON1 f, ToJSON a) => f a -> Encoding
+ SitePipe: toEncoding2 :: (ToJSON2 f, ToJSON a, ToJSON b) => f a b -> Encoding
+ SitePipe: toEncodingList :: ToJSON a => [a] -> Encoding
+ SitePipe: toJSON :: ToJSON a => a -> Value
+ SitePipe: toJSON1 :: (ToJSON1 f, ToJSON a) => f a -> Value
+ SitePipe: toJSON2 :: (ToJSON2 f, ToJSON a, ToJSON b) => f a b -> Value
+ SitePipe: toJSONKey :: ToJSONKey a => ToJSONKeyFunction a
+ SitePipe: toJSONKeyList :: ToJSONKey a => ToJSONKeyFunction [a]
+ SitePipe: toJSONList :: ToJSON a => [a] -> Value
+ SitePipe: toListOf :: () => Getting (Endo [a]) s a -> s -> [a]
+ SitePipe: toNonEmptyOf :: () => Getting (NonEmptyDList a) s a -> s -> NonEmpty a
+ SitePipe: transform :: Plated a => (a -> a) -> a -> a
+ SitePipe: transformM :: (Monad m, Plated a) => (a -> m a) -> a -> m a
+ SitePipe: transformMOf :: Monad m => LensLike (WrappedMonad m) a b a b -> (b -> m b) -> a -> m b
+ SitePipe: transformMOn :: (Monad m, Plated a) => LensLike (WrappedMonad m) s t a a -> (a -> m a) -> s -> m t
+ SitePipe: transformMOnOf :: Monad m => LensLike (WrappedMonad m) s t a b -> LensLike (WrappedMonad m) a b a b -> (b -> m b) -> s -> m t
+ SitePipe: transformOf :: () => ASetter a b a b -> (b -> b) -> a -> b
+ SitePipe: transformOn :: Plated a => ASetter s t a a -> (a -> a) -> s -> t
+ SitePipe: transformOnOf :: () => ASetter s t a b -> ASetter a b a b -> (b -> b) -> s -> t
+ SitePipe: transposeOf :: () => LensLike ZipList s t [a] a -> s -> [t]
+ SitePipe: traverse :: (Traversable t, Applicative f) => (a -> f b) -> t a -> f (t b)
+ SitePipe: traverse1 :: (Traversable1 t, Apply f) => (a -> f b) -> t a -> f (t b)
+ SitePipe: traverse1Of_ :: Functor f => Getting (TraversedF r f) s a -> (a -> f r) -> s -> f ()
+ SitePipe: 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)
+ SitePipe: 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
+ SitePipe: traverseMax :: TraverseMax k m => IndexedTraversal' k (m v) v
+ SitePipe: traverseMin :: TraverseMin k m => IndexedTraversal' k (m v) v
+ SitePipe: traverseOf :: () => LensLike f s t a b -> (a -> f b) -> s -> f t
+ SitePipe: traverseOf_ :: Functor f => Getting (Traversed r f) s a -> (a -> f r) -> s -> f ()
+ SitePipe: traversed :: Traversable f => IndexedTraversal Int (f a) (f b) a b
+ SitePipe: traversed1 :: Traversable1 f => IndexedTraversal1 Int (f a) (f b) a b
+ SitePipe: traversed64 :: Traversable f => IndexedTraversal Int64 (f a) (f b) a b
+ SitePipe: type ALens s t a b = LensLike Pretext ((->) :: Type -> Type -> Type) a b s t a b
+ SitePipe: type ALens' s a = ALens s s a a
+ SitePipe: type APrism s t a b = Market a b a Identity b -> Market a b s Identity t
+ SitePipe: type APrism' s a = APrism s s a a
+ SitePipe: type AReview t b = Optic' (Tagged :: Type -> Type -> Type) Identity t b
+ SitePipe: type ASetter s t a b = a -> Identity b -> s -> Identity t
+ SitePipe: type ASetter' s a = ASetter s s a a
+ SitePipe: type ATraversal s t a b = LensLike Bazaar ((->) :: Type -> Type -> Type) a b s t a b
+ SitePipe: type ATraversal' s a = ATraversal s s a a
+ SitePipe: type ATraversal1 s t a b = LensLike Bazaar1 ((->) :: Type -> Type -> Type) a b s t a b
+ SitePipe: type ATraversal1' s a = ATraversal1 s s a a
+ SitePipe: type Accessing (p :: Type -> Type -> Type) m s a = p a Const m a -> s -> Const m s
+ SitePipe: type AnEquality (s :: k1) (t :: k2) (a :: k1) (b :: k2) = Identical a Proxy b a Proxy b -> Identical a Proxy b s Proxy t
+ SitePipe: type AnEquality' (s :: k2) (a :: k2) = AnEquality s s a a
+ SitePipe: type AnIndexedLens i s t a b = Optical Indexed i ((->) :: Type -> Type -> Type) Pretext Indexed i a b s t a b
+ SitePipe: type AnIndexedLens' i s a = AnIndexedLens i s s a a
+ SitePipe: type AnIndexedSetter i s t a b = Indexed i a Identity b -> s -> Identity t
+ SitePipe: type AnIndexedSetter' i s a = AnIndexedSetter i s s a a
+ SitePipe: type AnIndexedTraversal i s t a b = Over Indexed i Bazaar Indexed i a b s t a b
+ SitePipe: type AnIndexedTraversal' i s a = AnIndexedTraversal i s s a a
+ SitePipe: type AnIndexedTraversal1 i s t a b = Over Indexed i Bazaar1 Indexed i a b s t a b
+ SitePipe: type AnIndexedTraversal1' i s a = AnIndexedTraversal1 i s s a a
+ SitePipe: type AnIso s t a b = Exchange a b a Identity b -> Exchange a b s Identity t
+ SitePipe: type AnIso' s a = AnIso s s a a
+ SitePipe: type Array = Vector Value
+ SitePipe: type As (a :: k2) = Equality' a a
+ SitePipe: type Bazaar' (p :: Type -> Type -> Type) a = Bazaar p a a
+ SitePipe: type Bazaar1' (p :: Type -> Type -> Type) a = Bazaar1 p a a
+ SitePipe: type ClassyNamer = Name -> Maybe (Name, Name)
+ SitePipe: type Context' a = Context a a
+ SitePipe: type Encoding = Encoding' Value
+ SitePipe: type Equality' (s :: k2) (a :: k2) = Equality s s a a
+ SitePipe: type FieldNamer = Name -> [Name] -> Name -> [DefName]
+ SitePipe: type FilePath = String
+ SitePipe: type GToEncoding = GToJSON Encoding
+ SitePipe: type GToJSON = GToJSON Value
+ SitePipe: type Getting r s a = a -> Const r a -> s -> Const r s
+ SitePipe: type IndexPreservingLens' s a = IndexPreservingLens s s a a
+ SitePipe: type IndexPreservingSetter' s a = IndexPreservingSetter s s a a
+ SitePipe: type IndexPreservingTraversal' s a = IndexPreservingTraversal s s a a
+ SitePipe: type IndexPreservingTraversal1' s a = IndexPreservingTraversal1 s s a a
+ SitePipe: type IndexedGetting i m s a = Indexed i a Const m a -> s -> Const m s
+ SitePipe: type IndexedLens' i s a = IndexedLens i s s a a
+ SitePipe: type IndexedLensLike' i (f :: Type -> Type) s a = IndexedLensLike i f s s a a
+ SitePipe: type IndexedSetter' i s a = IndexedSetter i s s a a
+ SitePipe: type IndexedTraversal' i s a = IndexedTraversal i s s a a
+ SitePipe: type IndexedTraversal1' i s a = IndexedTraversal1 i s s a a
+ SitePipe: type Iso' s a = Iso s s a a
+ SitePipe: type Lens' s a = Lens s s a a
+ SitePipe: type LensLike (f :: k -> Type) s (t :: k) a (b :: k) = a -> f b -> s -> f t
+ SitePipe: type LensLike' (f :: Type -> Type) s a = LensLike f s s a a
+ SitePipe: type Object = HashMap Text Value
+ SitePipe: 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
+ SitePipe: type Optic' (p :: k1 -> k -> Type) (f :: k1 -> k) (s :: k1) (a :: k1) = Optic p f s s a a
+ SitePipe: 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
+ SitePipe: 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
+ SitePipe: type Over (p :: k -> Type -> Type) (f :: k1 -> Type) s (t :: k1) (a :: k) (b :: k1) = p a f b -> s -> f t
+ SitePipe: type Over' (p :: Type -> Type -> Type) (f :: Type -> Type) s a = Over p f s s a a
+ SitePipe: type Prism' s a = Prism s s a a
+ SitePipe: type ReifiedIndexedLens' i s a = ReifiedIndexedLens i s s a a
+ SitePipe: type ReifiedIndexedSetter' i s a = ReifiedIndexedSetter i s s a a
+ SitePipe: type ReifiedIndexedTraversal' i s a = ReifiedIndexedTraversal i s s a a
+ SitePipe: type ReifiedIso' s a = ReifiedIso s s a a
+ SitePipe: type ReifiedLens' s a = ReifiedLens s s a a
+ SitePipe: type ReifiedPrism' s a = ReifiedPrism s s a a
+ SitePipe: type ReifiedSetter' s a = ReifiedSetter s s a a
+ SitePipe: type ReifiedTraversal' s a = ReifiedTraversal s s a a
+ SitePipe: type Setter' s a = Setter s s a a
+ SitePipe: type Setting (p :: Type -> Type -> Type) s t a b = p a Identity b -> s -> Identity t
+ SitePipe: type Setting' (p :: Type -> Type -> Type) s a = Setting p s s a a
+ SitePipe: type Simple (f :: k -> k -> k1 -> k1 -> k2) (s :: k) (a :: k1) = f s s a a
+ SitePipe: type Traversal' s a = Traversal s s a a
+ SitePipe: type Traversal1' s a = Traversal1 s s a a
+ SitePipe: type Traversing (p :: Type -> Type -> Type) (f :: Type -> Type) s t a b = Over p BazaarT p f a b s t a b
+ SitePipe: type Traversing' (p :: Type -> Type -> Type) (f :: Type -> Type) s a = Traversing p f s s a a
+ SitePipe: type Traversing1 (p :: Type -> Type -> Type) (f :: Type -> Type) s t a b = Over p BazaarT1 p f a b s t a b
+ SitePipe: type Traversing1' (p :: Type -> Type -> Type) (f :: Type -> Type) s a = Traversing1 p f s s a a
+ SitePipe: type Fold1 s a = forall (f :: Type -> Type). (Contravariant f, Apply f) => a -> f a -> s -> f s
+ SitePipe: type family Unwrapped s :: Type;
+ SitePipe: 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
+ SitePipe: un :: (Profunctor p, Bifunctor p, Functor f) => Getting a s a -> Optic' p f a s
+ SitePipe: uncons :: Cons s s a a => s -> Maybe (a, s)
+ SitePipe: uncurried :: () => Iso (a -> b -> c) (d -> e -> f) ((a, b) -> c) ((d, e) -> f)
+ SitePipe: under :: () => AnIso s t a b -> (t -> s) -> b -> a
+ SitePipe: underscoreFields :: LensRules
+ SitePipe: underscoreNamer :: FieldNamer
+ SitePipe: underscoreNoPrefixNamer :: FieldNamer
+ SitePipe: unfolded :: () => (b -> Maybe (a, b)) -> Fold b a
+ SitePipe: united :: () => Lens' a ()
+ SitePipe: universe :: Plated a => a -> [a]
+ SitePipe: universeOf :: () => Getting [a] a a -> a -> [a]
+ SitePipe: universeOn :: Plated a => Getting [a] s a -> s -> [a]
+ SitePipe: universeOnOf :: () => Getting [a] s a -> Getting [a] a a -> s -> [a]
+ SitePipe: unsafePartsOf :: Functor f => Traversing ((->) :: Type -> Type -> Type) f s t a b -> LensLike f s t [a] [b]
+ SitePipe: unsafePartsOf' :: () => ATraversal s t a b -> Lens s t [a] [b]
+ SitePipe: unsafeSingular :: (HasCallStack, Conjoined p, Functor f) => Traversing p f s t a b -> Over p f s t a b
+ SitePipe: unsnoc :: Snoc s s a a => s -> Maybe (s, a)
+ SitePipe: unto :: (Profunctor p, Bifunctor p, Functor f) => (b -> t) -> Optic p f s t a b
+ SitePipe: use :: MonadState s m => Getting a s a -> m a
+ SitePipe: uses :: MonadState s m => LensLike' (Const r :: Type -> Type) s a -> (a -> r) -> m r
+ SitePipe: values :: AsValue t => IndexedTraversal' Int t Value
+ SitePipe: view :: MonadReader s m => Getting a s a -> m a
+ SitePipe: views :: MonadReader s m => LensLike' (Const r :: Type -> Type) s a -> (a -> r) -> m r
+ SitePipe: withArray :: () => String -> (Array -> Parser a) -> Value -> Parser a
+ SitePipe: withBool :: () => String -> (Bool -> Parser a) -> Value -> Parser a
+ SitePipe: withEmbeddedJSON :: () => String -> (Value -> Parser a) -> Value -> Parser a
+ SitePipe: withIndex :: (Indexable i p, Functor f) => p (i, s) (f (j, t)) -> Indexed i s (f t)
+ SitePipe: withIso :: () => AnIso s t a b -> ((s -> a) -> (b -> t) -> r) -> r
+ SitePipe: withObject :: () => String -> (Object -> Parser a) -> Value -> Parser a
+ SitePipe: withPrism :: () => APrism s t a b -> ((b -> t) -> (s -> Either t a) -> r) -> r
+ SitePipe: withScientific :: () => String -> (Scientific -> Parser a) -> Value -> Parser a
+ SitePipe: withText :: () => String -> (Text -> Parser a) -> Value -> Parser a
+ SitePipe: without :: () => APrism s t a b -> APrism u v c d -> Prism (Either s u) (Either t v) (Either a c) (Either b d)
+ SitePipe: worded :: Applicative f => IndexedLensLike' Int f String String
+ SitePipe: zoom :: Zoom m n s t => LensLike' (Zoomed m c) t s -> m c -> n c
+ SitePipe: }
+ SitePipe.Readers: mkPandocReaderWith :: (ReaderOptions -> String -> PandocIO Pandoc) -> (Pandoc -> PandocIO Pandoc) -> (Pandoc -> PandocIO String) -> String -> IO String
+ SitePipe.Readers: readMarkdown :: PandocMonad m => ReaderOptions -> Text -> m Pandoc
+ SitePipe.Types: instance GHC.Exception.Type.Exception SitePipe.Types.SitePipeError
- SitePipe: liftIO :: MonadIO m => forall a. IO a -> m a
+ SitePipe: liftIO :: MonadIO m => IO a -> m a
- SitePipe: mkPandocReader :: (ReaderOptions -> String -> Either PandocError Pandoc) -> String -> IO String
+ SitePipe: mkPandocReader :: (ReaderOptions -> String -> PandocIO Pandoc) -> String -> IO String
- SitePipe: textReader :: String -> IO String
+ SitePipe: textReader :: String -> PandocIO String
- SitePipe: textWriter :: (ToJSON a) => [a] -> SiteM ()
+ SitePipe: textWriter :: ToJSON a => [a] -> SiteM ()
- SitePipe: writeTemplate :: (ToJSON a) => FilePath -> [a] -> SiteM ()
+ SitePipe: writeTemplate :: ToJSON a => FilePath -> [a] -> SiteM ()
- SitePipe: writeWith :: (ToJSON a) => (a -> SiteM String) -> [a] -> SiteM ()
+ SitePipe: writeWith :: ToJSON a => (a -> SiteM String) -> [a] -> SiteM ()
- SitePipe.Files: textWriter :: (ToJSON a) => [a] -> SiteM ()
+ SitePipe.Files: textWriter :: ToJSON a => [a] -> SiteM ()
- SitePipe.Files: writeTemplate :: (ToJSON a) => FilePath -> [a] -> SiteM ()
+ SitePipe.Files: writeTemplate :: ToJSON a => FilePath -> [a] -> SiteM ()
- SitePipe.Files: writeWith :: (ToJSON a) => (a -> SiteM String) -> [a] -> SiteM ()
+ SitePipe.Files: writeWith :: ToJSON a => (a -> SiteM String) -> [a] -> SiteM ()
- SitePipe.Readers: mkPandocReader :: (ReaderOptions -> String -> Either PandocError Pandoc) -> String -> IO String
+ SitePipe.Readers: mkPandocReader :: (ReaderOptions -> String -> PandocIO Pandoc) -> String -> IO String
- SitePipe.Readers: pandocToHTML :: Pandoc -> String
+ SitePipe.Readers: pandocToHTML :: Pandoc -> PandocIO String
- SitePipe.Readers: textReader :: String -> IO String
+ SitePipe.Readers: textReader :: String -> PandocIO String
- SitePipe.Templating: renderTemplate :: (ToJSON env) => Template -> env -> SiteM String
+ SitePipe.Templating: renderTemplate :: ToJSON env => Template -> env -> SiteM String
- SitePipe.Types: MParseErr :: (ParseError (Token String) MPErr) -> SitePipeError
+ SitePipe.Types: MParseErr :: ParseErrorBundle String Void -> SitePipeError
Files
- sitepipe.cabal +53/−53
- src/SitePipe/Files.hs +1/−1
- src/SitePipe/Parse.hs +4/−4
- src/SitePipe/Readers.hs +30/−16
- src/SitePipe/Types.hs +2/−2
sitepipe.cabal view
@@ -1,55 +1,55 @@-name: sitepipe-version: 0.3.0.2-synopsis: A simple to understand static site generator-homepage: https://github.com/ChrisPenner/sitepipe#readme-license: BSD3-license-file: LICENSE-author: Chris Penner-maintainer: christopher.penner@gmail.com-copyright: 2017 Chris Penner-category: Web-build-type: Simple-extra-source-files: README.md-cabal-version: >=1.10-Tested-With: GHC == 8.0.2, GHC == 8.2.1--library- hs-source-dirs: src- exposed-modules: SitePipe- , SitePipe.Pipes- , SitePipe.Readers- , SitePipe.Templating- , SitePipe.Files- , SitePipe.Parse- , SitePipe.Types- , SitePipe.Utilities- build-depends: base >= 4.9 && < 4.11- , optparse-applicative >= 0.13.2- , unordered-containers >= 0.2.8.0 && < 0.3- , directory >= 1.3.0.0 && < 1.4- , filepath >= 1.4.1.1 && < 1.5- , megaparsec >= 5.3.1 && < 6.6- , mtl >= 2.2.1 && < 2.3- , pandoc >= 1.19.2 && < 1.20- , yaml >= 0.8.23.3 && < 0.9- , mustache >= 2.2.3- , bytestring >= 0.10.8.1 && < 0.11- , text >= 1.2.2.2 && < 1.3- , parsec >= 3.1.11 && < 3.2- , exceptions >= 0.8.3 && < 0.9- , Glob >= 0.8.0 && < 0.10- , lens-aeson >= 1.0.2 && < 1.1- , lens >= 4.15.4 && < 4.17- , aeson >= 1.1.2.0 && < 1.3- , shelly >= 1.6.8 && < 1.8- , MissingH >= 1.4.0.1 && < 1.5- , containers >= 0.5.7.1 && < 0.6-- if impl(ghc >= 8.2)- build-depends: pandoc >= 1.19.2.4-- default-language: Haskell2010+cabal-version: >=1.10+name: sitepipe+version: 0.4.0.0+license: BSD3+license-file: LICENSE+copyright: 2017 Chris Penner+maintainer: christopher.penner@gmail.com+author: Chris Penner+tested-with: ghc ==8.0.2 ghc ==8.2.1+homepage: https://github.com/ChrisPenner/sitepipe#readme+synopsis: A simple to understand static site generator+category: Web+build-type: Simple+extra-source-files:+ README.md source-repository head- type: git- location: https://github.com/ChrisPenner/sitepipe+ type: git+ location: https://github.com/ChrisPenner/sitepipe++library+ exposed-modules:+ SitePipe+ SitePipe.Pipes+ SitePipe.Readers+ SitePipe.Templating+ SitePipe.Files+ SitePipe.Parse+ SitePipe.Types+ SitePipe.Utilities+ hs-source-dirs: src+ default-language: Haskell2010+ build-depends:+ base >=4.12.0.0 && <4.13,+ optparse-applicative >=0.14.3.0 && <0.15,+ unordered-containers >=0.2.9.0 && <0.3,+ directory >=1.3.3.0 && <1.4,+ filepath >=1.4.2.1 && <1.5,+ megaparsec >=7.0.4 && <7.1,+ mtl >=2.2.2 && <2.3,+ pandoc ==2.5.*,+ yaml >=0.11.0.0 && <0.12,+ mustache >=2.3.0 && <2.4,+ bytestring >=0.10.8.2 && <0.11,+ text >=1.2.3.1 && <1.3,+ parsec >=3.1.13.0 && <3.2,+ exceptions >=0.10.0 && <0.11,+ Glob >=0.9.3 && <0.10,+ lens-aeson >=1.0.2 && <1.1,+ lens ==4.17.*,+ aeson >=1.4.2.0 && <1.5,+ shelly >=1.8.1 && <1.9,+ MissingH >=1.4.1.0 && <1.5,+ containers >=0.6.0.1 && <0.7,+ transformers >=0.5.5.0 && <0.6
src/SitePipe/Files.hs view
@@ -101,7 +101,7 @@ -- we copy matching files and directories as-is from the source directory -- to the output directory maintaining their relative filepath. ----- For convenience this also returns a list of the files copied as +-- For convenience this also returns a list of the files copied as -- 'Value's with "src" and "url" keys -- which represent the source path and the url.of the copied file respectively. copyFiles :: [GlobPattern] -> SiteM [Value]
src/SitePipe/Parse.hs view
@@ -26,7 +26,7 @@ resourceP = do yaml <- fromMaybe "" <$> optional yamlParser space- rest <- manyTill anyChar eof+ rest <- manyTill anySingle eof return (yaml, rest) -- | Given an identifier and file contents runs the yaml parser and returns@@ -42,15 +42,15 @@ yamlParser :: Parser String yamlParser = do _ <- yamlSep- manyTill anyChar (try (eol >> yamlSep))+ manyTill anySingle (try (eol >> yamlSep)) where yamlSep = string "---" >> eol -- | Decodes a yaml metadata block into an Aeson object containing the data in the yaml. decodeMeta :: MonadThrow m => String -> String -> m Value decodeMeta ident metaBlock =- case decodeEither (pack metaBlock) of- Left err -> throwM (YamlErr ident err)+ case decodeEither' (pack metaBlock) of+ Left err -> throwM (YamlErr ident (show err)) Right (Object metaObj) -> return (Object metaObj) Right Null -> return (Object HM.empty) Right _ -> throwM (YamlErr ident "Top level yaml must be key-value pairs")
src/SitePipe/Readers.hs view
@@ -1,3 +1,5 @@+{-# LANGUAGE FlexibleContexts #-}+ module SitePipe.Readers ( -- * Built-in readers@@ -6,44 +8,56 @@ -- * Reader Generators , mkPandocReader+ , mkPandocReaderWith+ , readMarkdown -- * Pandoc Writers , pandocToHTML ) where -import Text.Pandoc+import Control.Monad.Trans.Except+import Control.Monad.Trans.State.Strict import Control.Monad.Catch+import Text.Pandoc+import Text.Pandoc.Options+import Text.Pandoc.Highlighting+import Data.Text (pack, unpack) -- | Given any standard pandoc reader (see "Text.Pandoc"; e.g. 'readMarkdown', 'readDocX') -- makes a resource reader compatible with 'SitePipe.Files.resourceLoader'. -- -- > docs <- resourceLoader (mkPandocReader readDocX) ["docs/*.docx"]-mkPandocReader :: (ReaderOptions -> String -> Either PandocError Pandoc) -> String -> IO String-mkPandocReader pReader = mkPandocReaderWith pReader id pandocToHTML+mkPandocReader :: (ReaderOptions -> String -> PandocIO Pandoc) -> String -> IO String+mkPandocReader pReader = mkPandocReaderWith pReader pure pandocToHTML -- | Like `mkPandocReader`, but allows you to provide both a @'Pandoc' -> 'Pandoc'@ transformation,--- which is great for things like relativizing links or running transforms over specific document elements. +-- which is great for things like relativizing links or running transforms over specific document elements. -- See https://hackage.haskell.org/package/pandoc-lens for some useful tranformation helpers. You also specify -- the tranformation from @Pandoc -> String@ which allows you to pick the output format of the reader. -- If you're unsure what to use in this slot, the pandocToHTML function is a good choice.-mkPandocReaderWith :: (ReaderOptions -> String -> Either PandocError Pandoc) -> (Pandoc -> Pandoc) -> (Pandoc -> String) -> String -> IO String-mkPandocReaderWith pReader transformer writer content = writer . transformer <$> runPandocReader (pReader def) content+mkPandocReaderWith :: (ReaderOptions -> String -> PandocIO Pandoc) -> (Pandoc -> PandocIO Pandoc) -> (Pandoc -> PandocIO String) -> String -> IO String+mkPandocReaderWith pReader transformer writer content =+ runPandoc $ writer+ =<< transformer+ =<< pReader def{readerExtensions = githubMarkdownExtensions}+ content -- | A simple helper which renders pandoc to HTML; good for use with 'mkPandocReaderWith'-pandocToHTML :: Pandoc -> String-pandocToHTML = writeHtmlString def{writerHighlight=True}+pandocToHTML :: Pandoc -> PandocIO String+pandocToHTML p = fmap unpack $ writeHtml5String def{writerHighlightStyle = Just pygments} p -- | Runs the Pandoc reader handling errors.-runPandocReader :: (MonadThrow m) => (String -> Either PandocError Pandoc) -> String -> m Pandoc-runPandocReader panReader source =- case panReader source of- Left err -> throwM err- Right pandoc -> return pandoc+runPandoc :: PandocIO a -> IO a+runPandoc m = do+ z <- flip evalStateT def $ runExceptT $ unPandocIO m+ case z of+ Left e -> throwM e+ Right a -> pure a -- | Reads markdown files into html markdownReader :: String -> IO String-markdownReader = mkPandocReader readMarkdown+markdownReader = mkPandocReader $ \ro s -> readMarkdown ro $ pack s -- | Reads text files without processing-textReader :: String -> IO String-textReader = return+textReader :: String -> PandocIO String+textReader = pure
src/SitePipe/Types.hs view
@@ -44,7 +44,7 @@ data SitePipeError = YamlErr String String | PParseErr P.ParseError- | MParseErr (MP.ParseError (MP.Token String) MPErr)+ | MParseErr (MP.ParseErrorBundle String Void) | PandocErr PandocError | JSONErr String String | TemplateParseErr P.ParseError@@ -55,7 +55,7 @@ show (YamlErr path err) = "YAML Parse Error in " ++ path ++ ":\n" ++ err show (PandocErr err) = "Pandoc Error: " ++ show err show (PParseErr err) = "Template Error: " ++ show err- show (MParseErr err) = "Meta-data Error: " ++ MP.parseErrorPretty err+ show (MParseErr err) = "Meta-data Error: " ++ MP.errorBundlePretty err show (JSONErr path err) = "JSON Parse Error in " ++ path ++ ":\n" ++ err show (TemplateParseErr err) = "Template Parse Error: " ++ show err show (TemplateInterpolateErr path errs) =