Handsy

Documentation

data HandsyF k

Base functor for our dsl

Constructors

Command String [String] ByteString ((ExitCode, ByteString, ByteString) -> k)

ReadFile String (ByteString -> k)

WriteFile String ByteString (() -> k)

Instances

Functor HandsyF

writeFile :: forall m. MonadFree HandsyF m => String -> ByteString -> m ()

readFile :: forall m. MonadFree HandsyF m => String -> m ByteString

command :: forall m. MonadFree HandsyF m => String -> [String] -> ByteString -> m (ExitCode, ByteString, ByteString)

type Handsy = FreeT HandsyF IO

run :: Handsy a -> IO a