Language.Embedded.Imperative.CMD

Imperative commands. These commands can be used with the Program monad, and different command types can be combined using (:+:).

These commands are general imperative constructs independent of the back end, except for CallCMD which is C-specific.

References

data Ref a

Mutable reference

Constructors

RefComp VarId

RefEval (IORef a)

Instances

ToIdent (Ref a)

Identifiers from references

data RefCMD exp prog a where

Commands for mutable references

Constructors

NewRef :: VarPred exp a => RefCMD exp prog (Ref a)

InitRef :: VarPred exp a => exp a -> RefCMD exp prog (Ref a)

GetRef :: VarPred exp a => Ref a -> RefCMD exp prog (exp a)

SetRef :: VarPred exp a => Ref a -> exp a -> RefCMD exp prog ()

Instances

HFunctor * * (RefCMD exp)

CompExp exp => DryInterp (RefCMD exp)

EvalExp exp => Interp (RefCMD exp) IO

type IExp (RefCMD e) = e

type IExp ((:+:) (* -> *) * (RefCMD e) i) = e

Arrays

data Arr n a

Mutable array

Constructors

ArrComp String

ArrEval (IOArray n a)

Instances

ToIdent (Arr i a)

Identifiers from arrays

data ArrCMD exp prog a where

Commands for mutable arrays

Constructors

NewArr :: (VarPred exp a, VarPred exp n, Integral n, Ix n) => exp n -> ArrCMD exp prog (Arr n a)

NewArr_ :: (VarPred exp a, VarPred exp n, Integral n, Ix n) => ArrCMD exp prog (Arr n a)

GetArr :: (VarPred exp a, Integral n, Ix n) => exp n -> Arr n a -> ArrCMD exp prog (exp a)

SetArr :: (Integral n, Ix n) => exp n -> exp a -> Arr n a -> ArrCMD exp prog ()

Instances

HFunctor * * (ArrCMD exp)

CompExp exp => DryInterp (ArrCMD exp)

EvalExp exp => Interp (ArrCMD exp) IO

type IExp (ArrCMD e) = e

type IExp ((:+:) (* -> *) * (ArrCMD e) i) = e

Control flow

data ControlCMD exp prog a where

Constructors

If :: exp Bool -> prog () -> prog () -> ControlCMD exp prog ()

While :: prog (exp Bool) -> prog () -> ControlCMD exp prog ()

For :: (VarPred exp n, Integral n) => exp n -> exp n -> (exp n -> prog ()) -> ControlCMD exp prog ()

Break :: ControlCMD exp prog ()

Instances

HFunctor * * (ControlCMD exp)

DryInterp (ControlCMD exp)

EvalExp exp => Interp (ControlCMD exp) IO

type IExp (ControlCMD e) = e

type IExp ((:+:) (* -> *) * (ControlCMD e) i) = e

File handling

data Handle

File handle

Constructors

HandleComp String

HandleEval Handle

Instances

ToIdent Handle

Identifiers from handles

stdin :: Handle

Handle to stdin

stdout :: Handle

Handle to stdout

class (Typeable a, Read a, PrintfArg a) => Formattable a where

Values that can be printed/scanned using printf/scanf

Methods

formatSpecifier :: Proxy a -> String

Instances

Formattable Double

Formattable Float

Formattable Int

Formattable Int8

Formattable Int16

Formattable Int32

Formattable Int64

Formattable Word

Formattable Word8

Formattable Word16

Formattable Word32

Formattable Word64

data FileCMD exp prog a where

Constructors

FOpen :: FilePath -> IOMode -> FileCMD exp prog Handle

FClose :: Handle -> FileCMD exp prog ()

FEof :: VarPred exp Bool => Handle -> FileCMD exp prog (exp Bool)

FPrintf :: Handle -> String -> [PrintfArg exp] -> FileCMD exp prog ()

FGet :: (Formattable a, VarPred exp a) => Handle -> FileCMD exp prog (exp a)

Instances

HFunctor * * (FileCMD exp)

CompExp exp => DryInterp (FileCMD exp)

EvalExp exp => Interp (FileCMD exp) IO

type IExp (FileCMD e) = e

type IExp ((:+:) (* -> *) * (FileCMD e) i) = e

data PrintfArg exp where

Constructors

PrintfArg :: (PrintfArg a, VarPred exp a) => exp a -> PrintfArg exp

Abstract objects

data Object

Constructors

Object

Fields

pointed :: Bool

objectType :: String

objectId :: String

Instances

Eq Object

Ord Object

Show Object

ToIdent Object

Identifiers from objects

data ObjectCMD exp prog a where

Constructors

NewObject :: String -> ObjectCMD exp prog Object

InitObject :: String -> Bool -> String -> [FunArg exp] -> ObjectCMD exp prog Object

Instances

HFunctor * * (ObjectCMD exp)

DryInterp (ObjectCMD exp)

Interp (ObjectCMD exp) IO

type IExp (ObjectCMD e) = e

type IExp ((:+:) (* -> *) * (ObjectCMD e) i) = e

External function calls (C-specific)

data FunArg exp where

Constructors

FunArg :: Arg arg => arg exp -> FunArg exp

Instances

Arg FunArg

type VarPredCast exp1 exp2 = forall a b. VarPred exp1 a => Proxy a -> (VarPred exp2 a => b) -> b

Evidence that VarPred exp1 implies VarPred exp2

class Arg arg where

Methods

mkArg :: CompExp exp => arg exp -> CGen Exp

mkParam :: CompExp exp => arg exp -> CGen Param

mapArg :: VarPredCast exp1 exp2 -> (forall a. VarPred exp1 a => exp1 a -> exp2 a) -> arg exp1 -> arg exp2

Map over the expression(s) in an argument

mapMArg :: Monad m => VarPredCast exp1 exp2 -> (forall a. VarPred exp1 a => exp1 a -> m (exp2 a)) -> arg exp1 -> m (arg exp2)

Monadic map over the expression(s) in an argument

Instances

Arg FunArg

Arg ArrArg

Arg RefArg

Arg ValArg

Arg (StrArg (* -> *))

Arg (ObjArg (* -> *))

Arg arg => Arg (Addr (* -> *) arg)

data CallCMD exp prog a where

Constructors

AddInclude :: String -> CallCMD exp prog ()

AddDefinition :: Definition -> CallCMD exp prog ()

AddExternFun :: VarPred exp res => String -> proxy (exp res) -> [FunArg exp] -> CallCMD exp prog ()

AddExternProc :: String -> [FunArg exp] -> CallCMD exp prog ()

CallFun :: VarPred exp a => String -> [FunArg exp] -> CallCMD exp prog (exp a)

CallProc :: String -> [FunArg exp] -> CallCMD exp prog ()

Instances

HFunctor * * (CallCMD exp)

CompExp exp => DryInterp (CallCMD exp)

EvalExp exp => Interp (CallCMD exp) IO

type IExp (CallCMD e) = e

type IExp ((:+:) (* -> *) * (CallCMD e) i) = e