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

Defined in Feldspar.Run.Representation

Methods

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

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

return :: a -> Run a

Functor Run

Defined in Feldspar.Run.Representation

Methods

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

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

Applicative Run

Defined in Feldspar.Run.Representation

Methods

pure :: a -> Run a

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

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

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

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

MonadComp Run

Defined in Feldspar.Run.Representation

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

Defined in Feldspar.Run.Representation

Methods

liftRun :: Run a -> Run a

a ~ () => PrintfType (Run a)

Defined in Feldspar.Run.Frontend

Methods

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

class Monad m => MonadRun m where

Methods

liftRun :: m a -> Run a

Instances

MonadRun Comp

Defined in Feldspar.Run.Representation

Methods

liftRun :: Comp a -> Run a

MonadRun Run

Defined in Feldspar.Run.Representation

Methods

liftRun :: Run a -> Run a