Safe Haskell	None
Language	Haskell2010

Feldspar.Run.Representation

Description

Monad for running Feldspar programs

Synopsis

Documentation

newtype Run a Source #

Monad for running Feldspar programs

Constructors

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

Instances details

Monad Run Source #
Instance details 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 Source #
Instance details Defined in Feldspar.Run.Representation Methods fmap :: (a -> b) -> Run a -> Run b # (<$) :: a -> Run b -> Run a #
Applicative Run Source #
Instance details 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 Source #
Instance details Defined in Feldspar.Run.Representation Methods 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 #
MonadRun Run Source #
Instance details Defined in Feldspar.Run.Representation Methods liftRun :: Run a -> Run a Source #
a ~ () => PrintfType (Run a) Source #
Instance details Defined in Feldspar.Run.Frontend Methods fprf :: Handle -> String -> [PrintfArg Data PrimType'] -> Run a Source #

class Monad m => MonadRun m where Source #

Methods

Instances details

MonadRun Comp Source #
Instance details Defined in Feldspar.Run.Representation Methods liftRun :: Comp a -> Run a Source #
MonadRun Run Source #
Instance details Defined in Feldspar.Run.Representation Methods liftRun :: Run a -> Run a Source #