Asm.M

Documentation

data CFunc

Constructors

Malloc

Free

JR

DR

Exp

Log

Pow

Instances

NFData CFunc

Defined in Asm.M

Methods

rnf :: CFunc -> ()

Generic CFunc

Defined in Asm.M

Associated Types

type Rep CFunc

Defined in Asm.M

type Rep CFunc = D1 ('MetaData "CFunc" "Asm.M" "apple-0.3.0.0-inplace" 'False) ((C1 ('MetaCons "Malloc" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Free" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "JR" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "DR" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Exp" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Log" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Pow" 'PrefixI 'False) (U1 :: Type -> Type))))

Methods

from :: CFunc -> Rep CFunc x

to :: Rep CFunc x -> CFunc

Pretty CFunc

Defined in Asm.M

Methods

pretty :: CFunc -> Doc ann

prettyList :: [CFunc] -> Doc ann

type Rep CFunc

Defined in Asm.M

type Rep CFunc = D1 ('MetaData "CFunc" "Asm.M" "apple-0.3.0.0-inplace" 'False) ((C1 ('MetaCons "Malloc" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Free" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "JR" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "DR" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Exp" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Log" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Pow" 'PrefixI 'False) (U1 :: Type -> Type))))

type WM = State WSt

type Label = Word

nextI :: WM Int

nextL :: WM Label

foldMapA :: (Applicative f, Traversable t, Monoid m) => (a -> f m) -> t a -> f m

prettyLabel :: Label -> Doc ann

i4 :: Doc ann -> Doc ann

pAsm :: Pretty isn => [isn] -> Doc ann

prettyAsm :: Pretty isn => (AsmData, [isn]) -> Doc ann

aArr :: IntMap [Word64] -> IO (IntMap (Ptr Word64))

mFree :: Maybe (Ptr a) -> IO ()