Data.Fold.R

Documentation

data R a b

right folds / a reversed Moore machine

Constructors

R (r -> b) (a -> r -> r) r

Instances

Corepresentable R

Associated Types

type Corep (R :: * -> * -> *) :: * -> *

Methods

cotabulate :: (Corep R d -> c) -> R d c

Profunctor R

Methods

dimap :: (a -> b) -> (c -> d) -> R b c -> R a d

lmap :: (a -> b) -> R b c -> R a c

rmap :: (b -> c) -> R a b -> R a c

(#.) :: Coercible * c b => (b -> c) -> R a b -> R a c

(.#) :: Coercible * b a => R b c -> (a -> b) -> R a c

Choice R

Methods

left' :: R a b -> R (Either a c) (Either b c)

right' :: R a b -> R (Either c a) (Either c b)

Closed R

Methods

closed :: R a b -> R (x -> a) (x -> b)

Costrong R

Methods

unfirst :: R (a, d) (b, d) -> R a b

unsecond :: R (d, a) (d, b) -> R a b

Folding R

leaky prefix, efficient postfix

Methods

prefix :: Foldable t => t a -> R a b -> R a b

prefixOf :: Fold s a -> s -> R a b -> R a b

postfix :: Foldable t => R a b -> t a -> R a b

postfixOf :: Fold s a -> R a b -> s -> R a b

run :: Foldable t => t a -> R a b -> b

runOf :: Fold s a -> s -> R a b -> b

filtering :: (a -> Bool) -> R a b -> R a b

Scan R

Methods

prefix1 :: a -> R a b -> R a b

postfix1 :: R a b -> a -> R a b

run1 :: a -> R a b -> b

interspersing :: a -> R a b -> R a b

AsRM R

We can convert from a lazy right fold to a monoidal fold

Methods

asM :: R a b -> M a b

asR :: R a b -> R a b

AsRM1 R

Methods

asM1 :: R a b -> M1 a b

asR1 :: R a b -> R1 a b

Cosieve R []

Methods

cosieve :: R a b -> [a] -> b

Monad (R a)

Methods

(>>=) :: R a a -> (a -> R a b) -> R a b

(>>) :: R a a -> R a b -> R a b

return :: a -> R a a

fail :: String -> R a a

Functor (R a)

Methods

fmap :: (a -> b) -> R a a -> R a b

(<$) :: a -> R a b -> R a a

MonadFix (R a)

Methods

mfix :: (a -> R a a) -> R a a

Applicative (R a)

Methods

pure :: a -> R a a

(<*>) :: R a (a -> b) -> R a a -> R a b

(*>) :: R a a -> R a b -> R a b

(<*) :: R a a -> R a b -> R a a

Distributive (R a)

Methods

distribute :: Functor f => f (R a a) -> R a (f a)

collect :: Functor f => (a -> R a b) -> f a -> R a (f b)

distributeM :: Monad m => m (R a a) -> R a (m a)

collectM :: Monad m => (a -> R a b) -> m a -> R a (m b)

Representable (R a)

Associated Types

type Rep (R a :: * -> *) :: *

Methods

tabulate :: (Rep (R a) -> a) -> R a a

index :: R a a -> Rep (R a) -> a

MonadZip (R a)

Methods

mzip :: R a a -> R a b -> R a (a, b)

mzipWith :: (a -> b -> c) -> R a a -> R a b -> R a c

munzip :: R a (a, b) -> (R a a, R a b)

Comonad (R a)

Methods

extract :: R a a -> a

duplicate :: R a a -> R a (R a a)

extend :: (R a a -> b) -> R a a -> R a b

ComonadApply (R a)

Methods

(<@>) :: R a (a -> b) -> R a a -> R a b

(@>) :: R a a -> R a b -> R a b

(<@) :: R a a -> R a b -> R a a

Apply (R a)

Methods

(<.>) :: R a (a -> b) -> R a a -> R a b

(.>) :: R a a -> R a b -> R a b

(<.) :: R a a -> R a b -> R a a

Bind (R a)

Methods

(>>-) :: R a a -> (a -> R a b) -> R a b

join :: R a (R a a) -> R a a

Extend (R a)

Methods

duplicated :: R a a -> R a (R a a)

extended :: (R a a -> b) -> R a a -> R a b

MonadReader [a] (R a)

Methods

ask :: R a [a]

local :: ([a] -> [a]) -> R a a -> R a a

reader :: ([a] -> a) -> R a a

type Corep R

type Corep R = []

type Rep (R a)

type Rep (R a) = [a]