hydra-0.5.1: Type-aware transformations for data and programs
Safe HaskellSafe-Inferred
LanguageHaskell2010

Hydra.Lib.Flows

Description

Haskell implementations of hydralibflows primitives

Documentation

apply :: Flow s (x -> y) -> Flow s x -> Flow s y Source #

bind :: Flow s x -> (x -> Flow s y) -> Flow s y Source #

fail :: String -> Flow s x Source #

map :: (x -> y) -> Flow s x -> Flow s y Source #

mapList :: (x -> Flow s y) -> [x] -> Flow s [y] Source #

pure :: x -> Flow s x Source #

Orphan instances

MonadFail (Flow s) Source # 
Instance details

Methods

fail :: String -> Flow s a #

Applicative (Flow s) Source # 
Instance details

Methods

pure :: a -> Flow s a #

(<*>) :: Flow s (a -> b) -> Flow s a -> Flow s b #

liftA2 :: (a -> b -> c) -> Flow s a -> Flow s b -> Flow s c #

(*>) :: Flow s a -> Flow s b -> Flow s b #

(<*) :: Flow s a -> Flow s b -> Flow s a #

Functor (Flow s) Source # 
Instance details

Methods

fmap :: (a -> b) -> Flow s a -> Flow s b #

(<$) :: a -> Flow s b -> Flow s a #

Monad (Flow s) Source # 
Instance details

Methods

(>>=) :: Flow s a -> (a -> Flow s b) -> Flow s b #

(>>) :: Flow s a -> Flow s b -> Flow s b #

return :: a -> Flow s a #