lvmlib-1.0: The Lazy Virtual Machine (LVM).

Safe Haskell	None

Lvm.Core.Module

Documentation

data Module v Source

Constructors

Module
Fields moduleName :: Id moduleMajorVer :: !Int moduleMinorVer :: !Int moduleDecls :: ![Decl v]

Instances

Functor Module
Pretty a => Pretty (Module a)

data Decl v Source

Constructors

DeclValue
Fields declName :: Id declAccess :: !Access valueEnc :: Maybe Id valueValue :: v declCustoms :: ![Custom]
DeclAbstract
Fields declName :: Id declAccess :: !Access declArity :: !Arity declCustoms :: ![Custom]
DeclCon
Fields declName :: Id declAccess :: !Access declArity :: !Arity conTag :: !Tag declCustoms :: [Custom]
DeclExtern
Fields declName :: Id declAccess :: !Access declArity :: !Arity externType :: !String externLink :: !LinkConv externCall :: !CallConv externLib :: !String externName :: !ExternName declCustoms :: ![Custom]
DeclCustom
Fields declName :: Id declAccess :: !Access declKind :: !DeclKind declCustoms :: ![Custom]
DeclImport
Fields declName :: Id declAccess :: !Access declCustoms :: ![Custom]

Instances

Functor Decl
Pretty a => Pretty (Decl a)

data Custom Source

Constructors

CustomInt !Int
CustomBytes !Bytes
CustomName Id
CustomLink Id !DeclKind
CustomDecl !DeclKind ![Custom]
CustomNothing

Instances

type Arity = Int Source

type Tag = Int Source

data Access Source

Constructors

Defined
Fields accessPublic :: !Bool
Imported
Fields accessPublic :: !Bool importModule :: Id importName :: Id importKind :: !DeclKind importMajorVer :: !Int importMinorVer :: !Int

data ExternName Source

Constructors

Plain !String
Decorate !String
Ordinal !Int

Instances

Show ExternName

data CallConv Source

Constructors

CallC
CallStd
CallInstr

Instances

Enum CallConv
Eq CallConv
Show CallConv
Pretty CallConv

data LinkConv Source

Constructors

LinkStatic
LinkDynamic
LinkRuntime

Instances

Enum LinkConv
Eq LinkConv
Show LinkConv
Pretty LinkConv

globalNames :: Module v -> IdSet Source

externNames :: Module v -> IdSet Source

filterPublic :: Module v -> Module vSource

mapDecls :: (Decl v -> Decl w) -> Module v -> Module wSource

customDeclKind :: String -> DeclKind Source

customData :: DeclKind Source

customTypeDecl :: DeclKind Source

modulePublic :: Bool -> (IdSet, IdSet, IdSet, IdSet, IdSet) -> Module v -> Module vSource

declKindFromDecl :: Decl a -> DeclKind Source

shallowKindFromDecl :: Decl a -> DeclKind Source

makeDeclKind :: Id -> DeclKind Source

isDeclValue :: Decl a -> Bool Source

isDeclAbstract :: Decl a -> Bool Source

isDeclCon :: Decl a -> Bool Source

isDeclExtern :: Decl a -> Bool Source

isDeclImport :: Decl a -> Bool Source

isDeclGlobal :: Decl a -> Bool Source

public :: Access Source

private :: Access Source