Safe Haskell	None

C.Prims

Synopsis

Documentation

data CallConv Source

Constructors

CCall
StdCall
CApi
Primitive
DotNet

Instances

Eq CallConv
Ord CallConv
Show CallConv
Binary CallConv

data Safety Source

Constructors

Safe
Unsafe
JhcContext

Instances

Eq Safety
Ord Safety
Show Safety
Binary Safety

newtype ExtType Source

Constructors

ExtType PackedString

Instances

Eq ExtType
Ord ExtType
Show ExtType
IsString ExtType
Binary ExtType
DocLike d => PPrint d ExtType

newtype Requires Source

Constructors

Requires (Set (CallConv, PackedString))

Instances

Eq Requires
Ord Requires
Show Requires
Monoid Requires
Binary Requires

data DotNetPrim Source

Constructors

DotNetField
DotNetCtor
DotNetMethod

Instances

Eq DotNetPrim
Ord DotNetPrim
Show DotNetPrim
Typeable DotNetPrim
Binary DotNetPrim

primReqs :: Prim -> Requires Source

data Prim Source

Constructors

PrimPrim Atom
CConst
Fields primRequires :: Requires primConst :: !PackedString
Func
Fields primRequires :: Requires funcName :: !PackedString primArgTypes :: [ExtType] primRetType :: ExtType primRetArgs :: [ExtType] primSafety :: Safety
IFunc
Fields primRequires :: Requires primArgTypes :: [ExtType] primRetType :: ExtType
AddrOf
Fields primRequires :: Requires primConst :: !PackedString
Peek
Fields primArgTy :: Ty
Poke
Fields primArgTy :: Ty
PrimTypeInfo
Fields primArgTy :: Ty primRetTy :: Ty primTypeInfo :: !PrimTypeInfo
PrimString !PackedString
PrimDotNet
Fields primStatic :: !Bool primDotNet :: !DotNetPrim primIOLike :: !Bool primAssembly :: !PackedString primDotNetName :: !PackedString
Op
Fields primCOp :: Op Ty primRetTy :: Ty

Instances

Eq Prim
Ord Prim
Show Prim
Typeable Prim
Binary Prim
DocLike d => PPrint d Prim

data PrimTypeInfo Source

Constructors

PrimSizeOf
PrimMaxBound
PrimMinBound
PrimAlignmentOf
PrimUMaxBound

Instances

Eq PrimTypeInfo
Ord PrimTypeInfo
Show PrimTypeInfo
Typeable PrimTypeInfo
Binary PrimTypeInfo

primStaticTypeInfo :: Ty -> PrimTypeInfo -> Maybe Integer Source

primIsCheap :: Prim -> Bool Source

These primitives may safely be duplicated without affecting performance or correctness too adversly. either because they are cheap to begin with, or will be recombined in a later pass.

primIsConstant :: Prim -> Bool Source

whether a primitive represents a constant expression (assuming all its arguments are constant) TODO needs grin support

primEagerSafe :: Prim -> Bool Source

whether a primitive can be eagarly evaluated. TODO needs grin support

primPrim :: ToAtom a => a -> Prim Source

parseDotNetFFI :: Monad m => String -> m Prim Source