Potoki.Core.Transform

Documentation

newtype Transform input output

Constructors

Transform (Fetch input -> IO (Fetch output))

consume :: Consume input output -> Transform input output

produce :: (input -> Produce output) -> Transform input output

mapFetch :: (Fetch a -> Fetch b) -> Transform a b

executeIO :: Transform (IO a) a

Execute the IO action.

take :: Int -> Transform input input

Orphan instances

Arrow Transform

Methods

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

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

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

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

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

ArrowChoice Transform

Methods

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

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

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

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

Choice Transform

Methods

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

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

Strong Transform

Methods

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

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

Profunctor Transform

Methods

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

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

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

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

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

Category * Transform

Methods

id :: cat a a

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