Safe Haskell	None
Language	Haskell2010

PGF2.Internal

Contents

Access the internal structures
Building new PGFs in memory
Expose PGF and Concr for FFI with C
Write an in-memory PGF to a file

Synopsis

type FId = Int
isPredefFId :: FId -> Bool
type FunId = Int
type Token = String
data Production
- = PApply !FunId [PArg]
- | PCoerce !FId
data PArg = PArg [FId] !FId
data Symbol
- = SymCat !Int !LIndex
- | SymLit !Int !LIndex
- | SymVar !Int !Int
- | SymKS Token
- | SymKP [Symbol] [([Symbol], [String])]
- | SymBIND
- | SymNE
- | SymSOFT_BIND
- | SymSOFT_SPACE
- | SymCAPIT
- | SymALL_CAPIT
data Literal
- = LStr String
- | LInt Int
- | LFlt Double
globalFlags :: PGF -> [(String, Literal)]
abstrFlags :: PGF -> [(String, Literal)]
concrFlags :: Concr -> [(String, Literal)]
concrTotalCats :: Concr -> FId
concrCategories :: Concr -> [(Cat, FId, FId, [String])]
concrProductions :: Concr -> FId -> [Production]
concrTotalFuns :: Concr -> FunId
concrFunction :: Concr -> FunId -> (Fun, [SeqId])
concrTotalSeqs :: Concr -> SeqId
concrSequence :: Concr -> SeqId -> [Symbol]
build :: (forall s. (?builder :: Builder s) => B s a) -> a
eAbs :: (?builder :: Builder s) => BindType -> String -> B s Expr -> B s Expr
eApp :: (?builder :: Builder s) => B s Expr -> B s Expr -> B s Expr
eMeta :: (?builder :: Builder s) => Int -> B s Expr
eFun :: (?builder :: Builder s) => Fun -> B s Expr
eVar :: (?builder :: Builder s) => Int -> B s Expr
eTyped :: (?builder :: Builder s) => B s Expr -> B s Type -> B s Expr
eImplArg :: (?builder :: Builder s) => B s Expr -> B s Expr
dTyp :: (?builder :: Builder s) => [B s Hypo] -> Cat -> [B s Expr] -> B s Type
hypo :: BindType -> CId -> B s Type -> B s Hypo
data AbstrInfo
newAbstr :: (?builder :: Builder s) => [(String, Literal)] -> [(Cat, [B s Hypo], Float)] -> [(Fun, B s Type, Int, Float)] -> AbstrInfo
data ConcrInfo
newConcr :: (?builder :: Builder s) => AbstrInfo -> [(String, Literal)] -> [(String, String)] -> [(FId, [FunId])] -> [(FId, [FunId])] -> [(FId, [Production])] -> [(Fun, [SeqId])] -> [[Symbol]] -> [(Cat, FId, FId, [String])] -> FId -> ConcrInfo
newPGF :: (?builder :: Builder s) => [(String, Literal)] -> AbsName -> AbstrInfo -> [(ConcName, ConcrInfo)] -> B s PGF
data PGF = PGF {
- pgf :: Ptr PgfPGF
- touchPGF :: Touch
}
data Concr = Concr {
- concr :: Ptr PgfConcr
- touchConcr :: Touch
}
writePGF :: FilePath -> PGF -> IO ()

Access the internal structures

type FId = Int Source #

isPredefFId :: FId -> Bool Source #

type FunId = Int Source #

type Token = String Source #

data Production Source #

Constructors

PApply !FunId [PArg]
PCoerce !FId

Instances

Eq Production Source #
Instance details Defined in PGF2.Internal Methods (==) :: Production -> Production -> Bool # (/=) :: Production -> Production -> Bool #
Ord Production Source #
Instance details Defined in PGF2.Internal Methods compare :: Production -> Production -> Ordering # (<) :: Production -> Production -> Bool # (<=) :: Production -> Production -> Bool # (>) :: Production -> Production -> Bool # (>=) :: Production -> Production -> Bool # max :: Production -> Production -> Production # min :: Production -> Production -> Production #
Show Production Source #
Instance details Defined in PGF2.Internal Methods showsPrec :: Int -> Production -> ShowS # show :: Production -> String # showList :: [Production] -> ShowS #

data PArg Source #

Constructors

PArg [FId] !FId

Instances

Eq PArg Source #
Instance details Defined in PGF2.FFI Methods (==) :: PArg -> PArg -> Bool # (/=) :: PArg -> PArg -> Bool #
Ord PArg Source #
Instance details Defined in PGF2.FFI Methods compare :: PArg -> PArg -> Ordering # (<) :: PArg -> PArg -> Bool # (<=) :: PArg -> PArg -> Bool # (>) :: PArg -> PArg -> Bool # (>=) :: PArg -> PArg -> Bool # max :: PArg -> PArg -> PArg # min :: PArg -> PArg -> PArg #
Show PArg Source #
Instance details Defined in PGF2.FFI Methods showsPrec :: Int -> PArg -> ShowS # show :: PArg -> String # showList :: [PArg] -> ShowS #

data Symbol Source #

Constructors

SymCat !Int !LIndex
SymLit !Int !LIndex
SymVar !Int !Int
SymKS Token
SymKP [Symbol] [([Symbol], [String])]
SymBIND
SymNE
SymSOFT_BIND
SymSOFT_SPACE
SymCAPIT
SymALL_CAPIT

Instances

Eq Symbol Source #
Instance details Defined in PGF2.Internal Methods (==) :: Symbol -> Symbol -> Bool # (/=) :: Symbol -> Symbol -> Bool #
Ord Symbol Source #
Instance details Defined in PGF2.Internal Methods compare :: Symbol -> Symbol -> Ordering # (<) :: Symbol -> Symbol -> Bool # (<=) :: Symbol -> Symbol -> Bool # (>) :: Symbol -> Symbol -> Bool # (>=) :: Symbol -> Symbol -> Bool # max :: Symbol -> Symbol -> Symbol # min :: Symbol -> Symbol -> Symbol #
Show Symbol Source #
Instance details Defined in PGF2.Internal Methods showsPrec :: Int -> Symbol -> ShowS # show :: Symbol -> String # showList :: [Symbol] -> ShowS #

data Literal Source #

Constructors

LStr String	a string constant
LInt Int	an integer constant
LFlt Double	a floating point constant

Instances

Eq Literal Source #
Instance details Defined in PGF2.Internal Methods (==) :: Literal -> Literal -> Bool # (/=) :: Literal -> Literal -> Bool #
Ord Literal Source #
Instance details Defined in PGF2.Internal Methods compare :: Literal -> Literal -> Ordering # (<) :: Literal -> Literal -> Bool # (<=) :: Literal -> Literal -> Bool # (>) :: Literal -> Literal -> Bool # (>=) :: Literal -> Literal -> Bool # max :: Literal -> Literal -> Literal # min :: Literal -> Literal -> Literal #
Show Literal Source #
Instance details Defined in PGF2.Internal Methods showsPrec :: Int -> Literal -> ShowS # show :: Literal -> String # showList :: [Literal] -> ShowS #

globalFlags :: PGF -> [(String, Literal)] Source #

abstrFlags :: PGF -> [(String, Literal)] Source #

concrFlags :: Concr -> [(String, Literal)] Source #

concrTotalCats :: Concr -> FId Source #

concrCategories :: Concr -> [(Cat, FId, FId, [String])] Source #

concrProductions :: Concr -> FId -> [Production] Source #

concrTotalFuns :: Concr -> FunId Source #

concrFunction :: Concr -> FunId -> (Fun, [SeqId]) Source #

concrTotalSeqs :: Concr -> SeqId Source #

concrSequence :: Concr -> SeqId -> [Symbol] Source #

Building new PGFs in memory

build :: (forall s. (?builder :: Builder s) => B s a) -> a Source #

eAbs :: (?builder :: Builder s) => BindType -> String -> B s Expr -> B s Expr Source #

eApp :: (?builder :: Builder s) => B s Expr -> B s Expr -> B s Expr Source #

eMeta :: (?builder :: Builder s) => Int -> B s Expr Source #

eFun :: (?builder :: Builder s) => Fun -> B s Expr Source #

eVar :: (?builder :: Builder s) => Int -> B s Expr Source #

eTyped :: (?builder :: Builder s) => B s Expr -> B s Type -> B s Expr Source #

eImplArg :: (?builder :: Builder s) => B s Expr -> B s Expr Source #

dTyp :: (?builder :: Builder s) => [B s Hypo] -> Cat -> [B s Expr] -> B s Type Source #

hypo :: BindType -> CId -> B s Type -> B s Hypo Source #

data AbstrInfo Source #

newAbstr :: (?builder :: Builder s) => [(String, Literal)] -> [(Cat, [B s Hypo], Float)] -> [(Fun, B s Type, Int, Float)] -> AbstrInfo Source #

data ConcrInfo Source #

newConcr Source #

Arguments

:: (?builder :: Builder s)
=> AbstrInfo
-> [(String, Literal)]	Concrete syntax flags
-> [(String, String)]	Printnames
-> [(FId, [FunId])]	Lindefs
-> [(FId, [FunId])]	Linrefs
-> [(FId, [Production])]	Productions
-> [(Fun, [SeqId])]	Concrete functions (must be sorted by Fun)
-> [[Symbol]]	Sequences (must be sorted)
-> [(Cat, FId, FId, [String])]	Concrete categories
-> FId	The total count of the categories
-> ConcrInfo

newPGF :: (?builder :: Builder s) => [(String, Literal)] -> AbsName -> AbstrInfo -> [(ConcName, ConcrInfo)] -> B s PGF Source #

Expose PGF and Concr for FFI with C

data PGF Source #

An abstract data type representing multilingual grammar in Portable Grammar Format.

Constructors

PGF
Fields pgf :: Ptr PgfPGF touchPGF :: Touch

data Concr Source #

Constructors

Concr
Fields concr :: Ptr PgfConcr touchConcr :: Touch

Write an in-memory PGF to a file

writePGF :: FilePath -> PGF -> IO () Source #