sitepipe 0.4.0.1 → 0.4.0.2
raw patch · 2 files changed
+7/−6 lines, 2 filesdep ~basePVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: base
API changes (from Hackage documentation)
- 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: [From1Args] :: forall arity a. () => (Value -> Parser a) -> (Value -> Parser [a]) -> FromArgs One a
- 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: data Identical (a :: k) (b :: k1) (s :: k) (t :: k1) :: forall k k1. () => k -> k1 -> k -> k1 -> Type
- SitePipe: gParseJSON :: GFromJSON arity f => Options -> FromArgs arity a -> Value -> Parser (f a)
- SitePipe: newtype Const a (b :: k) :: forall k. () => Type -> k -> Type
+ SitePipe: [FromJSONKeyCoerce] :: forall a. Coercible Text a => FromJSONKeyFunction a
+ SitePipe: [FromJSONKeyTextParser] :: forall a. !Text -> Parser a -> FromJSONKeyFunction a
+ SitePipe: [FromJSONKeyText] :: forall a. !Text -> a -> FromJSONKeyFunction a
+ SitePipe: [FromJSONKeyValue] :: forall a. !Value -> Parser a -> FromJSONKeyFunction a
+ SitePipe: class GToJSON' enc arity (f :: Type -> Type)
+ SitePipe: data (a :: k) :~: (b :: k)
+ SitePipe: data Identical (a :: k) (b :: k1) (s :: k) (t :: k1)
+ SitePipe: newtype Const a (b :: k)
+ SitePipe: type Unwrapped s = GUnwrapped Rep s;
- SitePipe: (#%~) :: () => ALens s t a b -> (a -> b) -> s -> t
+ SitePipe: (#%~) :: ALens s t a b -> (a -> b) -> s -> t
- SitePipe: (#) :: () => AReview t b -> b -> t
+ SitePipe: (#) :: AReview t b -> b -> t
- SitePipe: (#~) :: () => ALens s t a b -> b -> s -> t
+ 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: (%%=) :: forall k s m p r (a :: k) b. MonadState s m => Over p ((,) r) s s a b -> p a (r, b) -> m r
- SitePipe: (%%@~) :: () => Over (Indexed i) f s t a b -> (i -> a -> f b) -> s -> f t
+ SitePipe: (%%@~) :: forall k i f s (t :: k) a (b :: k). 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: (%%~) :: forall k f s (t :: k) a (b :: k). LensLike f s t a b -> (a -> f b) -> s -> f t
- SitePipe: (%@~) :: () => AnIndexedSetter i s t a b -> (i -> a -> b) -> s -> t
+ SitePipe: (%@~) :: AnIndexedSetter i s t a b -> (i -> a -> b) -> s -> t
- SitePipe: (%~) :: () => ASetter s t a b -> (a -> b) -> s -> t
+ SitePipe: (%~) :: ASetter s t a b -> (a -> b) -> s -> t
- SitePipe: (&&~) :: () => ASetter s t Bool Bool -> Bool -> s -> t
+ SitePipe: (&&~) :: ASetter s t Bool Bool -> Bool -> s -> t
- SitePipe: (&) :: () => a -> (a -> b) -> b
+ SitePipe: (&) :: a -> (a -> b) -> b
- SitePipe: (&~) :: () => s -> State s a -> s
+ SitePipe: (&~) :: s -> State s a -> s
- SitePipe: (.!=) :: () => Parser (Maybe a) -> a -> Parser a
+ 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: (...) :: forall k f c s t p (a :: k) b. (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: (.>) :: () => (st -> r) -> (kab -> st) -> kab -> r
+ SitePipe: (.>) :: (st -> r) -> (kab -> st) -> kab -> r
- SitePipe: (.@~) :: () => AnIndexedSetter i s t a b -> (i -> b) -> s -> t
+ SitePipe: (.@~) :: AnIndexedSetter i s t a b -> (i -> b) -> s -> t
- SitePipe: (.~) :: () => ASetter s t a b -> b -> s -> t
+ SitePipe: (.~) :: ASetter s t a b -> b -> s -> t
- SitePipe: (<#%~) :: () => ALens s t a b -> (a -> b) -> s -> (b, t)
+ SitePipe: (<#%~) :: ALens s t a b -> (a -> b) -> s -> (b, t)
- SitePipe: (<#~) :: () => ALens s t a b -> b -> s -> (b, t)
+ SitePipe: (<#~) :: ALens s t a b -> b -> s -> (b, t)
- SitePipe: (<%@~) :: () => Over (Indexed i) ((,) b) s t a b -> (i -> a -> b) -> s -> (b, t)
+ 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: (<%~) :: LensLike ((,) b) s t a b -> (a -> b) -> s -> (b, t)
- SitePipe: (<&&~) :: () => LensLike ((,) Bool) s t Bool Bool -> Bool -> s -> (Bool, t)
+ SitePipe: (<&&~) :: LensLike ((,) Bool) s t Bool Bool -> Bool -> s -> (Bool, t)
- SitePipe: (<.~) :: () => ASetter s t a b -> b -> s -> (b, t)
+ SitePipe: (<.~) :: ASetter s t a b -> b -> s -> (b, t)
- SitePipe: (<<%@~) :: () => Over (Indexed i) ((,) a) s t a b -> (i -> a -> b) -> s -> (a, t)
+ 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: (<<%~) :: LensLike ((,) a) s t a b -> (a -> b) -> s -> (a, t)
- SitePipe: (<<&&~) :: () => LensLike' ((,) Bool) s Bool -> Bool -> s -> (Bool, s)
+ SitePipe: (<<&&~) :: LensLike' ((,) Bool) s Bool -> Bool -> s -> (Bool, s)
- SitePipe: (<<.~) :: () => LensLike ((,) a) s t a b -> b -> s -> (a, t)
+ SitePipe: (<<.~) :: LensLike ((,) a) s t a b -> b -> s -> (a, t)
- SitePipe: (<<<>=) :: (MonadState s m, Monoid r) => LensLike' ((,) r) s r -> r -> m r
+ SitePipe: (<<<>=) :: (MonadState s m, Semigroup r) => LensLike' ((,) r) s r -> r -> m r
- SitePipe: (<<<>~) :: Monoid r => LensLike' ((,) r) s r -> r -> s -> (r, s)
+ SitePipe: (<<<>~) :: Semigroup r => LensLike' ((,) r) s r -> r -> s -> (r, s)
- SitePipe: (<<>=) :: (MonadState s m, Monoid r) => LensLike' ((,) r) s r -> r -> m r
+ SitePipe: (<<>=) :: (MonadState s m, Semigroup r) => LensLike' ((,) r) s r -> r -> m r
- SitePipe: (<<>~) :: Monoid m => LensLike ((,) m) s t m m -> m -> s -> (m, t)
+ SitePipe: (<<>~) :: Semigroup m => LensLike ((,) m) s t m m -> m -> s -> (m, t)
- SitePipe: (<<?~) :: () => LensLike ((,) a) s t a (Maybe b) -> b -> s -> (a, t)
+ SitePipe: (<<?~) :: LensLike ((,) a) s t a (Maybe b) -> b -> s -> (a, t)
- SitePipe: (<<||~) :: () => LensLike' ((,) Bool) s Bool -> Bool -> s -> (Bool, s)
+ SitePipe: (<<||~) :: LensLike' ((,) Bool) s Bool -> Bool -> s -> (Bool, s)
- SitePipe: (<>=) :: (MonadState s m, Monoid a) => ASetter' s a -> a -> m ()
+ SitePipe: (<>=) :: (MonadState s m, Semigroup a) => ASetter' s a -> a -> m ()
- SitePipe: (<>~) :: Monoid a => ASetter s t a a -> a -> s -> t
+ SitePipe: (<>~) :: Semigroup a => ASetter s t a a -> a -> s -> t
- SitePipe: (<?>) :: () => Parser a -> JSONPathElement -> Parser a
+ SitePipe: (<?>) :: Parser a -> JSONPathElement -> Parser a
- SitePipe: (<?~) :: () => ASetter s t a (Maybe b) -> b -> s -> (b, t)
+ SitePipe: (<?~) :: ASetter s t a (Maybe b) -> b -> s -> (b, t)
- SitePipe: (<||~) :: () => LensLike ((,) Bool) s t Bool Bool -> Bool -> s -> (Bool, t)
+ SitePipe: (<||~) :: LensLike ((,) Bool) s t Bool Bool -> Bool -> s -> (Bool, t)
- SitePipe: (?~) :: () => ASetter s t a (Maybe b) -> b -> s -> t
+ SitePipe: (?~) :: ASetter s t a (Maybe b) -> b -> s -> t
- SitePipe: (^#) :: () => s -> ALens s t a b -> a
+ SitePipe: (^#) :: s -> ALens s t a b -> a
- SitePipe: (^.) :: () => s -> Getting a s a -> a
+ SitePipe: (^.) :: s -> Getting a s a -> a
- SitePipe: (^..) :: () => s -> Getting (Endo [a]) s a -> [a]
+ SitePipe: (^..) :: s -> Getting (Endo [a]) s a -> [a]
- SitePipe: (^?) :: () => s -> Getting (First a) s a -> Maybe a
+ SitePipe: (^?) :: s -> Getting (First a) s a -> Maybe a
- SitePipe: (^@.) :: () => s -> IndexedGetting i (i, a) s a -> (i, a)
+ SitePipe: (^@.) :: s -> IndexedGetting i (i, a) s a -> (i, a)
- SitePipe: (^@..) :: () => s -> IndexedGetting i (Endo [(i, a)]) s a -> [(i, a)]
+ SitePipe: (^@..) :: s -> IndexedGetting i (Endo [(i, a)]) s a -> [(i, a)]
- SitePipe: (^@?) :: () => s -> IndexedGetting i (Endo (Maybe (i, a))) s a -> Maybe (i, a)
+ SitePipe: (^@?) :: s -> IndexedGetting i (Endo (Maybe (i, a))) s a -> Maybe (i, a)
- SitePipe: (||~) :: () => ASetter s t Bool Bool -> Bool -> s -> t
+ SitePipe: (||~) :: ASetter s t Bool Bool -> Bool -> s -> t
- SitePipe: Bazaar :: (forall (f :: Type -> Type). Applicative f => p a (f b) -> f t) -> Bazaar a b t
+ SitePipe: Bazaar :: (forall (f :: Type -> Type). Applicative f => p a (f b) -> f t) -> Bazaar (p :: Type -> Type -> Type) a b t
- SitePipe: Bazaar1 :: (forall (f :: Type -> Type). Apply f => p a (f b) -> f t) -> Bazaar1 a b t
+ SitePipe: Bazaar1 :: (forall (f :: Type -> Type). Apply f => p a (f b) -> f t) -> Bazaar1 (p :: Type -> Type -> Type) a b t
- SitePipe: Const :: a -> Const a
+ SitePipe: Const :: a -> Const a (b :: k)
- SitePipe: [Identical] :: forall k k1 (a :: k) (b :: k1) (s :: k) (t :: k1). () => Identical a b a b
+ SitePipe: [Identical] :: forall k k1 (a :: k) (b :: k1). Identical a b a b
- SitePipe: [Refl] :: forall k (a :: k) (b :: k). () => a :~: a
+ SitePipe: [Refl] :: forall k (a :: k). a :~: a
- SitePipe: [getConst] :: Const a -> a
+ SitePipe: [getConst] :: Const a (b :: k) -> a
- SitePipe: [runBazaar1] :: Bazaar1 a b t -> forall (f :: Type -> Type). Apply f => p a (f b) -> f t
+ SitePipe: [runBazaar1] :: Bazaar1 (p :: Type -> Type -> Type) 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: [runBazaar] :: Bazaar (p :: Type -> Type -> Type) a b t -> forall (f :: Type -> Type). Applicative f => p a (f b) -> f t
- SitePipe: _GWrapped' :: (Generic s, D1 d (C1 c (S1 s' (Rec0 a))) ~ Rep s, Unwrapped s ~ GUnwrapped (Rep s)) => Iso' s (Unwrapped s)
+ SitePipe: _GWrapped' :: forall s (d :: Meta) (c :: Meta) (s' :: Meta) a. (Generic s, D1 d (C1 c (S1 s' (Rec0 a))) ~ Rep s, Unwrapped s ~ GUnwrapped (Rep s)) => Iso' s (Unwrapped s)
- SitePipe: _Just :: () => Prism (Maybe a) (Maybe b) a b
+ SitePipe: _Just :: Prism (Maybe a) (Maybe b) a b
- SitePipe: _Left :: () => Prism (Either a c) (Either b c) a b
+ SitePipe: _Left :: Prism (Either a c) (Either b c) a b
- SitePipe: _Nothing :: () => Prism' (Maybe a) ()
+ SitePipe: _Nothing :: Prism' (Maybe a) ()
- SitePipe: _Right :: () => Prism (Either c a) (Either c b) a b
+ SitePipe: _Right :: Prism (Either c a) (Either c b) a b
- SitePipe: _Void :: () => Prism s s a Void
+ SitePipe: _Void :: Prism s s a Void
- SitePipe: allOf :: () => Getting All s a -> (a -> Bool) -> s -> Bool
+ 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: 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: andOf :: Getting All s Bool -> s -> Bool
- SitePipe: anon :: () => a -> (a -> Bool) -> Iso' (Maybe a) a
+ SitePipe: anon :: a -> (a -> Bool) -> Iso' (Maybe a) a
- SitePipe: anyOf :: () => Getting Any s a -> (a -> Bool) -> s -> Bool
+ SitePipe: anyOf :: Getting Any s a -> (a -> Bool) -> s -> Bool
- SitePipe: argument :: Profunctor p => Setter (p b r) (p a r) a b
+ SitePipe: argument :: forall (p :: Type -> Type -> Type) b r a. Profunctor p => Setter (p b r) (p a r) a b
- SitePipe: aside :: () => APrism s t a b -> Prism (e, s) (e, t) (e, a) (e, b)
+ SitePipe: aside :: APrism s t a b -> Prism (e, s) (e, t) (e, a) (e, b)
- SitePipe: below :: Traversable f => APrism' s a -> Prism' (f s) (f a)
+ SitePipe: below :: forall (f :: Type -> Type) s a. Traversable f => APrism' s a -> Prism' (f s) (f a)
- 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: bimapping :: forall (f :: Type -> Type -> Type) (g :: Type -> Type -> Type) s t a b s' t' a' b'. (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: both :: forall (r :: Type -> Type -> Type) a b. 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: both1 :: forall (r :: Type -> Type -> Type) a b. Bitraversable1 r => Traversal1 (r a a) (r b b) a b
- SitePipe: chosen :: () => IndexPreservingLens (Either a a) (Either b b) a b
+ SitePipe: chosen :: IndexPreservingLens (Either a a) (Either b b) a b
- SitePipe: cloneEquality :: () => AnEquality s t a b -> Equality s t a b
+ SitePipe: cloneEquality :: forall k1 k2 (s :: k1) (t :: k2) (a :: k1) (b :: k2). AnEquality s t a b -> Equality s t a b
- SitePipe: cloneIndexPreservingLens :: () => ALens s t a b -> IndexPreservingLens s t a b
+ 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: cloneIndexPreservingSetter :: ASetter s t a b -> IndexPreservingSetter s t a b
- SitePipe: cloneIndexPreservingTraversal :: () => ATraversal s t a b -> IndexPreservingTraversal 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: 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: 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: 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: 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: 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: cloneIso :: AnIso s t a b -> Iso s t a b
- SitePipe: cloneLens :: () => ALens s t a b -> Lens 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: clonePrism :: APrism s t a b -> Prism s t a b
- SitePipe: cloneSetter :: () => ASetter s t a b -> Setter 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: cloneTraversal :: ATraversal s t a b -> Traversal s t a b
- SitePipe: cloneTraversal1 :: () => ATraversal1 s t a b -> Traversal1 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: coerced :: forall s t a b. (Coercible s a, Coercible t b) => Iso s t a b
- SitePipe: concatMapOf :: () => Getting [r] s a -> (a -> [r]) -> s -> [r]
+ SitePipe: concatMapOf :: Getting [r] s a -> (a -> [r]) -> s -> [r]
- SitePipe: concatOf :: () => Getting [r] s [r] -> s -> [r]
+ SitePipe: concatOf :: Getting [r] s [r] -> s -> [r]
- SitePipe: conjoined :: Conjoined p => ((p ~ ((->) :: Type -> Type -> Type)) -> q (a -> b) r) -> q (p a b) r -> q (p a b) r
+ SitePipe: conjoined :: Conjoined p => (p ~ ((->) :: Type -> Type -> Type) => q (a -> b) r) -> q (p a b) r -> q (p a b) r
- SitePipe: contextsOf :: () => ATraversal' a a -> a -> [Context a a a]
+ SitePipe: contextsOf :: ATraversal' a a -> a -> [Context a a a]
- SitePipe: contextsOnOf :: () => ATraversal s t a a -> ATraversal' a a -> s -> [Context a a t]
+ SitePipe: contextsOnOf :: ATraversal s t a a -> ATraversal' a a -> s -> [Context a a t]
- SitePipe: contramapped :: Contravariant f => Setter (f b) (f a) a b
+ SitePipe: contramapped :: forall (f :: Type -> Type) b a. 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: contramapping :: forall (f :: Type -> Type) s t a b. Contravariant f => AnIso s t a b -> Iso (f a) (f b) (f s) (f t)
- SitePipe: curried :: () => Iso ((a, b) -> c) ((d, e) -> f) (a -> b -> c) (d -> e -> f)
+ SitePipe: curried :: Iso ((a, b) -> c) ((d, e) -> f) (a -> b -> c) (d -> e -> f)
- SitePipe: devoid :: () => Over p f Void Void a b
+ SitePipe: devoid :: forall k p f (a :: k) b. Over p f Void Void a b
- 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: dimapping :: forall (p :: Type -> Type -> Type) (q :: Type -> Type -> Type) s t a b s' t' a' b'. (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: element :: Traversable t => Int -> IndexedTraversal' Int (t a) a
+ SitePipe: element :: forall (t :: Type -> Type) a. 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: elementOf :: forall (f :: Type -> Type) s t a. 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: elements :: forall (t :: Type -> Type) a. 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: elementsOf :: forall (f :: Type -> Type) s t a. Applicative f => LensLike (Indexing f) s t a a -> (Int -> Bool) -> IndexedLensLike Int f s t a a
- SitePipe: equality :: () => (s :~: a) -> (b :~: t) -> Equality s t a b
+ SitePipe: equality :: forall k1 k2 (s :: k1) (a :: k1) (b :: k2) (t :: k2). (s :~: a) -> (b :~: t) -> Equality s t a b
- SitePipe: equality' :: () => (a :~: b) -> Equality' a b
+ SitePipe: equality' :: forall k2 (a :: k2) (b :: k2). (a :~: b) -> Equality' a b
- SitePipe: findIndexOf :: () => IndexedGetting i (First i) s a -> (a -> Bool) -> s -> Maybe i
+ 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: findIndicesOf :: IndexedGetting i (Endo [i]) s a -> (a -> Bool) -> s -> [i]
- SitePipe: findOf :: () => Getting (Endo (Maybe a)) s a -> (a -> Bool) -> s -> 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: first1Of :: Getting (First a) s a -> s -> a
- SitePipe: firstOf :: () => Getting (Leftmost a) s a -> s -> Maybe 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: firsting :: forall (f :: Type -> Type -> Type) (g :: Type -> Type -> Type) s t a b x y. (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: flipped :: Iso (a -> b -> c) (a' -> b' -> c') (b -> a -> c) (b' -> a' -> c')
- SitePipe: foldByOf :: () => Fold s a -> (a -> a -> a) -> a -> s -> a
+ SitePipe: foldByOf :: Fold s a -> (a -> a -> a) -> a -> s -> a
- SitePipe: foldMapByOf :: () => Fold s a -> (r -> r -> r) -> r -> (a -> r) -> s -> 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: foldMapOf :: Getting r s a -> (a -> r) -> s -> r
- SitePipe: foldOf :: () => Getting a s a -> s -> a
+ SitePipe: foldOf :: Getting a s a -> s -> a
- SitePipe: folded :: Foldable f => IndexedFold Int (f a) a
+ SitePipe: folded :: forall (f :: Type -> Type) a. Foldable f => IndexedFold Int (f a) a
- SitePipe: folded64 :: Foldable f => IndexedFold Int64 (f a) a
+ SitePipe: folded64 :: forall (f :: Type -> Type) a. Foldable f => IndexedFold Int64 (f a) a
- SitePipe: foldlOf :: () => Getting (Dual (Endo r)) s a -> (r -> a -> r) -> r -> s -> 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: foldlOf' :: Getting (Endo (Endo r)) s a -> (r -> a -> r) -> r -> s -> r
- SitePipe: foldrOf :: () => Getting (Endo r) s a -> (a -> r -> r) -> r -> s -> 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: foldrOf' :: Getting (Dual (Endo (Endo r))) s a -> (a -> r -> r) -> r -> s -> r
- SitePipe: forMOf :: () => LensLike (WrappedMonad m) s t a b -> s -> (a -> m b) -> m t
+ SitePipe: forMOf :: LensLike (WrappedMonad m) s t a b -> s -> (a -> m b) -> m t
- SitePipe: forOf :: () => LensLike f s t a b -> s -> (a -> f b) -> f t
+ SitePipe: forOf :: LensLike f s t a b -> s -> (a -> f b) -> f t
- SitePipe: from :: () => AnIso s t a b -> Iso b a t s
+ SitePipe: from :: AnIso s t a b -> Iso b a t s
- SitePipe: fromEq :: () => AnEquality s t a b -> Equality b a t s
+ SitePipe: fromEq :: forall k2 k1 (s :: k2) (t :: k1) (a :: k2) (b :: k1). AnEquality s t a b -> Equality b a t s
- SitePipe: fromLeibniz :: () => (Identical a b a b -> Identical a b s t) -> Equality s t a b
+ SitePipe: fromLeibniz :: forall k1 k2 (a :: k1) (b :: k2) (s :: k1) (t :: k2). (Identical a b a b -> Identical a b s t) -> Equality s t a b
- SitePipe: fromLeibniz' :: () => ((s :~: s) -> s :~: a) -> Equality' s a
+ SitePipe: fromLeibniz' :: forall k2 (s :: k2) (a :: k2). ((s :~: s) -> s :~: a) -> Equality' s a
- SitePipe: genericLiftToEncoding :: (Generic1 f, GToJSON Encoding One (Rep1 f)) => Options -> (a -> Encoding) -> ([a] -> Encoding) -> f a -> Encoding
+ 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: genericLiftToJSON :: (Generic1 f, GToJSON' Value One (Rep1 f)) => Options -> (a -> Value) -> ([a] -> Value) -> f a -> Value
- SitePipe: genericToEncoding :: (Generic a, GToJSON Encoding Zero (Rep a)) => Options -> a -> Encoding
+ 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: genericToJSON :: (Generic a, GToJSON' Value Zero (Rep a)) => Options -> a -> Value
- SitePipe: gplate1 :: (Generic1 f, GPlated1 f (Rep1 f)) => Traversal' (f a) (f a)
+ SitePipe: gplate1 :: forall k (f :: k -> Type) (a :: k). (Generic1 f, GPlated1 f (Rep1 f)) => Traversal' (f a) (f a)
- SitePipe: has :: () => Getting Any s a -> s -> Bool
+ SitePipe: has :: Getting Any s a -> s -> Bool
- SitePipe: hasn't :: () => Getting All s a -> s -> Bool
+ SitePipe: hasn't :: Getting All s a -> s -> Bool
- SitePipe: head1 :: Traversable1 t => Lens' (t a) a
+ SitePipe: head1 :: forall (t :: Type -> Type) a. Traversable1 t => Lens' (t a) a
- SitePipe: iallOf :: () => IndexedGetting i All s a -> (i -> a -> Bool) -> s -> Bool
+ SitePipe: iallOf :: IndexedGetting i All s a -> (i -> a -> Bool) -> s -> Bool
- SitePipe: ianyOf :: () => IndexedGetting i Any s a -> (i -> a -> Bool) -> s -> Bool
+ SitePipe: ianyOf :: IndexedGetting i Any s a -> (i -> a -> Bool) -> s -> Bool
- SitePipe: iconcatMapOf :: () => IndexedGetting i [r] s a -> (i -> a -> [r]) -> s -> [r]
+ SitePipe: iconcatMapOf :: IndexedGetting i [r] s a -> (i -> a -> [r]) -> s -> [r]
- SitePipe: ifindOf :: () => IndexedGetting i (Endo (Maybe a)) s a -> (i -> a -> Bool) -> s -> Maybe a
+ SitePipe: ifindOf :: IndexedGetting i (Endo (Maybe a)) s a -> (i -> a -> Bool) -> s -> Maybe a
- SitePipe: ifoldMapByOf :: () => IndexedFold i t a -> (r -> r -> r) -> r -> (i -> a -> r) -> t -> 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: ifoldMapOf :: IndexedGetting i m s a -> (i -> a -> m) -> s -> m
- SitePipe: ifoldlOf :: () => IndexedGetting i (Dual (Endo r)) s a -> (i -> r -> a -> r) -> r -> s -> 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: ifoldlOf' :: IndexedGetting i (Endo (r -> r)) s a -> (i -> r -> a -> r) -> r -> s -> r
- SitePipe: ifoldrOf :: () => IndexedGetting i (Endo r) s a -> (i -> a -> r -> r) -> r -> s -> 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: ifoldrOf' :: IndexedGetting i (Dual (Endo (r -> r))) s a -> (i -> a -> r -> r) -> r -> s -> r
- SitePipe: iforMOf :: () => (Indexed i a (WrappedMonad m b) -> s -> WrappedMonad m t) -> s -> (i -> a -> m b) -> m t
+ SitePipe: iforMOf :: (Indexed i a (WrappedMonad m b) -> s -> WrappedMonad m t) -> s -> (i -> a -> m b) -> m t
- SitePipe: iforOf :: () => (Indexed i a (f b) -> s -> f t) -> s -> (i -> a -> f b) -> f t
+ SitePipe: iforOf :: (Indexed i a (f b) -> s -> f t) -> s -> (i -> a -> f b) -> f t
- SitePipe: ilens :: () => (s -> (i, a)) -> (s -> b -> t) -> IndexedLens i s t a b
+ 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: ilevels :: forall (f :: Type -> Type) i s t a b j. Applicative f => Traversing (Indexed i) f s t a b -> IndexedLensLike Int f s t (Level i a) (Level j b)
- SitePipe: iloci :: () => IndexedTraversal i (Bazaar (Indexed i) a c s) (Bazaar (Indexed i) b c s) a b
+ 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: 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: imapAccumLOf :: () => Over (Indexed i) (State acc) s t a b -> (i -> acc -> a -> (acc, b)) -> acc -> s -> (acc, t)
+ SitePipe: imapAccumLOf :: Over (Indexed i) (State acc) s t a b -> (i -> acc -> a -> (acc, b)) -> acc -> s -> (acc, t)
- SitePipe: imapAccumROf :: () => Over (Indexed i) (Backwards (State acc)) s t a b -> (i -> acc -> a -> (acc, b)) -> acc -> s -> (acc, t)
+ SitePipe: imapAccumROf :: Over (Indexed i) (Backwards (State acc)) s t a b -> (i -> acc -> a -> (acc, b)) -> acc -> s -> (acc, t)
- SitePipe: imapMOf :: () => Over (Indexed i) (WrappedMonad m) s t a b -> (i -> a -> m b) -> s -> m t
+ SitePipe: imapMOf :: Over (Indexed i) (WrappedMonad m) s t a b -> (i -> a -> m b) -> s -> m t
- SitePipe: imapOf :: () => AnIndexedSetter i s t a b -> (i -> a -> b) -> s -> t
+ SitePipe: imapOf :: AnIndexedSetter i s t a b -> (i -> a -> b) -> s -> t
- SitePipe: inoneOf :: () => IndexedGetting i Any s a -> (i -> a -> Bool) -> s -> 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: inside :: forall (p :: Type -> Type -> Type) s t a b e. 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: involuted :: (a -> a) -> Iso' a a
- SitePipe: iover :: () => AnIndexedSetter i s t a b -> (i -> a -> b) -> s -> t
+ SitePipe: iover :: AnIndexedSetter i s t a b -> (i -> a -> b) -> s -> t
- 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: ipartsOf' :: forall i p f s t a. (Indexable [i] p, Functor f) => Over (Indexed i) (Bazaar' (Indexed i) a) s t a a -> Over p f s t [a] [a]
- SitePipe: iplens :: () => (s -> a) -> (s -> b -> t) -> IndexPreservingLens s t a b
+ 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: ipre :: IndexedGetting i (First (i, a)) s a -> IndexPreservingGetter s (Maybe (i, a))
- SitePipe: iset :: () => AnIndexedSetter i s t a b -> (i -> b) -> s -> t
+ 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: isets :: ((i -> a -> b) -> s -> t) -> IndexedSetter i s t a b
- SitePipe: isn't :: () => APrism s t a b -> s -> Bool
+ SitePipe: isn't :: APrism s t a b -> s -> Bool
- SitePipe: iso :: () => (s -> a) -> (b -> t) -> Iso s t a b
+ SitePipe: iso :: (s -> a) -> (b -> t) -> Iso s t a b
- SitePipe: itoListOf :: () => IndexedGetting i (Endo [(i, a)]) s a -> s -> [(i, a)]
+ SitePipe: itoListOf :: IndexedGetting i (Endo [(i, a)]) s a -> s -> [(i, a)]
- 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: 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 :: (Indexed i a (f b) -> s -> f t) -> (i -> a -> f b) -> s -> f t
- SitePipe: iunsafePartsOf' :: () => Over (Indexed i) (Bazaar (Indexed i) a b) s t a b -> IndexedLens [i] s t [a] [b]
+ SitePipe: iunsafePartsOf' :: forall i s t a b. Over (Indexed i) (Bazaar (Indexed i) a b) s t a b -> IndexedLens [i] s t [a] [b]
- SitePipe: last1 :: Traversable1 t => Lens' (t a) a
+ SitePipe: last1 :: forall (t :: Type -> Type) a. Traversable1 t => Lens' (t a) a
- SitePipe: last1Of :: () => Getting (Last a) s a -> s -> a
+ SitePipe: last1Of :: Getting (Last a) s a -> s -> a
- SitePipe: lastOf :: () => Getting (Rightmost a) s a -> s -> Maybe a
+ SitePipe: lastOf :: Getting (Rightmost a) s a -> s -> Maybe a
- SitePipe: lengthOf :: () => Getting (Endo (Endo Int)) s a -> s -> Int
+ SitePipe: lengthOf :: Getting (Endo (Endo Int)) s a -> s -> Int
- SitePipe: lens :: () => (s -> a) -> (s -> b -> t) -> Lens s t a b
+ SitePipe: lens :: (s -> a) -> (s -> b -> t) -> Lens s t a b
- SitePipe: levels :: Applicative f => Traversing ((->) :: Type -> Type -> Type) f s t a b -> IndexedLensLike Int f s t (Level () a) (Level () b)
+ SitePipe: levels :: forall (f :: Type -> Type) s t a b. Applicative f => Traversing ((->) :: Type -> Type -> Type) f s t a b -> IndexedLensLike Int f s t (Level () a) (Level () b)
- SitePipe: lifted :: Monad m => Setter (m a) (m b) a b
+ SitePipe: lifted :: forall (m :: Type -> Type) a b. Monad m => Setter (m a) (m b) a b
- SitePipe: lined :: Applicative f => IndexedLensLike' Int f String String
+ SitePipe: lined :: forall (f :: Type -> Type). Applicative f => IndexedLensLike' Int f String String
- 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: lmapping :: forall (p :: Type -> Type -> Type) (q :: Type -> Type -> Type) s t a b x y. (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: 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: locus :: forall (p :: Type -> Type -> Type -> Type) a c s b. IndexedComonadStore p => Lens (p a c s) (p b c s) a b
- SitePipe: magma :: () => LensLike (Mafic a b) s t a b -> Iso s u (Magma Int t b a) (Magma j u c c)
+ 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 => (Functor (Magnified m c) -> Contravariant (Magnified m c) -> LensLike' (Magnified m c) a b) -> m c -> n c
+ SitePipe: magnify :: Magnify m n b a => ((Functor (Magnified m c), Contravariant (Magnified m c)) => LensLike' (Magnified m c) a b) -> m c -> n c
- SitePipe: mapAccumLOf :: () => LensLike (State acc) s t a b -> (acc -> a -> (acc, b)) -> acc -> s -> (acc, t)
+ 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: 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: mapEq :: forall k1 k2 (s :: k1) (t :: k2) (a :: k1) (b :: k2) f. 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 :: LensLike (WrappedMonad m) s t a b -> (a -> m b) -> s -> m t
- SitePipe: mapOf :: () => ASetter s t a b -> (a -> b) -> s -> t
+ SitePipe: mapOf :: ASetter s t a b -> (a -> b) -> s -> t
- SitePipe: mapped :: Functor f => Setter (f a) (f b) a b
+ SitePipe: mapped :: forall (f :: Type -> Type) a b. 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: mapping :: forall (f :: Type -> Type) (g :: Type -> Type) s t a b. (Functor f, Functor g) => AnIso s t a b -> Iso (f s) (g t) (f a) (g b)
- SitePipe: matching :: () => APrism s t a b -> s -> Either t a
+ SitePipe: matching :: APrism s t a b -> s -> Either t a
- SitePipe: maximumByOf :: () => Getting (Endo (Endo (Maybe a))) s a -> (a -> a -> Ordering) -> s -> Maybe a
+ SitePipe: maximumByOf :: Getting (Endo (Endo (Maybe a))) s a -> (a -> a -> Ordering) -> s -> Maybe a
- SitePipe: minimumByOf :: () => Getting (Endo (Endo (Maybe a))) s a -> (a -> a -> Ordering) -> s -> Maybe a
+ SitePipe: minimumByOf :: Getting (Endo (Endo (Maybe a))) s a -> (a -> a -> Ordering) -> s -> Maybe a
- SitePipe: nearly :: () => a -> (a -> Bool) -> Prism' a ()
+ SitePipe: nearly :: a -> (a -> Bool) -> Prism' a ()
- SitePipe: non' :: () => APrism' a () -> Iso' (Maybe a) a
+ SitePipe: non' :: APrism' a () -> Iso' (Maybe a) a
- SitePipe: noneOf :: () => Getting Any s a -> (a -> Bool) -> s -> Bool
+ SitePipe: noneOf :: Getting Any s a -> (a -> Bool) -> s -> Bool
- SitePipe: notNullOf :: () => Getting Any s a -> s -> Bool
+ SitePipe: notNullOf :: Getting Any s a -> s -> Bool
- SitePipe: nullOf :: () => Getting All s a -> s -> Bool
+ SitePipe: nullOf :: Getting All s a -> s -> Bool
- SitePipe: orOf :: () => Getting Any s Bool -> s -> Bool
+ 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: outside :: forall (p :: Type -> Type -> Type) s t a b r. 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: over :: ASetter s t a b -> (a -> b) -> s -> t
- SitePipe: overEquality :: () => AnEquality s t a b -> p a b -> p s t
+ SitePipe: overEquality :: forall k1 k2 (s :: k1) (t :: k2) (a :: k1) (b :: k2) p. AnEquality s t a b -> p a b -> p s t
- SitePipe: paraOf :: () => Getting (Endo [a]) a a -> (a -> [r] -> r) -> a -> r
+ SitePipe: paraOf :: Getting (Endo [a]) a a -> (a -> [r] -> r) -> a -> r
- SitePipe: parseIndexedJSON :: () => (Value -> Parser a) -> Int -> Value -> Parser a
+ SitePipe: parseIndexedJSON :: (Value -> Parser a) -> Int -> Value -> Parser a
- SitePipe: partsOf' :: () => ATraversal s t a a -> Lens s t [a] [a]
+ SitePipe: partsOf' :: ATraversal s t a a -> Lens s t [a] [a]
- SitePipe: pattern Bool_ :: forall t. AsPrimitive t => () => Bool -> t
+ SitePipe: pattern Bool_ :: AsPrimitive t => Bool -> t
- SitePipe: pattern Double :: forall t. AsNumber t => () => Double -> t
+ SitePipe: pattern Double :: AsNumber t => Double -> t
- SitePipe: pattern Integer :: forall t. AsNumber t => () => Integer -> t
+ SitePipe: pattern Integer :: AsNumber t => Integer -> t
- SitePipe: pattern Primitive :: forall t. AsPrimitive t => () => Primitive -> t
+ SitePipe: pattern Primitive :: AsPrimitive t => Primitive -> t
- SitePipe: pattern Number_ :: forall t. AsNumber t => () => Scientific -> t
+ SitePipe: pattern Number_ :: AsNumber t => Scientific -> t
- SitePipe: pattern String_ :: forall t. AsPrimitive t => () => Text -> t
+ SitePipe: pattern String_ :: AsPrimitive t => Text -> t
- SitePipe: pattern Wrapped :: forall s. Rewrapped s s => () => Unwrapped s -> s
+ SitePipe: pattern Wrapped :: Rewrapped s s => Unwrapped s -> s
- SitePipe: pattern List :: forall l. IsList l => () => [Item l] -> l
+ SitePipe: pattern List :: IsList l => [Item l] -> l
- SitePipe: pattern Integral :: forall t a. (AsNumber t, Integral a) => () => a -> t
+ SitePipe: pattern Integral :: (AsNumber t, Integral a) => a -> t
- SitePipe: pattern Swapped :: forall (p :: Type -> Type -> Type) c d. Swapped p => () => p d c -> p c d
+ SitePipe: pattern Swapped :: forall p c d. Swapped p => p d c -> p c d
- SitePipe: pattern Empty :: forall s. AsEmpty s => () => s
+ SitePipe: pattern Empty :: AsEmpty s => s
- SitePipe: pattern Null_ :: forall t. AsPrimitive t => () => t
+ SitePipe: pattern Null_ :: AsPrimitive t => t
- SitePipe: pre :: () => Getting (First a) s a -> IndexPreservingGetter s (Maybe a)
+ SitePipe: pre :: Getting (First a) s a -> IndexPreservingGetter s (Maybe a)
- SitePipe: prism :: () => (b -> t) -> (s -> Either t a) -> Prism s t a b
+ 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: prism' :: (b -> s) -> (s -> Maybe a) -> Prism s s a b
- SitePipe: re :: () => AReview t b -> Getter b t
+ SitePipe: re :: AReview t b -> Getter b t
- SitePipe: replicated :: () => Int -> Fold a a
+ SitePipe: replicated :: Int -> Fold a a
- SitePipe: rewriteOf :: () => ASetter a b a b -> (b -> Maybe a) -> a -> b
+ SitePipe: rewriteOf :: ASetter a b a b -> (b -> Maybe a) -> a -> b
- SitePipe: rewriteOnOf :: () => ASetter s t a b -> ASetter a b a b -> (b -> Maybe a) -> s -> t
+ SitePipe: rewriteOnOf :: ASetter s t a b -> ASetter a b a b -> (b -> Maybe a) -> s -> t
- 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: rmapping :: forall (p :: Type -> Type -> Type) (q :: Type -> Type -> Type) s t a b x y. (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: runEq :: forall k1 k2 (s :: k1) (t :: k2) (a :: k1) (b :: k2). AnEquality s t a b -> Identical s t a b
- SitePipe: scanl1Of :: () => LensLike (State (Maybe a)) s t a a -> (a -> a -> a) -> s -> t
+ 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: scanr1Of :: LensLike (Backwards (State (Maybe a))) s t a a -> (a -> a -> a) -> s -> t
- 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: seconding :: forall (f :: Type -> Type -> Type) (g :: Type -> Type -> Type) s t a b x y. (Bifunctor f, Bifunctor g) => AnIso s t a b -> Iso (f x s) (g y t) (f x a) (g y b)
- SitePipe: sequenceAOf :: () => LensLike f s t (f b) b -> s -> f t
+ SitePipe: sequenceAOf :: LensLike f s t (f b) b -> s -> f t
- 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: 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 :: LensLike (WrappedMonad m) s t (m b) b -> s -> m t
- SitePipe: set :: () => ASetter s t a b -> b -> s -> t
+ SitePipe: set :: ASetter s t a b -> b -> s -> t
- SitePipe: set' :: () => ASetter' s a -> a -> s -> s
+ SitePipe: set' :: ASetter' s a -> a -> s -> s
- SitePipe: setting :: () => ((a -> b) -> s -> t) -> IndexPreservingSetter s t a b
+ SitePipe: setting :: ((a -> b) -> s -> t) -> IndexPreservingSetter s t a b
- SitePipe: simple :: () => Equality' a a
+ SitePipe: simple :: forall k2 (a :: k2). Equality' a a
- SitePipe: simply :: () => (Optic' p f s a -> r) -> Optic' p f s a -> r
+ SitePipe: simply :: forall k1 k2 p (f :: k1 -> k2) (s :: k1) (a :: k1) (rep :: RuntimeRep) (r :: TYPE rep). (Optic' p f s a -> r) -> Optic' p f s a -> r
- SitePipe: storing :: () => ALens s t a b -> b -> s -> t
+ SitePipe: storing :: ALens s t a b -> b -> s -> t
- SitePipe: substEq :: () => AnEquality s t a b -> ((s ~ a) -> (t ~ b) -> r) -> r
+ SitePipe: substEq :: forall k1 k2 (s :: k1) (t :: k2) (a :: k1) (b :: k2) (rep :: RuntimeRep) (r :: TYPE rep). AnEquality s t a b -> ((s ~ a, t ~ b) => r) -> r
- SitePipe: toListOf :: () => Getting (Endo [a]) s a -> s -> [a]
+ SitePipe: toListOf :: Getting (Endo [a]) s a -> s -> [a]
- SitePipe: toNonEmptyOf :: () => Getting (NonEmptyDList a) s a -> s -> NonEmpty a
+ SitePipe: toNonEmptyOf :: Getting (NonEmptyDList a) s a -> s -> NonEmpty a
- SitePipe: transformOf :: () => ASetter a b a b -> (b -> b) -> a -> b
+ SitePipe: transformOf :: ASetter a b a b -> (b -> b) -> a -> b
- SitePipe: transformOnOf :: () => ASetter s t a b -> ASetter a b a b -> (b -> b) -> 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: transposeOf :: LensLike ZipList s t [a] a -> s -> [t]
- 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: 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: traverseOf :: () => LensLike f s t a b -> (a -> f b) -> s -> f t
+ SitePipe: traverseOf :: LensLike f s t a b -> (a -> f b) -> s -> f t
- SitePipe: traversed :: Traversable f => IndexedTraversal Int (f a) (f b) a b
+ SitePipe: traversed :: forall (f :: Type -> Type) a b. Traversable f => IndexedTraversal Int (f a) (f b) a b
- SitePipe: traversed1 :: Traversable1 f => IndexedTraversal1 Int (f a) (f b) a b
+ SitePipe: traversed1 :: forall (f :: Type -> Type) a b. Traversable1 f => IndexedTraversal1 Int (f a) (f b) a b
- SitePipe: traversed64 :: Traversable f => IndexedTraversal Int64 (f a) (f b) a b
+ SitePipe: traversed64 :: forall (f :: Type -> Type) a b. 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 t a b = LensLike Pretext (->) :: Type -> Type -> Type a b s t a b
- SitePipe: type AReview t b = Optic' (Tagged :: Type -> Type -> Type) Identity t b
+ SitePipe: type AReview t b = Optic' Tagged :: Type -> Type -> Type Identity t b
- SitePipe: type ATraversal s t a b = LensLike Bazaar ((->) :: Type -> Type -> Type) a b s t a b
+ SitePipe: type ATraversal s t a b = LensLike Bazaar (->) :: Type -> Type -> Type a b s t a b
- SitePipe: type ATraversal1 s t a b = LensLike Bazaar1 ((->) :: Type -> Type -> Type) a b s t a b
+ SitePipe: type ATraversal1 s t a b = LensLike Bazaar1 (->) :: Type -> Type -> Type a b s t a b
- 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 t a b = Optical Indexed i (->) :: Type -> Type -> Type Pretext Indexed i a b s t a b
- SitePipe: type GToEncoding = GToJSON Encoding
+ SitePipe: type GToEncoding = GToJSON' Encoding
- SitePipe: type GToJSON = GToJSON Value
+ SitePipe: type GToJSON = GToJSON' 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 :: k -> k1 -> Type) (f :: k2 -> k1) (s :: k) (t :: k2) (a :: k) (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 Optic' (p :: k -> k1 -> Type) (f :: k -> k1) (s :: k) (a :: k) = 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 :: k -> k1 -> Type) (q :: k2 -> k1 -> Type) (f :: k3 -> k1) (s :: k2) (t :: k3) (a :: k) (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 Optical' (p :: k -> k1 -> Type) (q :: k -> k1 -> Type) (f :: k -> k1) (s :: k) (a :: k) = Optical p q f s s a a
- SitePipe: type Simple (f :: k -> k -> k1 -> k1 -> k2) (s :: k) (a :: k1) = f s s a a
+ SitePipe: type Simple (f :: k1 -> k1 -> k2 -> k2 -> k) (s :: k1) (a :: k2) = f s s a a
- SitePipe: type family Unwrapped s :: Type;
+ SitePipe: type family Unwrapped s;
- SitePipe: uncurried :: () => Iso (a -> b -> c) (d -> e -> f) ((a, b) -> c) ((d, e) -> f)
+ 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: under :: AnIso s t a b -> (t -> s) -> b -> a
- SitePipe: underEquality :: () => AnEquality s t a b -> p t s -> p b a
+ SitePipe: underEquality :: forall k1 k2 (s :: k1) (t :: k2) (a :: k1) (b :: k2) p. AnEquality s t a b -> p t s -> p b a
- SitePipe: unfolded :: () => (b -> Maybe (a, b)) -> Fold b a
+ SitePipe: unfolded :: (b -> Maybe (a, b)) -> Fold b a
- SitePipe: united :: () => Lens' a ()
+ SitePipe: united :: Lens' a ()
- SitePipe: universeOf :: () => Getting [a] a a -> a -> [a]
+ SitePipe: universeOf :: Getting [a] a a -> a -> [a]
- SitePipe: universeOnOf :: () => Getting [a] s a -> Getting [a] a a -> s -> [a]
+ SitePipe: universeOnOf :: Getting [a] s a -> Getting [a] a a -> s -> [a]
- SitePipe: unsafePartsOf' :: () => ATraversal s t a b -> Lens s t [a] [b]
+ SitePipe: unsafePartsOf' :: ATraversal s t a b -> Lens s t [a] [b]
- SitePipe: withArray :: () => String -> (Array -> Parser a) -> Value -> Parser a
+ SitePipe: withArray :: String -> (Array -> Parser a) -> Value -> Parser a
- SitePipe: withBool :: () => String -> (Bool -> Parser a) -> Value -> Parser a
+ SitePipe: withBool :: String -> (Bool -> Parser a) -> Value -> Parser a
- SitePipe: withEmbeddedJSON :: () => String -> (Value -> Parser a) -> Value -> Parser a
+ SitePipe: withEmbeddedJSON :: String -> (Value -> Parser a) -> Value -> Parser a
- SitePipe: withEquality :: () => AnEquality s t a b -> ((s :~: a) -> (b :~: t) -> r) -> r
+ SitePipe: withEquality :: forall k1 k2 (s :: k1) (t :: k2) (a :: k1) (b :: k2) (rep :: RuntimeRep) (r :: TYPE rep). AnEquality s t a b -> ((s :~: a) -> (b :~: t) -> r) -> r
- SitePipe: withIso :: () => AnIso s t a b -> ((s -> a) -> (b -> t) -> r) -> r
+ SitePipe: withIso :: forall s t a b (rep :: RuntimeRep) (r :: TYPE rep). AnIso s t a b -> ((s -> a) -> (b -> t) -> r) -> r
- SitePipe: withLens :: () => ALens s t a b -> ((s -> a) -> (s -> b -> t) -> r) -> r
+ SitePipe: withLens :: forall s t a b (rep :: RuntimeRep) (r :: TYPE rep). ALens s t a b -> ((s -> a) -> (s -> b -> t) -> r) -> r
- SitePipe: withObject :: () => String -> (Object -> Parser a) -> Value -> Parser a
+ 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: withPrism :: APrism s t a b -> ((b -> t) -> (s -> Either t a) -> r) -> r
- SitePipe: withScientific :: () => String -> (Scientific -> Parser a) -> Value -> Parser a
+ SitePipe: withScientific :: String -> (Scientific -> Parser a) -> Value -> Parser a
- SitePipe: withText :: () => String -> (Text -> 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: 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: worded :: forall (f :: Type -> Type). Applicative f => IndexedLensLike' Int f String String
- SitePipe: xplat :: () => Optic (Costar ((->) s :: Type -> Type)) g s t a b -> ((s -> a) -> g b) -> g t
+ SitePipe: xplat :: forall k s g (t :: k) a (b :: k). Optic (Costar ((->) s :: Type -> Type)) g s t a b -> ((s -> a) -> g b) -> g t
- SitePipe: xplatf :: () => Optic (Costar f) g s t a b -> (f a -> g b) -> f s -> g t
+ SitePipe: xplatf :: forall k1 k2 f g (s :: k1) (t :: k2) (a :: k1) (b :: k2). Optic (Costar f) g s t a b -> (f a -> g b) -> f s -> g t
- SitePipe.Readers: readMarkdown :: PandocMonad m => ReaderOptions -> Text -> m Pandoc
+ SitePipe.Readers: readMarkdown :: (PandocMonad m, ToSources a) => ReaderOptions -> a -> m Pandoc
Files
- sitepipe.cabal +6/−5
- src/SitePipe/Readers.hs +1/−1
sitepipe.cabal view
@@ -1,13 +1,13 @@ cabal-version: 1.12 --- This file has been generated from package.yaml by hpack version 0.31.2.+-- This file has been generated from package.yaml by hpack version 0.34.4. -- -- see: https://github.com/sol/hpack ----- hash: 5a453abb6e39bab8e144fe4a04baaa85079c83e83b6f2dd5bf17815fe2caf475+-- hash: 2b95377f0988f7b8382de79b6d22f8bac849ba209269cf42f92490c72a472436 name: sitepipe-version: 0.4.0.1+version: 0.4.0.2 synopsis: A simple to understand static site generator category: Web homepage: https://github.com/ChrisPenner/sitepipe#readme@@ -17,7 +17,8 @@ copyright: 2017 Chris Penner license: BSD3 license-file: LICENSE-tested-with: GHC==8.0.2 GHC==8.2.1+tested-with:+ GHC==8.0.2 GHC==8.2.1 build-type: Simple extra-source-files: README.md@@ -44,7 +45,7 @@ Glob , MissingH , aeson- , base >=4.12 && <5+ , base <5 , bytestring , containers , directory
src/SitePipe/Readers.hs view
@@ -16,7 +16,7 @@ ) where import Control.Monad.Trans.Except-import Control.Monad.Trans.State.Strict+import Control.Monad.Trans.State import Control.Monad.Catch import Text.Pandoc import Text.Pandoc.Options