Language.Embedded.Imperative.Args

Various types of function arguments

Documentation

data ValArg exp where

Value argument

Constructors

ValArg :: VarPred exp a => exp a -> ValArg exp

Instances

Arg ValArg

data RefArg exp where

Reference argument

Constructors

RefArg :: VarPred exp a => Ref a -> RefArg exp

Instances

Arg RefArg

data ArrArg exp where

Array argument

Constructors

ArrArg :: VarPred exp a => Arr n a -> ArrArg exp

Instances

Arg ArrArg

data ObjArg exp where

Abstract object argument

Constructors

ObjArg :: Object -> ObjArg exp

Instances

Arg (ObjArg (* -> *))

data StrArg exp where

Constant string argument

Constructors

StrArg :: String -> StrArg exp

Instances

Arg (StrArg (* -> *))

newtype Addr arg exp

Modifier that takes the address of another argument

Constructors

Addr (arg exp)

Instances

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