raw-feldspar-0.2.1: Resource-Aware Feldspar
Feldspar.Run.Representation
Description
Monad for running Feldspar programs
Synopsis
type RunCMD = ControlCMD :+: (PtrCMD :+: (ThreadCMD :+: (ChanCMD :+: (FileCMD :+: C_CMD)))) Source #
newtype Run a Source #
Constructors
Fields
Instances
Methods
(>>=) :: Run a -> (a -> Run b) -> Run b #
(>>) :: Run a -> Run b -> Run b #
return :: a -> Run a #
fail :: String -> Run a #
fmap :: (a -> b) -> Run a -> Run b #
(<$) :: a -> Run b -> Run a #
pure :: a -> Run a #
(<*>) :: Run (a -> b) -> Run a -> Run b #
(*>) :: Run a -> Run b -> Run b #
(<*) :: Run a -> Run b -> Run a #
liftComp :: Comp a -> Run a Source #
iff :: Data Bool -> Run () -> Run () -> Run () Source #
for :: (Integral n, PrimType n) => IxRange (Data n) -> (Data n -> Run ()) -> Run () Source #
while :: Run (Data Bool) -> Run () -> Run () Source #
liftRun :: Run a -> Run a Source #
fprf :: Handle -> String -> [PrintfArg Data] -> Run a Source #
class Monad m => MonadRun m where Source #
Minimal complete definition
liftRun
liftRun :: m a -> Run a Source #
liftRun :: Comp a -> Run a Source #