Data.Fold.R1

Documentation

data R1 a b

A reversed Mealy machine

Constructors

R1 (c -> b) (a -> c -> c) (a -> c)

Instances

Arrow R1

Methods

arr :: (b -> c) -> R1 b c

first :: R1 b c -> R1 (b, d) (c, d)

second :: R1 b c -> R1 (d, b) (d, c)

(***) :: R1 b c -> R1 b' c' -> R1 (b, b') (c, c')

(&&&) :: R1 b c -> R1 b c' -> R1 b (c, c')

ArrowChoice R1

Methods

left :: R1 b c -> R1 (Either b d) (Either c d)

right :: R1 b c -> R1 (Either d b) (Either d c)

(+++) :: R1 b c -> R1 b' c' -> R1 (Either b b') (Either c c')

(|||) :: R1 b d -> R1 c d -> R1 (Either b c) d

Corepresentable R1

Associated Types

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

Methods

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

Profunctor R1

Methods

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

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

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

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

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

Choice R1

Methods

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

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

Closed R1

Methods

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

Strong R1

Methods

first' :: R1 a b -> R1 (a, c) (b, c)

second' :: R1 a b -> R1 (c, a) (c, b)

Costrong R1

Methods

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

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

Scan R1

Methods

prefix1 :: a -> R1 a b -> R1 a b

postfix1 :: R1 a b -> a -> R1 a b

run1 :: a -> R1 a b -> b

interspersing :: a -> R1 a b -> R1 a b

AsRM1 R1

Methods

asM1 :: R1 a b -> M1 a b

asR1 :: R1 a b -> R1 a b

Cosieve R1 NonEmpty

Methods

cosieve :: R1 a b -> NonEmpty a -> b

Monad (R1 a)

Methods

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

(>>) :: R1 a a -> R1 a b -> R1 a b

return :: a -> R1 a a

fail :: String -> R1 a a

Functor (R1 a)

Methods

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

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

MonadFix (R1 a)

Methods

mfix :: (a -> R1 a a) -> R1 a a

Applicative (R1 a)

Methods

pure :: a -> R1 a a

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

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

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

Distributive (R1 a)

Methods

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

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

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

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

Representable (R1 a)

Associated Types

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

Methods

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

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

MonadZip (R1 a)

Methods

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

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

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

Pointed (R1 a)

Methods

point :: a -> R1 a a

Apply (R1 a)

Methods

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

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

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

Category * R1

Methods

id :: cat a a

(.) :: cat b c -> cat a b -> cat a c

Semigroupoid * R1

Methods

o :: c j k1 -> c i j -> c i k1

MonadReader (NonEmpty a) (R1 a)

Methods

ask :: R1 a (NonEmpty a)

local :: (NonEmpty a -> NonEmpty a) -> R1 a a -> R1 a a

reader :: (NonEmpty a -> a) -> R1 a a

type Corep R1

type Corep R1 = NonEmpty

type Rep (R1 a)

type Rep (R1 a) = NonEmpty a