Feldspar.Run.Representation

Monad for running Feldspar programs

Documentation

type RunCMD = ControlCMD :+: (PtrCMD :+: (ThreadCMD :+: (ChanCMD :+: (FileCMD :+: C_CMD))))

newtype Run a

Monad for running Feldspar programs

Constructors

Run

Fields

• unRun :: ProgramT RunCMD (Param2 Data PrimType') (Program CompCMD (Param2 Data PrimType')) a

Instances

Monad Run

Methods

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

(>>) :: Run a -> Run b -> Run b

return :: a -> Run a

fail :: String -> Run a

Functor Run

Methods

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

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

Applicative Run

Methods

pure :: a -> Run a

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

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

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

MonadComp Run

Methods

liftComp :: Comp a -> Run a

iff :: Data Bool -> Run () -> Run () -> Run ()

for :: (Integral n, PrimType n) => IxRange (Data n) -> (Data n -> Run ()) -> Run ()

while :: Run (Data Bool) -> Run () -> Run ()

MonadRun Run

Methods

liftRun :: Run a -> Run a

(~) * a () => PrintfType (Run a)

Methods

fprf :: Handle -> String -> [PrintfArg Data] -> Run a

class Monad m => MonadRun m where

Minimal complete definition

liftRun

Methods

liftRun :: m a -> Run a

Instances

MonadRun Comp

Methods

liftRun :: Comp a -> Run a

MonadRun Run

Methods

liftRun :: Run a -> Run a