imperative-edsl-0.5: Deep embedding of imperative programs with code generation

Safe Haskell	None
Language	Haskell2010

Language.Embedded.Imperative.Args

Description

Various types of function arguments

Synopsis

Documentation

data RefArg pred where Source

Reference argument

Constructors

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

Instances

Arg (* -> Constraint) RefArg CType Source

data ArrArg pred where Source

Mutable array argument

Constructors

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

Instances

Arg (* -> Constraint) ArrArg CType Source

data IArrArg pred where Source

Immutable array argument

Constructors

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

Instances

Arg (* -> Constraint) IArrArg CType Source

data PtrArg pred where Source

Pointer argument

Constructors

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

Instances

Arg (* -> Constraint) PtrArg CType Source

data ObjArg pred where Source

Abstract object argument

Constructors

ObjArg :: Object -> ObjArg pred

Instances

Arg k (ObjArg k) pred Source

data StrArg pred where Source

Constant string argument

Constructors

StrArg :: String -> StrArg pred

Instances

Arg k (StrArg k) pred Source