Safe Haskell	None
Language	Haskell2010

Auth.Biscuit.Symbols

Synopsis

data Symbols
data BlockSymbols
data ReverseSymbols
newtype SymbolRef = SymbolRef {
- getSymbolRef :: Int64
}
getSymbol :: Symbols -> SymbolRef -> Either String Text
addSymbols :: Symbols -> Set Text -> BlockSymbols
addFromBlock :: Symbols -> BlockSymbols -> Symbols
addFromBlocks :: [[Text]] -> Symbols
reverseSymbols :: Symbols -> ReverseSymbols
getSymbolList :: BlockSymbols -> [Text]
getSymbolCode :: ReverseSymbols -> Text -> SymbolRef
newSymbolTable :: Symbols

Documentation

data Symbols Source #

Instances

Instances details

Eq Symbols Source #
Instance details Defined in Auth.Biscuit.Symbols Methods (==) :: Symbols -> Symbols -> Bool # (/=) :: Symbols -> Symbols -> Bool #
Show Symbols Source #
Instance details Defined in Auth.Biscuit.Symbols Methods showsPrec :: Int -> Symbols -> ShowS # show :: Symbols -> String # showList :: [Symbols] -> ShowS #

data BlockSymbols Source #

Instances

Instances details

Eq BlockSymbols Source #
Instance details Defined in Auth.Biscuit.Symbols Methods (==) :: BlockSymbols -> BlockSymbols -> Bool # (/=) :: BlockSymbols -> BlockSymbols -> Bool #
Show BlockSymbols Source #
Instance details Defined in Auth.Biscuit.Symbols Methods showsPrec :: Int -> BlockSymbols -> ShowS # show :: BlockSymbols -> String # showList :: [BlockSymbols] -> ShowS #
Semigroup BlockSymbols Source #
Instance details Defined in Auth.Biscuit.Symbols Methods (<>) :: BlockSymbols -> BlockSymbols -> BlockSymbols # sconcat :: NonEmpty BlockSymbols -> BlockSymbols # stimes :: Integral b => b -> BlockSymbols -> BlockSymbols #

data ReverseSymbols Source #

Instances

Instances details

Eq ReverseSymbols Source #
Instance details Defined in Auth.Biscuit.Symbols Methods (==) :: ReverseSymbols -> ReverseSymbols -> Bool # (/=) :: ReverseSymbols -> ReverseSymbols -> Bool #
Show ReverseSymbols Source #
Instance details Defined in Auth.Biscuit.Symbols Methods showsPrec :: Int -> ReverseSymbols -> ShowS # show :: ReverseSymbols -> String # showList :: [ReverseSymbols] -> ShowS #
Semigroup ReverseSymbols Source #
Instance details Defined in Auth.Biscuit.Symbols Methods (<>) :: ReverseSymbols -> ReverseSymbols -> ReverseSymbols # sconcat :: NonEmpty ReverseSymbols -> ReverseSymbols # stimes :: Integral b => b -> ReverseSymbols -> ReverseSymbols #

newtype SymbolRef Source #

Constructors

SymbolRef
Fields getSymbolRef :: Int64

Instances

Instances details

Eq SymbolRef Source #
Instance details Defined in Auth.Biscuit.Symbols Methods (==) :: SymbolRef -> SymbolRef -> Bool # (/=) :: SymbolRef -> SymbolRef -> Bool #
Show SymbolRef Source #
Instance details Defined in Auth.Biscuit.Symbols Methods showsPrec :: Int -> SymbolRef -> ShowS # show :: SymbolRef -> String # showList :: [SymbolRef] -> ShowS #

getSymbol :: Symbols -> SymbolRef -> Either String Text Source #

addSymbols :: Symbols -> Set Text -> BlockSymbols Source #

Given already existing symbols and a set of symbols used in a block, compute the symbol table carried by this specific block

addFromBlock :: Symbols -> BlockSymbols -> Symbols Source #

Given the symbol table of a protobuf block, update the provided symbol table

addFromBlocks :: [[Text]] -> Symbols Source #

Compute a global symbol table from a series of block symbol tables

reverseSymbols :: Symbols -> ReverseSymbols Source #

Reverse a symbol table

getSymbolList :: BlockSymbols -> [Text] Source #

getSymbolCode :: ReverseSymbols -> Text -> SymbolRef Source #

Given a reverse symbol table (symbol refs indexed by their textual representation), turn textual representations into symbol refs. This function is partial, the reverse table is guaranteed to contain the expected textual symbols.

newSymbolTable :: Symbols Source #