Copyright	© Clément Delafargue 2021
License	BSD-3-Clause
Maintainer	clement@delafargue.name
Safe Haskell	Safe-Inferred
Language	Haskell2010

Auth.Biscuit.Proto

Description

Haskell data structures mapping the biscuit protobuf definitions

Synopsis

data Biscuit = Biscuit {
- rootKeyId :: Optional 1 (Value Int32)
- authority :: Required 2 (Message SignedBlock)
- blocks :: Repeated 3 (Message SignedBlock)
- proof :: Required 4 (Message Proof)
}
data SignedBlock = SignedBlock {
- block :: Required 1 (Value ByteString)
- nextKey :: Required 2 (Message PublicKey)
- signature :: Required 3 (Value ByteString)
- externalSig :: Optional 4 (Message ExternalSig)
- version :: Optional 5 (Value Int32)
}
data PublicKey = PublicKey {
- algorithm :: Required 1 (Enumeration Algorithm)
- key :: Required 2 (Value ByteString)
}
data Algorithm = Ed25519
data ExternalSig = ExternalSig {
- signature :: Required 1 (Value ByteString)
- publicKey :: Required 2 (Message PublicKey)
}
data Proof
- = ProofSecret (Required 1 (Value ByteString))
- | ProofSignature (Required 2 (Value ByteString))
data Block = Block {
- symbols :: Repeated 1 (Value Text)
- context :: Optional 2 (Value Text)
- version :: Optional 3 (Value Int32)
- facts :: Repeated 4 (Message Fact)
- rules :: Repeated 5 (Message Rule)
- checks :: Repeated 6 (Message Check)
- scope :: Repeated 7 (Message Scope)
- pksTable :: Repeated 8 (Message PublicKey)
}
data Scope
- = ScType (Required 1 (Enumeration ScopeType))
- | ScBlock (Required 2 (Value Int64))
data ScopeType
- = ScopeAuthority
- | ScopePrevious
newtype Fact = Fact {
- predicate :: Required 1 (Message Predicate)
}
data Rule = Rule {
- head :: Required 1 (Message Predicate)
- body :: Repeated 2 (Message Predicate)
- expressions :: Repeated 3 (Message Expression)
- scope :: Repeated 4 (Message Scope)
}
data CheckKind
- = CheckOne
- | CheckAll
- | Reject
data Check = Check {
- queries :: Repeated 1 (Message Rule)
- kind :: Optional 2 (Enumeration CheckKind)
}
data Predicate = Predicate {
- name :: Required 1 (Value Int64)
- terms :: Repeated 2 (Message Term)
}
data Term
- = TermVariable (Required 1 (Value Int64))
- | TermInteger (Required 2 (Value Int64))
- | TermString (Required 3 (Value Int64))
- | TermDate (Required 4 (Value Int64))
- | TermBytes (Required 5 (Value ByteString))
- | TermBool (Required 6 (Value Bool))
- | TermTermSet (Required 7 (Message TermSet))
- | TermNull (Required 8 (Message Empty))
- | TermTermArray (Required 9 (Message TermArray))
- | TermTermMap (Required 10 (Message TermMap))
newtype Expression = Expression {
- ops :: Repeated 1 (Message Op)
}
newtype TermSet = TermSet {
- set :: Repeated 1 (Message Term)
}
newtype TermArray = TermArray {
- array :: Repeated 1 (Message Term)
}
newtype TermMap = TermMap {
- map :: Repeated 1 (Message MapEntry)
}
data MapKey
- = MapKeyInt (Required 1 (Value Int64))
- | MapKeyString (Required 2 (Value Int64))
data MapEntry = MapEntry {
- key :: Required 1 (Message MapKey)
- value :: Required 2 (Message Term)
}
data Empty = Empty {
}
data Op
- = OpVValue (Required 1 (Message Term))
- | OpVUnary (Required 2 (Message OpUnary))
- | OpVBinary (Required 3 (Message OpBinary))
- | OpVClosure (Required 4 (Message OpClosure))
data OpUnary = OpUnary {
- kind :: Required 1 (Enumeration UnaryKind)
- ffiName :: Optional 2 (Value Int64)
}
data UnaryKind
- = Negate
- | Parens
- | Length
- | TypeOf
- | UnaryFfi
data OpBinary = OpBinary {
- kind :: Required 1 (Enumeration BinaryKind)
- ffiName :: Optional 2 (Value Int64)
}
data BinaryKind
- = LessThan
- | GreaterThan
- | LessOrEqual
- | GreaterOrEqual
- | Equal
- | Contains
- | Prefix
- | Suffix
- | Regex
- | Add
- | Sub
- | Mul
- | Div
- | And
- | Or
- | Intersection
- | Union
- | BitwiseAnd
- | BitwiseOr
- | BitwiseXor
- | NotEqual
- | HeterogeneousEqual
- | HeterogeneousNotEqual
- | LazyAnd
- | LazyOr
- | All
- | Any
- | Get
- | BinaryFfi
- | TryOr
data OpClosure = OpClosure {
- params :: Repeated 1 (Value Int64)
- ops :: Repeated 2 (Message Op)
}
data ThirdPartyBlockContents = ThirdPartyBlockContents {
- payload :: Required 1 (Value ByteString)
- externalSig :: Required 2 (Message ExternalSig)
}
data ThirdPartyBlockRequest = ThirdPartyBlockRequest {
- legacyPk :: Optional 1 (Message PublicKey)
- pkTable :: Repeated 2 (Message PublicKey)
- prevSig :: Required 3 (Value ByteString)
}
getField :: HasField a => a -> FieldType a
putField :: HasField a => FieldType a -> a
decodeBlockList :: ByteString -> Either String Biscuit
decodeBlock :: ByteString -> Either String Block
encodeBlockList :: Biscuit -> ByteString
encodeBlock :: Block -> ByteString
decodeThirdPartyBlockRequest :: ByteString -> Either String ThirdPartyBlockRequest
decodeThirdPartyBlockContents :: ByteString -> Either String ThirdPartyBlockContents
encodeThirdPartyBlockRequest :: ThirdPartyBlockRequest -> ByteString
encodeThirdPartyBlockContents :: ThirdPartyBlockContents -> ByteString

Documentation

data Biscuit Source #

Constructors

Biscuit
Fields rootKeyId :: Optional 1 (Value Int32) authority :: Required 2 (Message SignedBlock) blocks :: Repeated 3 (Message SignedBlock) proof :: Required 4 (Message Proof)

Instances

Instances details

Generic Biscuit Source #
Instance details Defined in Auth.Biscuit.Proto Associated Types type Rep Biscuit :: Type -> Type # Methods from :: Biscuit -> Rep Biscuit x # to :: Rep Biscuit x -> Biscuit #
Show Biscuit Source #
Instance details Defined in Auth.Biscuit.Proto Methods showsPrec :: Int -> Biscuit -> ShowS # show :: Biscuit -> String # showList :: [Biscuit] -> ShowS #
Decode Biscuit Source #
Instance details Defined in Auth.Biscuit.Proto Methods decode :: HashMap Tag [WireField] -> Get Biscuit #
Encode Biscuit Source #
Instance details Defined in Auth.Biscuit.Proto Methods encode :: Biscuit -> Put #
type Rep Biscuit Source #
Instance details Defined in Auth.Biscuit.Proto type Rep Biscuit = D1 ('MetaData "Biscuit" "Auth.Biscuit.Proto" "biscuit-haskell-0.5.0.0-inplace" 'False) (C1 ('MetaCons "Biscuit" 'PrefixI 'True) ((S1 ('MetaSel ('Just "rootKeyId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Optional 1 (Value Int32))) :: S1 ('MetaSel ('Just "authority") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Required 2 (Message SignedBlock)))) :: (S1 ('MetaSel ('Just "blocks") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Repeated 3 (Message SignedBlock))) :*: S1 ('MetaSel ('Just "proof") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Required 4 (Message Proof))))))

data SignedBlock Source #

Constructors

SignedBlock
Fields block :: Required 1 (Value ByteString) nextKey :: Required 2 (Message PublicKey) signature :: Required 3 (Value ByteString) externalSig :: Optional 4 (Message ExternalSig) version :: Optional 5 (Value Int32)

Instances

Instances details

Generic SignedBlock Source #
Instance details Defined in Auth.Biscuit.Proto Associated Types type Rep SignedBlock :: Type -> Type # Methods from :: SignedBlock -> Rep SignedBlock x # to :: Rep SignedBlock x -> SignedBlock #
Show SignedBlock Source #
Instance details Defined in Auth.Biscuit.Proto Methods showsPrec :: Int -> SignedBlock -> ShowS # show :: SignedBlock -> String # showList :: [SignedBlock] -> ShowS #
Decode SignedBlock Source #
Instance details Defined in Auth.Biscuit.Proto Methods decode :: HashMap Tag [WireField] -> Get SignedBlock #
Encode SignedBlock Source #
Instance details Defined in Auth.Biscuit.Proto Methods encode :: SignedBlock -> Put #
type Rep SignedBlock Source #
Instance details Defined in Auth.Biscuit.Proto type Rep SignedBlock = D1 ('MetaData "SignedBlock" "Auth.Biscuit.Proto" "biscuit-haskell-0.5.0.0-inplace" 'False) (C1 ('MetaCons "SignedBlock" 'PrefixI 'True) ((S1 ('MetaSel ('Just "block") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Required 1 (Value ByteString))) :: S1 ('MetaSel ('Just "nextKey") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Required 2 (Message PublicKey)))) :: (S1 ('MetaSel ('Just "signature") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Required 3 (Value ByteString))) :: (S1 ('MetaSel ('Just "externalSig") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Optional 4 (Message ExternalSig))) :: S1 ('MetaSel ('Just "version") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Optional 5 (Value Int32)))))))

data PublicKey Source #

Constructors

PublicKey
Fields algorithm :: Required 1 (Enumeration Algorithm) key :: Required 2 (Value ByteString)

Instances

Instances details

Generic PublicKey Source #
Instance details Defined in Auth.Biscuit.Proto Associated Types type Rep PublicKey :: Type -> Type # Methods from :: PublicKey -> Rep PublicKey x # to :: Rep PublicKey x -> PublicKey #
Show PublicKey Source #
Instance details Defined in Auth.Biscuit.Proto Methods showsPrec :: Int -> PublicKey -> ShowS # show :: PublicKey -> String # showList :: [PublicKey] -> ShowS #
Decode PublicKey Source #
Instance details Defined in Auth.Biscuit.Proto Methods decode :: HashMap Tag [WireField] -> Get PublicKey #
Encode PublicKey Source #
Instance details Defined in Auth.Biscuit.Proto Methods encode :: PublicKey -> Put #
type Rep PublicKey Source #
Instance details Defined in Auth.Biscuit.Proto type Rep PublicKey = D1 ('MetaData "PublicKey" "Auth.Biscuit.Proto" "biscuit-haskell-0.5.0.0-inplace" 'False) (C1 ('MetaCons "PublicKey" 'PrefixI 'True) (S1 ('MetaSel ('Just "algorithm") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Required 1 (Enumeration Algorithm))) :*: S1 ('MetaSel ('Just "key") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Required 2 (Value ByteString)))))

data Algorithm Source #

Constructors

Ed25519

Instances

Instances details

Bounded Algorithm Source #
Instance details Defined in Auth.Biscuit.Proto Methods minBound :: Algorithm # maxBound :: Algorithm #
Enum Algorithm Source #
Instance details Defined in Auth.Biscuit.Proto Methods succ :: Algorithm -> Algorithm # pred :: Algorithm -> Algorithm # toEnum :: Int -> Algorithm # fromEnum :: Algorithm -> Int # enumFrom :: Algorithm -> [Algorithm] # enumFromThen :: Algorithm -> Algorithm -> [Algorithm] # enumFromTo :: Algorithm -> Algorithm -> [Algorithm] # enumFromThenTo :: Algorithm -> Algorithm -> Algorithm -> [Algorithm] #
Show Algorithm Source #
Instance details Defined in Auth.Biscuit.Proto Methods showsPrec :: Int -> Algorithm -> ShowS # show :: Algorithm -> String # showList :: [Algorithm] -> ShowS #

data ExternalSig Source #

Constructors

ExternalSig
Fields signature :: Required 1 (Value ByteString) publicKey :: Required 2 (Message PublicKey)

Instances

Instances details

Generic ExternalSig Source #
Instance details Defined in Auth.Biscuit.Proto Associated Types type Rep ExternalSig :: Type -> Type # Methods from :: ExternalSig -> Rep ExternalSig x # to :: Rep ExternalSig x -> ExternalSig #
Show ExternalSig Source #
Instance details Defined in Auth.Biscuit.Proto Methods showsPrec :: Int -> ExternalSig -> ShowS # show :: ExternalSig -> String # showList :: [ExternalSig] -> ShowS #
Decode ExternalSig Source #
Instance details Defined in Auth.Biscuit.Proto Methods decode :: HashMap Tag [WireField] -> Get ExternalSig #
Encode ExternalSig Source #
Instance details Defined in Auth.Biscuit.Proto Methods encode :: ExternalSig -> Put #
type Rep ExternalSig Source #
Instance details Defined in Auth.Biscuit.Proto type Rep ExternalSig = D1 ('MetaData "ExternalSig" "Auth.Biscuit.Proto" "biscuit-haskell-0.5.0.0-inplace" 'False) (C1 ('MetaCons "ExternalSig" 'PrefixI 'True) (S1 ('MetaSel ('Just "signature") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Required 1 (Value ByteString))) :*: S1 ('MetaSel ('Just "publicKey") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Required 2 (Message PublicKey)))))

data Proof Source #

Constructors

ProofSecret (Required 1 (Value ByteString))
ProofSignature (Required 2 (Value ByteString))

Instances

Instances details

Generic Proof Source #
Instance details Defined in Auth.Biscuit.Proto Associated Types type Rep Proof :: Type -> Type # Methods from :: Proof -> Rep Proof x # to :: Rep Proof x -> Proof #
Show Proof Source #
Instance details Defined in Auth.Biscuit.Proto Methods showsPrec :: Int -> Proof -> ShowS # show :: Proof -> String # showList :: [Proof] -> ShowS #
Decode Proof Source #
Instance details Defined in Auth.Biscuit.Proto Methods decode :: HashMap Tag [WireField] -> Get Proof #
Encode Proof Source #
Instance details Defined in Auth.Biscuit.Proto Methods encode :: Proof -> Put #
type Rep Proof Source #
Instance details Defined in Auth.Biscuit.Proto type Rep Proof = D1 ('MetaData "Proof" "Auth.Biscuit.Proto" "biscuit-haskell-0.5.0.0-inplace" 'False) (C1 ('MetaCons "ProofSecret" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Required 1 (Value ByteString)))) :+: C1 ('MetaCons "ProofSignature" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Required 2 (Value ByteString)))))

data Block Source #

Constructors

Block
Fields symbols :: Repeated 1 (Value Text) context :: Optional 2 (Value Text) version :: Optional 3 (Value Int32) facts :: Repeated 4 (Message Fact) rules :: Repeated 5 (Message Rule) checks :: Repeated 6 (Message Check) scope :: Repeated 7 (Message Scope) pksTable :: Repeated 8 (Message PublicKey)

Instances

Instances details

Generic Block Source #
Instance details Defined in Auth.Biscuit.Proto Associated Types type Rep Block :: Type -> Type # Methods from :: Block -> Rep Block x # to :: Rep Block x -> Block #
Show Block Source #
Instance details Defined in Auth.Biscuit.Proto Methods showsPrec :: Int -> Block -> ShowS # show :: Block -> String # showList :: [Block] -> ShowS #
Decode Block Source #
Instance details Defined in Auth.Biscuit.Proto Methods decode :: HashMap Tag [WireField] -> Get Block #
Encode Block Source #
Instance details Defined in Auth.Biscuit.Proto Methods encode :: Block -> Put #
type Rep Block Source #
Instance details Defined in Auth.Biscuit.Proto type Rep Block = D1 ('MetaData "Block" "Auth.Biscuit.Proto" "biscuit-haskell-0.5.0.0-inplace" 'False) (C1 ('MetaCons "Block" 'PrefixI 'True) (((S1 ('MetaSel ('Just "symbols") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Repeated 1 (Value Text))) :: S1 ('MetaSel ('Just "context") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Optional 2 (Value Text)))) :: (S1 ('MetaSel ('Just "version") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Optional 3 (Value Int32))) :: S1 ('MetaSel ('Just "facts") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Repeated 4 (Message Fact))))) :: ((S1 ('MetaSel ('Just "rules") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Repeated 5 (Message Rule))) :: S1 ('MetaSel ('Just "checks") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Repeated 6 (Message Check)))) :: (S1 ('MetaSel ('Just "scope") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Repeated 7 (Message Scope))) :*: S1 ('MetaSel ('Just "pksTable") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Repeated 8 (Message PublicKey)))))))

data Scope Source #

Constructors

ScType (Required 1 (Enumeration ScopeType))
ScBlock (Required 2 (Value Int64))

Instances

Instances details

Generic Scope Source #
Instance details Defined in Auth.Biscuit.Proto Associated Types type Rep Scope :: Type -> Type # Methods from :: Scope -> Rep Scope x # to :: Rep Scope x -> Scope #
Show Scope Source #
Instance details Defined in Auth.Biscuit.Proto Methods showsPrec :: Int -> Scope -> ShowS # show :: Scope -> String # showList :: [Scope] -> ShowS #
Decode Scope Source #
Instance details Defined in Auth.Biscuit.Proto Methods decode :: HashMap Tag [WireField] -> Get Scope #
Encode Scope Source #
Instance details Defined in Auth.Biscuit.Proto Methods encode :: Scope -> Put #
type Rep Scope Source #
Instance details Defined in Auth.Biscuit.Proto type Rep Scope = D1 ('MetaData "Scope" "Auth.Biscuit.Proto" "biscuit-haskell-0.5.0.0-inplace" 'False) (C1 ('MetaCons "ScType" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Required 1 (Enumeration ScopeType)))) :+: C1 ('MetaCons "ScBlock" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Required 2 (Value Int64)))))

data ScopeType Source #

Constructors

ScopeAuthority
ScopePrevious

Instances

Instances details

Bounded ScopeType Source #
Instance details Defined in Auth.Biscuit.Proto Methods minBound :: ScopeType # maxBound :: ScopeType #
Enum ScopeType Source #
Instance details Defined in Auth.Biscuit.Proto Methods succ :: ScopeType -> ScopeType # pred :: ScopeType -> ScopeType # toEnum :: Int -> ScopeType # fromEnum :: ScopeType -> Int # enumFrom :: ScopeType -> [ScopeType] # enumFromThen :: ScopeType -> ScopeType -> [ScopeType] # enumFromTo :: ScopeType -> ScopeType -> [ScopeType] # enumFromThenTo :: ScopeType -> ScopeType -> ScopeType -> [ScopeType] #
Show ScopeType Source #
Instance details Defined in Auth.Biscuit.Proto Methods showsPrec :: Int -> ScopeType -> ShowS # show :: ScopeType -> String # showList :: [ScopeType] -> ShowS #

newtype Fact Source #

Constructors

Fact
Fields predicate :: Required 1 (Message Predicate)

Instances

Instances details

Generic Fact Source #
Instance details Defined in Auth.Biscuit.Proto Associated Types type Rep Fact :: Type -> Type # Methods from :: Fact -> Rep Fact x # to :: Rep Fact x -> Fact #
Show Fact Source #
Instance details Defined in Auth.Biscuit.Proto Methods showsPrec :: Int -> Fact -> ShowS # show :: Fact -> String # showList :: [Fact] -> ShowS #
Decode Fact Source #
Instance details Defined in Auth.Biscuit.Proto Methods decode :: HashMap Tag [WireField] -> Get Fact #
Encode Fact Source #
Instance details Defined in Auth.Biscuit.Proto Methods encode :: Fact -> Put #
type Rep Fact Source #
Instance details Defined in Auth.Biscuit.Proto type Rep Fact = D1 ('MetaData "Fact" "Auth.Biscuit.Proto" "biscuit-haskell-0.5.0.0-inplace" 'True) (C1 ('MetaCons "Fact" 'PrefixI 'True) (S1 ('MetaSel ('Just "predicate") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Required 1 (Message Predicate)))))

data Rule Source #

Constructors

Rule
Fields head :: Required 1 (Message Predicate) body :: Repeated 2 (Message Predicate) expressions :: Repeated 3 (Message Expression) scope :: Repeated 4 (Message Scope)

Instances

Instances details

Generic Rule Source #
Instance details Defined in Auth.Biscuit.Proto Associated Types type Rep Rule :: Type -> Type # Methods from :: Rule -> Rep Rule x # to :: Rep Rule x -> Rule #
Show Rule Source #
Instance details Defined in Auth.Biscuit.Proto Methods showsPrec :: Int -> Rule -> ShowS # show :: Rule -> String # showList :: [Rule] -> ShowS #
Decode Rule Source #
Instance details Defined in Auth.Biscuit.Proto Methods decode :: HashMap Tag [WireField] -> Get Rule #
Encode Rule Source #
Instance details Defined in Auth.Biscuit.Proto Methods encode :: Rule -> Put #
type Rep Rule Source #
Instance details Defined in Auth.Biscuit.Proto type Rep Rule = D1 ('MetaData "Rule" "Auth.Biscuit.Proto" "biscuit-haskell-0.5.0.0-inplace" 'False) (C1 ('MetaCons "Rule" 'PrefixI 'True) ((S1 ('MetaSel ('Just "head") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Required 1 (Message Predicate))) :: S1 ('MetaSel ('Just "body") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Repeated 2 (Message Predicate)))) :: (S1 ('MetaSel ('Just "expressions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Repeated 3 (Message Expression))) :*: S1 ('MetaSel ('Just "scope") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Repeated 4 (Message Scope))))))

data CheckKind Source #

Constructors

CheckOne
CheckAll
Reject

Instances

Instances details

Bounded CheckKind Source #
Instance details Defined in Auth.Biscuit.Proto Methods minBound :: CheckKind # maxBound :: CheckKind #
Enum CheckKind Source #
Instance details Defined in Auth.Biscuit.Proto Methods succ :: CheckKind -> CheckKind # pred :: CheckKind -> CheckKind # toEnum :: Int -> CheckKind # fromEnum :: CheckKind -> Int # enumFrom :: CheckKind -> [CheckKind] # enumFromThen :: CheckKind -> CheckKind -> [CheckKind] # enumFromTo :: CheckKind -> CheckKind -> [CheckKind] # enumFromThenTo :: CheckKind -> CheckKind -> CheckKind -> [CheckKind] #
Show CheckKind Source #
Instance details Defined in Auth.Biscuit.Proto Methods showsPrec :: Int -> CheckKind -> ShowS # show :: CheckKind -> String # showList :: [CheckKind] -> ShowS #

data Check Source #

Constructors

Check
Fields queries :: Repeated 1 (Message Rule) kind :: Optional 2 (Enumeration CheckKind)

Instances

Instances details

Generic Check Source #
Instance details Defined in Auth.Biscuit.Proto Associated Types type Rep Check :: Type -> Type # Methods from :: Check -> Rep Check x # to :: Rep Check x -> Check #
Show Check Source #
Instance details Defined in Auth.Biscuit.Proto Methods showsPrec :: Int -> Check -> ShowS # show :: Check -> String # showList :: [Check] -> ShowS #
Decode Check Source #
Instance details Defined in Auth.Biscuit.Proto Methods decode :: HashMap Tag [WireField] -> Get Check #
Encode Check Source #
Instance details Defined in Auth.Biscuit.Proto Methods encode :: Check -> Put #
type Rep Check Source #
Instance details Defined in Auth.Biscuit.Proto type Rep Check = D1 ('MetaData "Check" "Auth.Biscuit.Proto" "biscuit-haskell-0.5.0.0-inplace" 'False) (C1 ('MetaCons "Check" 'PrefixI 'True) (S1 ('MetaSel ('Just "queries") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Repeated 1 (Message Rule))) :*: S1 ('MetaSel ('Just "kind") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Optional 2 (Enumeration CheckKind)))))

data Predicate Source #

Constructors

Predicate
Fields name :: Required 1 (Value Int64) terms :: Repeated 2 (Message Term)

Instances

Instances details

Generic Predicate Source #
Instance details Defined in Auth.Biscuit.Proto Associated Types type Rep Predicate :: Type -> Type # Methods from :: Predicate -> Rep Predicate x # to :: Rep Predicate x -> Predicate #
Show Predicate Source #
Instance details Defined in Auth.Biscuit.Proto Methods showsPrec :: Int -> Predicate -> ShowS # show :: Predicate -> String # showList :: [Predicate] -> ShowS #
Decode Predicate Source #
Instance details Defined in Auth.Biscuit.Proto Methods decode :: HashMap Tag [WireField] -> Get Predicate #
Encode Predicate Source #
Instance details Defined in Auth.Biscuit.Proto Methods encode :: Predicate -> Put #
type Rep Predicate Source #
Instance details Defined in Auth.Biscuit.Proto type Rep Predicate = D1 ('MetaData "Predicate" "Auth.Biscuit.Proto" "biscuit-haskell-0.5.0.0-inplace" 'False) (C1 ('MetaCons "Predicate" 'PrefixI 'True) (S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Required 1 (Value Int64))) :*: S1 ('MetaSel ('Just "terms") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Repeated 2 (Message Term)))))

data Term Source #

Constructors

TermVariable (Required 1 (Value Int64))
TermInteger (Required 2 (Value Int64))
TermString (Required 3 (Value Int64))
TermDate (Required 4 (Value Int64))
TermBytes (Required 5 (Value ByteString))
TermBool (Required 6 (Value Bool))
TermTermSet (Required 7 (Message TermSet))
TermNull (Required 8 (Message Empty))
TermTermArray (Required 9 (Message TermArray))
TermTermMap (Required 10 (Message TermMap))

Instances

Instances details

Generic Term Source #
Instance details Defined in Auth.Biscuit.Proto Associated Types type Rep Term :: Type -> Type # Methods from :: Term -> Rep Term x # to :: Rep Term x -> Term #
Show Term Source #
Instance details Defined in Auth.Biscuit.Proto Methods showsPrec :: Int -> Term -> ShowS # show :: Term -> String # showList :: [Term] -> ShowS #
Decode Term Source #
Instance details Defined in Auth.Biscuit.Proto Methods decode :: HashMap Tag [WireField] -> Get Term #
Encode Term Source #
Instance details Defined in Auth.Biscuit.Proto Methods encode :: Term -> Put #
type Rep Term Source #
Instance details Defined in Auth.Biscuit.Proto type Rep Term = D1 ('MetaData "Term" "Auth.Biscuit.Proto" "biscuit-haskell-0.5.0.0-inplace" 'False) (((C1 ('MetaCons "TermVariable" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Required 1 (Value Int64)))) :+: C1 ('MetaCons "TermInteger" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Required 2 (Value Int64))))) :+: (C1 ('MetaCons "TermString" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Required 3 (Value Int64)))) :+: (C1 ('MetaCons "TermDate" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Required 4 (Value Int64)))) :+: C1 ('MetaCons "TermBytes" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Required 5 (Value ByteString))))))) :+: ((C1 ('MetaCons "TermBool" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Required 6 (Value Bool)))) :+: C1 ('MetaCons "TermTermSet" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Required 7 (Message TermSet))))) :+: (C1 ('MetaCons "TermNull" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Required 8 (Message Empty)))) :+: (C1 ('MetaCons "TermTermArray" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Required 9 (Message TermArray)))) :+: C1 ('MetaCons "TermTermMap" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Required 10 (Message TermMap))))))))

newtype Expression Source #

Constructors

Expression
Fields ops :: Repeated 1 (Message Op)

Instances

Instances details

Generic Expression Source #
Instance details Defined in Auth.Biscuit.Proto Associated Types type Rep Expression :: Type -> Type # Methods from :: Expression -> Rep Expression x # to :: Rep Expression x -> Expression #
Show Expression Source #
Instance details Defined in Auth.Biscuit.Proto Methods showsPrec :: Int -> Expression -> ShowS # show :: Expression -> String # showList :: [Expression] -> ShowS #
Decode Expression Source #
Instance details Defined in Auth.Biscuit.Proto Methods decode :: HashMap Tag [WireField] -> Get Expression #
Encode Expression Source #
Instance details Defined in Auth.Biscuit.Proto Methods encode :: Expression -> Put #
type Rep Expression Source #
Instance details Defined in Auth.Biscuit.Proto type Rep Expression = D1 ('MetaData "Expression" "Auth.Biscuit.Proto" "biscuit-haskell-0.5.0.0-inplace" 'True) (C1 ('MetaCons "Expression" 'PrefixI 'True) (S1 ('MetaSel ('Just "ops") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Repeated 1 (Message Op)))))

newtype TermSet Source #

Constructors

TermSet
Fields set :: Repeated 1 (Message Term)

Instances

Instances details

Generic TermSet Source #
Instance details Defined in Auth.Biscuit.Proto Associated Types type Rep TermSet :: Type -> Type # Methods from :: TermSet -> Rep TermSet x # to :: Rep TermSet x -> TermSet #
Show TermSet Source #
Instance details Defined in Auth.Biscuit.Proto Methods showsPrec :: Int -> TermSet -> ShowS # show :: TermSet -> String # showList :: [TermSet] -> ShowS #
Decode TermSet Source #
Instance details Defined in Auth.Biscuit.Proto Methods decode :: HashMap Tag [WireField] -> Get TermSet #
Encode TermSet Source #
Instance details Defined in Auth.Biscuit.Proto Methods encode :: TermSet -> Put #
type Rep TermSet Source #
Instance details Defined in Auth.Biscuit.Proto type Rep TermSet = D1 ('MetaData "TermSet" "Auth.Biscuit.Proto" "biscuit-haskell-0.5.0.0-inplace" 'True) (C1 ('MetaCons "TermSet" 'PrefixI 'True) (S1 ('MetaSel ('Just "set") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Repeated 1 (Message Term)))))

newtype TermArray Source #

Constructors

TermArray
Fields array :: Repeated 1 (Message Term)

Instances

Instances details

Generic TermArray Source #
Instance details Defined in Auth.Biscuit.Proto Associated Types type Rep TermArray :: Type -> Type # Methods from :: TermArray -> Rep TermArray x # to :: Rep TermArray x -> TermArray #
Show TermArray Source #
Instance details Defined in Auth.Biscuit.Proto Methods showsPrec :: Int -> TermArray -> ShowS # show :: TermArray -> String # showList :: [TermArray] -> ShowS #
Decode TermArray Source #
Instance details Defined in Auth.Biscuit.Proto Methods decode :: HashMap Tag [WireField] -> Get TermArray #
Encode TermArray Source #
Instance details Defined in Auth.Biscuit.Proto Methods encode :: TermArray -> Put #
type Rep TermArray Source #
Instance details Defined in Auth.Biscuit.Proto type Rep TermArray = D1 ('MetaData "TermArray" "Auth.Biscuit.Proto" "biscuit-haskell-0.5.0.0-inplace" 'True) (C1 ('MetaCons "TermArray" 'PrefixI 'True) (S1 ('MetaSel ('Just "array") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Repeated 1 (Message Term)))))

newtype TermMap Source #

Constructors

TermMap
Fields map :: Repeated 1 (Message MapEntry)

Instances

Instances details

Generic TermMap Source #
Instance details Defined in Auth.Biscuit.Proto Associated Types type Rep TermMap :: Type -> Type # Methods from :: TermMap -> Rep TermMap x # to :: Rep TermMap x -> TermMap #
Show TermMap Source #
Instance details Defined in Auth.Biscuit.Proto Methods showsPrec :: Int -> TermMap -> ShowS # show :: TermMap -> String # showList :: [TermMap] -> ShowS #
Decode TermMap Source #
Instance details Defined in Auth.Biscuit.Proto Methods decode :: HashMap Tag [WireField] -> Get TermMap #
Encode TermMap Source #
Instance details Defined in Auth.Biscuit.Proto Methods encode :: TermMap -> Put #
type Rep TermMap Source #
Instance details Defined in Auth.Biscuit.Proto type Rep TermMap = D1 ('MetaData "TermMap" "Auth.Biscuit.Proto" "biscuit-haskell-0.5.0.0-inplace" 'True) (C1 ('MetaCons "TermMap" 'PrefixI 'True) (S1 ('MetaSel ('Just "map") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Repeated 1 (Message MapEntry)))))

data MapKey Source #

Constructors

MapKeyInt (Required 1 (Value Int64))
MapKeyString (Required 2 (Value Int64))

Instances

Instances details

Generic MapKey Source #
Instance details Defined in Auth.Biscuit.Proto Associated Types type Rep MapKey :: Type -> Type # Methods from :: MapKey -> Rep MapKey x # to :: Rep MapKey x -> MapKey #
Show MapKey Source #
Instance details Defined in Auth.Biscuit.Proto Methods showsPrec :: Int -> MapKey -> ShowS # show :: MapKey -> String # showList :: [MapKey] -> ShowS #
Decode MapKey Source #
Instance details Defined in Auth.Biscuit.Proto Methods decode :: HashMap Tag [WireField] -> Get MapKey #
Encode MapKey Source #
Instance details Defined in Auth.Biscuit.Proto Methods encode :: MapKey -> Put #
type Rep MapKey Source #
Instance details Defined in Auth.Biscuit.Proto type Rep MapKey = D1 ('MetaData "MapKey" "Auth.Biscuit.Proto" "biscuit-haskell-0.5.0.0-inplace" 'False) (C1 ('MetaCons "MapKeyInt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Required 1 (Value Int64)))) :+: C1 ('MetaCons "MapKeyString" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Required 2 (Value Int64)))))

data MapEntry Source #

Constructors

MapEntry
Fields key :: Required 1 (Message MapKey) value :: Required 2 (Message Term)

Instances

Instances details

Generic MapEntry Source #
Instance details Defined in Auth.Biscuit.Proto Associated Types type Rep MapEntry :: Type -> Type # Methods from :: MapEntry -> Rep MapEntry x # to :: Rep MapEntry x -> MapEntry #
Show MapEntry Source #
Instance details Defined in Auth.Biscuit.Proto Methods showsPrec :: Int -> MapEntry -> ShowS # show :: MapEntry -> String # showList :: [MapEntry] -> ShowS #
Decode MapEntry Source #
Instance details Defined in Auth.Biscuit.Proto Methods decode :: HashMap Tag [WireField] -> Get MapEntry #
Encode MapEntry Source #
Instance details Defined in Auth.Biscuit.Proto Methods encode :: MapEntry -> Put #
type Rep MapEntry Source #
Instance details Defined in Auth.Biscuit.Proto type Rep MapEntry = D1 ('MetaData "MapEntry" "Auth.Biscuit.Proto" "biscuit-haskell-0.5.0.0-inplace" 'False) (C1 ('MetaCons "MapEntry" 'PrefixI 'True) (S1 ('MetaSel ('Just "key") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Required 1 (Message MapKey))) :*: S1 ('MetaSel ('Just "value") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Required 2 (Message Term)))))

data Empty Source #

Constructors

Empty

Instances

Instances details

Generic Empty Source #
Instance details Defined in Auth.Biscuit.Proto Associated Types type Rep Empty :: Type -> Type # Methods from :: Empty -> Rep Empty x # to :: Rep Empty x -> Empty #
Show Empty Source #
Instance details Defined in Auth.Biscuit.Proto Methods showsPrec :: Int -> Empty -> ShowS # show :: Empty -> String # showList :: [Empty] -> ShowS #
Decode Empty Source #
Instance details Defined in Auth.Biscuit.Proto Methods decode :: HashMap Tag [WireField] -> Get Empty #
Encode Empty Source #
Instance details Defined in Auth.Biscuit.Proto Methods encode :: Empty -> Put #
type Rep Empty Source #
Instance details Defined in Auth.Biscuit.Proto type Rep Empty = D1 ('MetaData "Empty" "Auth.Biscuit.Proto" "biscuit-haskell-0.5.0.0-inplace" 'False) (C1 ('MetaCons "Empty" 'PrefixI 'False) (U1 :: Type -> Type))

data Op Source #

Constructors

OpVValue (Required 1 (Message Term))
OpVUnary (Required 2 (Message OpUnary))
OpVBinary (Required 3 (Message OpBinary))
OpVClosure (Required 4 (Message OpClosure))

Instances

Instances details

Generic Op Source #
Instance details Defined in Auth.Biscuit.Proto Associated Types type Rep Op :: Type -> Type # Methods from :: Op -> Rep Op x # to :: Rep Op x -> Op #
Show Op Source #
Instance details Defined in Auth.Biscuit.Proto Methods showsPrec :: Int -> Op -> ShowS # show :: Op -> String # showList :: [Op] -> ShowS #
Decode Op Source #
Instance details Defined in Auth.Biscuit.Proto Methods decode :: HashMap Tag [WireField] -> Get Op #
Encode Op Source #
Instance details Defined in Auth.Biscuit.Proto Methods encode :: Op -> Put #
type Rep Op Source #
Instance details Defined in Auth.Biscuit.Proto type Rep Op = D1 ('MetaData "Op" "Auth.Biscuit.Proto" "biscuit-haskell-0.5.0.0-inplace" 'False) ((C1 ('MetaCons "OpVValue" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Required 1 (Message Term)))) :+: C1 ('MetaCons "OpVUnary" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Required 2 (Message OpUnary))))) :+: (C1 ('MetaCons "OpVBinary" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Required 3 (Message OpBinary)))) :+: C1 ('MetaCons "OpVClosure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Required 4 (Message OpClosure))))))

data OpUnary Source #

Constructors

OpUnary
Fields kind :: Required 1 (Enumeration UnaryKind) ffiName :: Optional 2 (Value Int64)

Instances

Instances details

Generic OpUnary Source #
Instance details Defined in Auth.Biscuit.Proto Associated Types type Rep OpUnary :: Type -> Type # Methods from :: OpUnary -> Rep OpUnary x # to :: Rep OpUnary x -> OpUnary #
Show OpUnary Source #
Instance details Defined in Auth.Biscuit.Proto Methods showsPrec :: Int -> OpUnary -> ShowS # show :: OpUnary -> String # showList :: [OpUnary] -> ShowS #
Decode OpUnary Source #
Instance details Defined in Auth.Biscuit.Proto Methods decode :: HashMap Tag [WireField] -> Get OpUnary #
Encode OpUnary Source #
Instance details Defined in Auth.Biscuit.Proto Methods encode :: OpUnary -> Put #
type Rep OpUnary Source #
Instance details Defined in Auth.Biscuit.Proto type Rep OpUnary = D1 ('MetaData "OpUnary" "Auth.Biscuit.Proto" "biscuit-haskell-0.5.0.0-inplace" 'False) (C1 ('MetaCons "OpUnary" 'PrefixI 'True) (S1 ('MetaSel ('Just "kind") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Required 1 (Enumeration UnaryKind))) :*: S1 ('MetaSel ('Just "ffiName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Optional 2 (Value Int64)))))

data UnaryKind Source #

Constructors

Negate
Parens
Length
TypeOf
UnaryFfi

Instances

Instances details

Bounded UnaryKind Source #
Instance details Defined in Auth.Biscuit.Proto Methods minBound :: UnaryKind # maxBound :: UnaryKind #
Enum UnaryKind Source #
Instance details Defined in Auth.Biscuit.Proto Methods succ :: UnaryKind -> UnaryKind # pred :: UnaryKind -> UnaryKind # toEnum :: Int -> UnaryKind # fromEnum :: UnaryKind -> Int # enumFrom :: UnaryKind -> [UnaryKind] # enumFromThen :: UnaryKind -> UnaryKind -> [UnaryKind] # enumFromTo :: UnaryKind -> UnaryKind -> [UnaryKind] # enumFromThenTo :: UnaryKind -> UnaryKind -> UnaryKind -> [UnaryKind] #
Show UnaryKind Source #
Instance details Defined in Auth.Biscuit.Proto Methods showsPrec :: Int -> UnaryKind -> ShowS # show :: UnaryKind -> String # showList :: [UnaryKind] -> ShowS #

data OpBinary Source #

Constructors

OpBinary
Fields kind :: Required 1 (Enumeration BinaryKind) ffiName :: Optional 2 (Value Int64)

Instances

Instances details

Generic OpBinary Source #
Instance details Defined in Auth.Biscuit.Proto Associated Types type Rep OpBinary :: Type -> Type # Methods from :: OpBinary -> Rep OpBinary x # to :: Rep OpBinary x -> OpBinary #
Show OpBinary Source #
Instance details Defined in Auth.Biscuit.Proto Methods showsPrec :: Int -> OpBinary -> ShowS # show :: OpBinary -> String # showList :: [OpBinary] -> ShowS #
Decode OpBinary Source #
Instance details Defined in Auth.Biscuit.Proto Methods decode :: HashMap Tag [WireField] -> Get OpBinary #
Encode OpBinary Source #
Instance details Defined in Auth.Biscuit.Proto Methods encode :: OpBinary -> Put #
type Rep OpBinary Source #
Instance details Defined in Auth.Biscuit.Proto type Rep OpBinary = D1 ('MetaData "OpBinary" "Auth.Biscuit.Proto" "biscuit-haskell-0.5.0.0-inplace" 'False) (C1 ('MetaCons "OpBinary" 'PrefixI 'True) (S1 ('MetaSel ('Just "kind") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Required 1 (Enumeration BinaryKind))) :*: S1 ('MetaSel ('Just "ffiName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Optional 2 (Value Int64)))))

data BinaryKind Source #

Instances

Instances details

Bounded BinaryKind Source #
Instance details Defined in Auth.Biscuit.Proto Methods minBound :: BinaryKind # maxBound :: BinaryKind #
Enum BinaryKind Source #
Instance details Defined in Auth.Biscuit.Proto Methods succ :: BinaryKind -> BinaryKind # pred :: BinaryKind -> BinaryKind # toEnum :: Int -> BinaryKind # fromEnum :: BinaryKind -> Int # enumFrom :: BinaryKind -> [BinaryKind] # enumFromThen :: BinaryKind -> BinaryKind -> [BinaryKind] # enumFromTo :: BinaryKind -> BinaryKind -> [BinaryKind] # enumFromThenTo :: BinaryKind -> BinaryKind -> BinaryKind -> [BinaryKind] #
Show BinaryKind Source #
Instance details Defined in Auth.Biscuit.Proto Methods showsPrec :: Int -> BinaryKind -> ShowS # show :: BinaryKind -> String # showList :: [BinaryKind] -> ShowS #

data OpClosure Source #

Constructors

OpClosure
Fields params :: Repeated 1 (Value Int64) ops :: Repeated 2 (Message Op)

Instances

Instances details

Generic OpClosure Source #
Instance details Defined in Auth.Biscuit.Proto Associated Types type Rep OpClosure :: Type -> Type # Methods from :: OpClosure -> Rep OpClosure x # to :: Rep OpClosure x -> OpClosure #
Show OpClosure Source #
Instance details Defined in Auth.Biscuit.Proto Methods showsPrec :: Int -> OpClosure -> ShowS # show :: OpClosure -> String # showList :: [OpClosure] -> ShowS #
Decode OpClosure Source #
Instance details Defined in Auth.Biscuit.Proto Methods decode :: HashMap Tag [WireField] -> Get OpClosure #
Encode OpClosure Source #
Instance details Defined in Auth.Biscuit.Proto Methods encode :: OpClosure -> Put #
type Rep OpClosure Source #
Instance details Defined in Auth.Biscuit.Proto type Rep OpClosure = D1 ('MetaData "OpClosure" "Auth.Biscuit.Proto" "biscuit-haskell-0.5.0.0-inplace" 'False) (C1 ('MetaCons "OpClosure" 'PrefixI 'True) (S1 ('MetaSel ('Just "params") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Repeated 1 (Value Int64))) :*: S1 ('MetaSel ('Just "ops") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Repeated 2 (Message Op)))))

data ThirdPartyBlockContents Source #

Constructors

ThirdPartyBlockContents
Fields payload :: Required 1 (Value ByteString) externalSig :: Required 2 (Message ExternalSig)

Instances

Instances details

Generic ThirdPartyBlockContents Source #
Instance details Defined in Auth.Biscuit.Proto Associated Types type Rep ThirdPartyBlockContents :: Type -> Type # Methods from :: ThirdPartyBlockContents -> Rep ThirdPartyBlockContents x # to :: Rep ThirdPartyBlockContents x -> ThirdPartyBlockContents #
Show ThirdPartyBlockContents Source #
Instance details Defined in Auth.Biscuit.Proto Methods showsPrec :: Int -> ThirdPartyBlockContents -> ShowS # show :: ThirdPartyBlockContents -> String # showList :: [ThirdPartyBlockContents] -> ShowS #
Decode ThirdPartyBlockContents Source #
Instance details Defined in Auth.Biscuit.Proto Methods decode :: HashMap Tag [WireField] -> Get ThirdPartyBlockContents #
Encode ThirdPartyBlockContents Source #
Instance details Defined in Auth.Biscuit.Proto Methods encode :: ThirdPartyBlockContents -> Put #
type Rep ThirdPartyBlockContents Source #
Instance details Defined in Auth.Biscuit.Proto type Rep ThirdPartyBlockContents = D1 ('MetaData "ThirdPartyBlockContents" "Auth.Biscuit.Proto" "biscuit-haskell-0.5.0.0-inplace" 'False) (C1 ('MetaCons "ThirdPartyBlockContents" 'PrefixI 'True) (S1 ('MetaSel ('Just "payload") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Required 1 (Value ByteString))) :*: S1 ('MetaSel ('Just "externalSig") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Required 2 (Message ExternalSig)))))

data ThirdPartyBlockRequest Source #

Constructors

ThirdPartyBlockRequest
Fields legacyPk :: Optional 1 (Message PublicKey) pkTable :: Repeated 2 (Message PublicKey) prevSig :: Required 3 (Value ByteString)

Instances

Instances details

Generic ThirdPartyBlockRequest Source #
Instance details Defined in Auth.Biscuit.Proto Associated Types type Rep ThirdPartyBlockRequest :: Type -> Type # Methods from :: ThirdPartyBlockRequest -> Rep ThirdPartyBlockRequest x # to :: Rep ThirdPartyBlockRequest x -> ThirdPartyBlockRequest #
Show ThirdPartyBlockRequest Source #
Instance details Defined in Auth.Biscuit.Proto Methods showsPrec :: Int -> ThirdPartyBlockRequest -> ShowS # show :: ThirdPartyBlockRequest -> String # showList :: [ThirdPartyBlockRequest] -> ShowS #
Decode ThirdPartyBlockRequest Source #
Instance details Defined in Auth.Biscuit.Proto Methods decode :: HashMap Tag [WireField] -> Get ThirdPartyBlockRequest #
Encode ThirdPartyBlockRequest Source #
Instance details Defined in Auth.Biscuit.Proto Methods encode :: ThirdPartyBlockRequest -> Put #
type Rep ThirdPartyBlockRequest Source #
Instance details Defined in Auth.Biscuit.Proto type Rep ThirdPartyBlockRequest = D1 ('MetaData "ThirdPartyBlockRequest" "Auth.Biscuit.Proto" "biscuit-haskell-0.5.0.0-inplace" 'False) (C1 ('MetaCons "ThirdPartyBlockRequest" 'PrefixI 'True) (S1 ('MetaSel ('Just "legacyPk") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Optional 1 (Message PublicKey))) :: (S1 ('MetaSel ('Just "pkTable") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Repeated 2 (Message PublicKey))) :: S1 ('MetaSel ('Just "prevSig") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Required 3 (Value ByteString))))))

getField :: HasField a => a -> FieldType a #

Extract a value from it's Field representation.

putField :: HasField a => FieldType a -> a #

Wrap it back up again.

decodeBlockList :: ByteString -> Either String Biscuit Source #

decodeBlock :: ByteString -> Either String Block Source #

encodeBlockList :: Biscuit -> ByteString Source #

encodeBlock :: Block -> ByteString Source #

decodeThirdPartyBlockRequest :: ByteString -> Either String ThirdPartyBlockRequest Source #

decodeThirdPartyBlockContents :: ByteString -> Either String ThirdPartyBlockContents Source #

encodeThirdPartyBlockRequest :: ThirdPartyBlockRequest -> ByteString Source #

encodeThirdPartyBlockContents :: ThirdPartyBlockContents -> ByteString Source #

LessThan
GreaterThan
LessOrEqual
GreaterOrEqual
Equal
Contains
Prefix
Suffix
Regex
Add
Sub
Mul
Div
And
Or
Intersection
Union
BitwiseAnd
BitwiseOr
BitwiseXor
NotEqual
HeterogeneousEqual
HeterogeneousNotEqual
LazyAnd
LazyOr
All
Any
Get
BinaryFfi
TryOr