Language.Embedded.Imperative.Args

Various types of function arguments

Documentation

data RefArg pred where

Reference argument

Constructors

RefArg :: pred a => Ref a -> RefArg pred

Instances

CompTypeClass ct => Arg (* -> Constraint) RefArg ct

Methods

mkArg :: ct pred -> CGen Exp

mkParam :: ct pred -> CGen Param

data ArrArg pred where

Mutable array argument

Constructors

ArrArg :: pred a => Arr i a -> ArrArg pred

Instances

CompTypeClass ct => Arg (* -> Constraint) ArrArg ct

Methods

mkArg :: ct pred -> CGen Exp

mkParam :: ct pred -> CGen Param

data IArrArg pred where

Immutable array argument

Constructors

IArrArg :: pred a => IArr i a -> IArrArg pred

Instances

CompTypeClass ct => Arg (* -> Constraint) IArrArg ct

Methods

mkArg :: ct pred -> CGen Exp

mkParam :: ct pred -> CGen Param

data PtrArg pred where

Pointer argument

Constructors

PtrArg :: pred a => Ptr a -> PtrArg pred

Instances

CompTypeClass ct => Arg (* -> Constraint) PtrArg ct

Methods

mkArg :: ct pred -> CGen Exp

mkParam :: ct pred -> CGen Param

data ObjArg pred where

Abstract object argument

Constructors

ObjArg :: Object -> ObjArg pred

Instances

Arg k (ObjArg k) pred

Methods

mkArg :: pred pred -> CGen Exp

mkParam :: pred pred -> CGen Param

data StrArg pred where

Constant string argument

Constructors

StrArg :: String -> StrArg pred

Instances

Arg k (StrArg k) pred

Methods

mkArg :: pred pred -> CGen Exp

mkParam :: pred pred -> CGen Param

data ConstArg pred where

Constructors

ConstArg :: {..} -> ConstArg pred

Fields

• constArgType :: String
• constArg :: String

Instances

Arg k (ConstArg k) pred

Methods

mkArg :: pred pred -> CGen Exp

mkParam :: pred pred -> CGen Param