module Data.Fold.Class
( Scan(..)
, Folding(..)
, beneath
) where
import Control.Lens
import Control.Lens.Internal.Setter
import Data.Foldable
import Data.Profunctor.Unsafe
newtype One a = One a
instance Foldable One where
foldMap f (One a) = f a
class Choice p => Scan p where
prefix1 :: a -> p a b -> p a b
default prefix1 :: Folding p => a -> p a b -> p a b
prefix1 = prefix . One
postfix1 :: p a b -> a -> p a b
default postfix1 :: Folding p => p a b -> a -> p a b
postfix1 p = postfix p . One
run1 :: a -> p a b -> b
default run1 :: Folding p => a -> p a b -> b
run1 = run . One
interspersing :: a -> p a b -> p a b
class Scan p => Folding p where
prefix :: Foldable t => t a -> p a b -> p a b
prefix = prefixOf folded
prefixOf :: Fold s a -> s -> p a b -> p a b
postfix :: Foldable t => p a b -> t a -> p a b
postfix = postfixOf folded
postfixOf :: Fold s a -> p a b -> s -> p a b
run :: Foldable t => t a -> p a b -> b
run = runOf folded
runOf :: Fold s a -> s -> p a b -> b
filtering :: (a -> Bool) -> p a b -> p a b
beneath :: Profunctor p => Overloaded p Mutator s t a b -> p a b -> p s t
beneath l f = runMutator #. l (Mutator #. f)