Safe Haskell	Trustworthy
Language	Haskell98

Data.Fold.R

Synopsis

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

Documentation

data R a b #

right folds / a reversed Moore machine

Constructors

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

Instances

Profunctor R #
Instance details Defined in Data.Fold.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 => q b c -> R a b -> R a c # (.#) :: Coercible b a => R b c -> q a b -> R a c #
Corepresentable R #
Instance details Defined in Data.Fold.R Associated Types type Corep R :: * -> * # Methods cotabulate :: (Corep R d -> c) -> R d c #
Choice R #
Instance details Defined in Data.Fold.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 #
Instance details Defined in Data.Fold.R Methods closed :: R a b -> R (x -> a) (x -> b) #
Costrong R #
Instance details Defined in Data.Fold.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`
Instance details Defined in Data.Fold.R 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 #
Instance details Defined in Data.Fold.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
Instance details Defined in Data.Fold Methods asM :: R a b -> M a b # asR :: R a b -> R a b #
AsRM1 R #
Instance details Defined in Data.Fold Methods asM1 :: R a b -> M1 a b # asR1 :: R a b -> R1 a b #
Cosieve R [] #
Instance details Defined in Data.Fold.R Methods cosieve :: R a b -> [a] -> b #
Monad (R a) #
Instance details Defined in Data.Fold.R Methods (>>=) :: R a a0 -> (a0 -> R a b) -> R a b # (>>) :: R a a0 -> R a b -> R a b # return :: a0 -> R a a0 # fail :: String -> R a a0 #
Functor (R a) #
Instance details Defined in Data.Fold.R Methods fmap :: (a0 -> b) -> R a a0 -> R a b # (<$) :: a0 -> R a b -> R a a0 #
MonadFix (R a) #
Instance details Defined in Data.Fold.R Methods mfix :: (a0 -> R a a0) -> R a a0 #
Applicative (R a) #
Instance details Defined in Data.Fold.R Methods pure :: a0 -> R a a0 # (<>) :: R a (a0 -> b) -> R a a0 -> R a b # liftA2 :: (a0 -> b -> c) -> R a a0 -> R a b -> R a c # (>) :: R a a0 -> R a b -> R a b # (<*) :: R a a0 -> R a b -> R a a0 #
Distributive (R a) #
Instance details Defined in Data.Fold.R Methods distribute :: Functor f => f (R a a0) -> R a (f a0) # collect :: Functor f => (a0 -> R a b) -> f a0 -> R a (f b) # distributeM :: Monad m => m (R a a0) -> R a (m a0) # collectM :: Monad m => (a0 -> R a b) -> m a0 -> R a (m b) #
Representable (R a) #
Instance details Defined in Data.Fold.R Associated Types type Rep (R a) :: * # Methods tabulate :: (Rep (R a) -> a0) -> R a a0 # index :: R a a0 -> Rep (R a) -> a0 #
MonadZip (R a) #
Instance details Defined in Data.Fold.R Methods mzip :: R a a0 -> R a b -> R a (a0, b) # mzipWith :: (a0 -> b -> c) -> R a a0 -> R a b -> R a c # munzip :: R a (a0, b) -> (R a a0, R a b) #
Comonad (R a) #
Instance details Defined in Data.Fold.R Methods extract :: R a a0 -> a0 # duplicate :: R a a0 -> R a (R a a0) # extend :: (R a a0 -> b) -> R a a0 -> R a b #
ComonadApply (R a) #
Instance details Defined in Data.Fold.R Methods (<@>) :: R a (a0 -> b) -> R a a0 -> R a b # (@>) :: R a a0 -> R a b -> R a b # (<@) :: R a a0 -> R a b -> R a a0 #
Apply (R a) #
Instance details Defined in Data.Fold.R Methods (<.>) :: R a (a0 -> b) -> R a a0 -> R a b # (.>) :: R a a0 -> R a b -> R a b # (<.) :: R a a0 -> R a b -> R a a0 # liftF2 :: (a0 -> b -> c) -> R a a0 -> R a b -> R a c #
Bind (R a) #
Instance details Defined in Data.Fold.R Methods (>>-) :: R a a0 -> (a0 -> R a b) -> R a b # join :: R a (R a a0) -> R a a0 #
Extend (R a) #
Instance details Defined in Data.Fold.R Methods duplicated :: R a a0 -> R a (R a a0) # extended :: (R a a0 -> b) -> R a a0 -> R a b #
MonadReader [a] (R a) #
Instance details Defined in Data.Fold.R Methods ask :: R a [a] # local :: ([a] -> [a]) -> R a a0 -> R a a0 # reader :: ([a] -> a0) -> R a a0 #
type Corep R #
Instance details Defined in Data.Fold.R type Corep R = []
type Rep (R a) #
Instance details Defined in Data.Fold.R type Rep (R a) = [a]