Copyright	© Clément Delafargue 2021
License	MIT
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)
}
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_v2 :: Repeated 4 (Message FactV2)
- rules_v2 :: Repeated 5 (Message RuleV2)
- checks_v2 :: Repeated 6 (Message CheckV2)
- 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 FactV2 = FactV2 {
- predicate :: Required 1 (Message PredicateV2)
}
data RuleV2 = RuleV2 {
- head :: Required 1 (Message PredicateV2)
- body :: Repeated 2 (Message PredicateV2)
- expressions :: Repeated 3 (Message ExpressionV2)
- scope :: Repeated 4 (Message Scope)
}
data CheckKind
- = One
- | All
data CheckV2 = CheckV2 {
- queries :: Repeated 1 (Message RuleV2)
- kind :: Optional 2 (Enumeration CheckKind)
}
data PredicateV2 = PredicateV2 {
- name :: Required 1 (Value Int64)
- terms :: Repeated 2 (Message TermV2)
}
data TermV2
- = 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))
newtype ExpressionV2 = ExpressionV2 {
- ops :: Repeated 1 (Message Op)
}
newtype TermSet = TermSet {
- set :: Repeated 1 (Message TermV2)
}
data Op
- = OpVValue (Required 1 (Message TermV2))
- | OpVUnary (Required 2 (Message OpUnary))
- | OpVBinary (Required 3 (Message OpBinary))
newtype OpUnary = OpUnary {
- kind :: Required 1 (Enumeration UnaryKind)
}
data UnaryKind
- = Negate
- | Parens
- | Length
newtype OpBinary = OpBinary {
- kind :: Required 1 (Enumeration BinaryKind)
}
data BinaryKind
- = LessThan
- | GreaterThan
- | LessOrEqual
- | GreaterOrEqual
- | Equal
- | Contains
- | Prefix
- | Suffix
- | Regex
- | Add
- | Sub
- | Mul
- | Div
- | And
- | Or
- | Intersection
- | Union
- | BitwiseAnd
- | BitwiseOr
- | BitwiseXor
- | NotEqual
newtype OpTernary = OpTernary {
- kind :: Required 1 (Enumeration TernaryKind)
}
data TernaryKind = VerifyEd25519Signature
data ThirdPartyBlockContents = ThirdPartyBlockContents {
- payload :: Required 1 (Value ByteString)
- externalSig :: Required 2 (Message ExternalSig)
}
data ThirdPartyBlockRequest = ThirdPartyBlockRequest {
- previousPk :: Required 1 (Message PublicKey)
- pkTable :: Repeated 2 (Message PublicKey)
}
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.3.0.1-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)

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.3.0.1-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))))))

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.3.0.1-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.3.0.1-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.3.0.1-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_v2 :: Repeated 4 (Message FactV2) rules_v2 :: Repeated 5 (Message RuleV2) checks_v2 :: Repeated 6 (Message CheckV2) 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.3.0.1-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_v2") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Repeated 4 (Message FactV2))))) :: ((S1 ('MetaSel ('Just "rules_v2") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Repeated 5 (Message RuleV2))) :: S1 ('MetaSel ('Just "checks_v2") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Repeated 6 (Message CheckV2)))) :: (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.3.0.1-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 FactV2 Source #

Constructors

FactV2
Fields predicate :: Required 1 (Message PredicateV2)

Instances

Instances details

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

data RuleV2 Source #

Constructors

RuleV2
Fields head :: Required 1 (Message PredicateV2) body :: Repeated 2 (Message PredicateV2) expressions :: Repeated 3 (Message ExpressionV2) scope :: Repeated 4 (Message Scope)

Instances

Instances details

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

data CheckKind Source #

Constructors

One
All

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 CheckV2 Source #

Constructors

CheckV2
Fields queries :: Repeated 1 (Message RuleV2) kind :: Optional 2 (Enumeration CheckKind)

Instances

Instances details

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

data PredicateV2 Source #

Constructors

PredicateV2
Fields name :: Required 1 (Value Int64) terms :: Repeated 2 (Message TermV2)

Instances

Instances details

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

data TermV2 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))

Instances

Instances details

Generic TermV2 Source #
Instance details Defined in Auth.Biscuit.Proto Associated Types type Rep TermV2 :: Type -> Type # Methods from :: TermV2 -> Rep TermV2 x # to :: Rep TermV2 x -> TermV2 #
Show TermV2 Source #
Instance details Defined in Auth.Biscuit.Proto Methods showsPrec :: Int -> TermV2 -> ShowS # show :: TermV2 -> String # showList :: [TermV2] -> ShowS #
Decode TermV2 Source #
Instance details Defined in Auth.Biscuit.Proto Methods decode :: HashMap Tag [WireField] -> Get TermV2 #
Encode TermV2 Source #
Instance details Defined in Auth.Biscuit.Proto Methods encode :: TermV2 -> Put #
type Rep TermV2 Source #
Instance details Defined in Auth.Biscuit.Proto type Rep TermV2 = D1 ('MetaData "TermV2" "Auth.Biscuit.Proto" "biscuit-haskell-0.3.0.1-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)))))))

newtype ExpressionV2 Source #

Constructors

ExpressionV2
Fields ops :: Repeated 1 (Message Op)

Instances

Instances details

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

newtype TermSet Source #

Constructors

TermSet
Fields set :: Repeated 1 (Message TermV2)

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.3.0.1-inplace" 'True) (C1 ('MetaCons "TermSet" 'PrefixI 'True) (S1 ('MetaSel ('Just "set") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Repeated 1 (Message TermV2)))))

data Op Source #

Constructors

OpVValue (Required 1 (Message TermV2))
OpVUnary (Required 2 (Message OpUnary))
OpVBinary (Required 3 (Message OpBinary))

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.3.0.1-inplace" 'False) (C1 ('MetaCons "OpVValue" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Required 1 (Message TermV2)))) :+: (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))))))

newtype OpUnary Source #

Constructors

OpUnary
Fields kind :: Required 1 (Enumeration UnaryKind)

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.3.0.1-inplace" 'True) (C1 ('MetaCons "OpUnary" 'PrefixI 'True) (S1 ('MetaSel ('Just "kind") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Required 1 (Enumeration UnaryKind)))))

data UnaryKind Source #

Constructors

Negate
Parens
Length

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 #

newtype OpBinary Source #

Constructors

OpBinary
Fields kind :: Required 1 (Enumeration BinaryKind)

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.3.0.1-inplace" 'True) (C1 ('MetaCons "OpBinary" 'PrefixI 'True) (S1 ('MetaSel ('Just "kind") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Required 1 (Enumeration BinaryKind)))))

data BinaryKind Source #

Constructors

LessThan
GreaterThan
LessOrEqual
GreaterOrEqual
Equal
Contains
Prefix
Suffix
Regex
Add
Sub
Mul
Div
And
Or
Intersection
Union
BitwiseAnd
BitwiseOr
BitwiseXor
NotEqual

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 #

newtype OpTernary Source #

Constructors

OpTernary
Fields kind :: Required 1 (Enumeration TernaryKind)

Instances

Instances details

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

data TernaryKind Source #

Constructors

VerifyEd25519Signature

Instances

Instances details

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

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.3.0.1-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 previousPk :: Required 1 (Message PublicKey) pkTable :: Repeated 2 (Message PublicKey)

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.3.0.1-inplace" 'False) (C1 ('MetaCons "ThirdPartyBlockRequest" 'PrefixI 'True) (S1 ('MetaSel ('Just "previousPk") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Required 1 (Message PublicKey))) :*: S1 ('MetaSel ('Just "pkTable") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Repeated 2 (Message PublicKey)))))

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 #