P

Documentation

data Err a

Constructors

PErr ParseE

TyErr (TyE a)

RErr RE

Instances

NFData a => NFData (Err a)

Defined in P

Methods

rnf :: Err a -> ()

(Pretty a, Typeable a) => Exception (Err a)

Defined in P

Methods

toException :: Err a -> SomeException

fromException :: SomeException -> Maybe (Err a)

displayException :: Err a -> String

backtraceDesired :: Err a -> Bool

Generic (Err a)

Defined in P

Associated Types

type Rep (Err a)

Defined in P

type Rep (Err a) = D1 ('MetaData "Err" "P" "apple-0.3.0.0-inplace" 'False) (C1 ('MetaCons "PErr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ParseE)) :+: (C1 ('MetaCons "TyErr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TyE a))) :+: C1 ('MetaCons "RErr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RE))))

Methods

from :: Err a -> Rep (Err a) x

to :: Rep (Err a) x -> Err a

Pretty a => Show (Err a)

Defined in P

Methods

showsPrec :: Int -> Err a -> ShowS

show :: Err a -> String

showList :: [Err a] -> ShowS

Pretty a => Pretty (Err a)

Defined in P

Methods

pretty :: Err a -> Doc ann

prettyList :: [Err a] -> Doc ann

type Rep (Err a)

Defined in P

type Rep (Err a) = D1 ('MetaData "Err" "P" "apple-0.3.0.0-inplace" 'False) (C1 ('MetaCons "PErr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ParseE)) :+: (C1 ('MetaCons "TyErr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TyE a))) :+: C1 ('MetaCons "RErr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RE))))

type CCtx = (Int, Int, Int, Int)

tyParse :: ByteString -> Either (Err AlexPosn) (E (T ()), Int)

tyParseCtx :: AlexUserState -> ByteString -> Either (Err AlexPosn) (E (T ()), Int)

tyExpr :: ByteString -> Either (Err AlexPosn) (Doc ann)

tyOf :: ByteString -> Either (Err AlexPosn) (T (), [(Nm AlexPosn, C)])

tyC :: Int -> E a -> Either (Err a) (E (T ()), [(Nm a, C)], Int)

getTy :: ByteString -> Either (Err AlexPosn) (T (), [(Nm AlexPosn, C)])

parseInline :: ByteString -> Either (Err AlexPosn) (E (T ()), Int)

parseRename :: ByteString -> Either ParseE (E AlexPosn, Int)

rwP :: AlexUserState -> ByteString -> Either ParseE (E AlexPosn, Int)

opt :: ByteString -> Either (Err AlexPosn) (E (T ()))

ir :: ByteString -> Either (Err AlexPosn) ([Stmt], AsmData, WSt)

cmm :: ByteString -> Either (Err AlexPosn) ([CS Liveness], AsmData)

eDumpC :: Int -> E a -> Either (Err a) (Doc ann)

eDumpIR :: Int -> E a -> Either (Err a) (Doc ann)

aarch64 :: ByteString -> Either (Err AlexPosn) (AsmData, [AArch64 AReg FAReg F2Reg ()])

as :: Text -> ByteString -> Doc ann

x86G :: ByteString -> Either (Err AlexPosn) (AsmData, [X86 X86Reg FX86Reg F2X86 ()])

eDumpX86 :: Int -> E a -> Either (Err a) (Doc ann)

eDumpAarch64 :: Int -> E a -> Either (Err a) (Doc ann)

ex86G :: Int -> E a -> Either (Err a) (AsmData, [X86 X86Reg FX86Reg F2X86 ()])

eAarch64 :: Int -> E a -> Either (Err a) (AsmData, [AArch64 AReg FAReg F2Reg ()])

bytes :: ByteString -> Either (Err AlexPosn) ByteString

funP :: ByteString -> IO (FunPtr a, Maybe (Ptr Word64))

aFunP :: ByteString -> IO (FunPtr a, Maybe (Ptr Word64))

eFunP :: (Pretty a, Typeable a) => Int -> CCtx -> E a -> IO (Int, FunPtr b, Maybe (Ptr Word64))

eAFunP :: (Pretty a, Typeable a) => Int -> (CCtx, MCtx) -> E a -> IO (Int, FunPtr b, Maybe (Ptr Word64))

ctxFunP :: CCtx -> ByteString -> IO (Int, FunPtr a, Maybe (Ptr Word64))

actxFunP :: (CCtx, MCtx) -> ByteString -> IO (Int, FunPtr a, Maybe (Ptr Word64))