Copyright	© Clément Delafargue 2021
License	MIT
Maintainer	clement@delafargue.name
Safe Haskell	None
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

Instance details

Defined in Auth.Biscuit.Proto

type Rep Biscuit = D1 ('MetaData "Biscuit" "Auth.Biscuit.Proto" "biscuit-haskell-0.4.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))))))

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

Instances

Instances details

Generic SignedBlock Source #

Instance details

Defined in Auth.Biscuit.Proto

Associated Types

type Rep SignedBlock

Instance details

Defined in Auth.Biscuit.Proto

type Rep SignedBlock = D1 ('MetaData "SignedBlock" "Auth.Biscuit.Proto" "biscuit-haskell-0.4.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))))))

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

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

Instance details

Defined in Auth.Biscuit.Proto

type Rep PublicKey = D1 ('MetaData "PublicKey" "Auth.Biscuit.Proto" "biscuit-haskell-0.4.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)))))

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.4.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

Instance details

Defined in Auth.Biscuit.Proto

type Rep ExternalSig = D1 ('MetaData "ExternalSig" "Auth.Biscuit.Proto" "biscuit-haskell-0.4.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)))))

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.4.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

Instance details

Defined in Auth.Biscuit.Proto

type Rep Proof = D1 ('MetaData "Proof" "Auth.Biscuit.Proto" "biscuit-haskell-0.4.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)))))

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.4.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_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

Instance details

Defined in Auth.Biscuit.Proto

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

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

Instance details

Defined in Auth.Biscuit.Proto

type Rep Scope = D1 ('MetaData "Scope" "Auth.Biscuit.Proto" "biscuit-haskell-0.4.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)))))

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.4.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 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
Instance details Defined in Auth.Biscuit.Proto type Rep FactV2 = D1 ('MetaData "FactV2" "Auth.Biscuit.Proto" "biscuit-haskell-0.4.0.0-inplace" 'True) (C1 ('MetaCons "FactV2" 'PrefixI 'True) (S1 ('MetaSel ('Just "predicate") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Required 1 (Message PredicateV2)))))

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.4.0.0-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

Instance details

Defined in Auth.Biscuit.Proto

type Rep RuleV2 = D1 ('MetaData "RuleV2" "Auth.Biscuit.Proto" "biscuit-haskell-0.4.0.0-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))))))

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.4.0.0-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

Instance details

Defined in Auth.Biscuit.Proto

type Rep CheckV2 = D1 ('MetaData "CheckV2" "Auth.Biscuit.Proto" "biscuit-haskell-0.4.0.0-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)))))

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.4.0.0-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

Instance details

Defined in Auth.Biscuit.Proto

type Rep PredicateV2 = D1 ('MetaData "PredicateV2" "Auth.Biscuit.Proto" "biscuit-haskell-0.4.0.0-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)))))

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.4.0.0-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

Instance details

Defined in Auth.Biscuit.Proto

type Rep TermV2 = D1 ('MetaData "TermV2" "Auth.Biscuit.Proto" "biscuit-haskell-0.4.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)))))))

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

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
Instance details Defined in Auth.Biscuit.Proto type Rep ExpressionV2 = D1 ('MetaData "ExpressionV2" "Auth.Biscuit.Proto" "biscuit-haskell-0.4.0.0-inplace" 'True) (C1 ('MetaCons "ExpressionV2" 'PrefixI 'True) (S1 ('MetaSel ('Just "ops") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Repeated 1 (Message Op)))))

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.4.0.0-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
Instance details Defined in Auth.Biscuit.Proto type Rep TermSet = D1 ('MetaData "TermSet" "Auth.Biscuit.Proto" "biscuit-haskell-0.4.0.0-inplace" 'True) (C1 ('MetaCons "TermSet" 'PrefixI 'True) (S1 ('MetaSel ('Just "set") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Repeated 1 (Message TermV2)))))

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.4.0.0-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

Instance details

Defined in Auth.Biscuit.Proto

type Rep Op = D1 ('MetaData "Op" "Auth.Biscuit.Proto" "biscuit-haskell-0.4.0.0-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))))))

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.4.0.0-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
Instance details Defined in Auth.Biscuit.Proto type Rep OpUnary = D1 ('MetaData "OpUnary" "Auth.Biscuit.Proto" "biscuit-haskell-0.4.0.0-inplace" 'True) (C1 ('MetaCons "OpUnary" 'PrefixI 'True) (S1 ('MetaSel ('Just "kind") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Required 1 (Enumeration UnaryKind)))))

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.4.0.0-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
Instance details Defined in Auth.Biscuit.Proto type Rep OpBinary = D1 ('MetaData "OpBinary" "Auth.Biscuit.Proto" "biscuit-haskell-0.4.0.0-inplace" 'True) (C1 ('MetaCons "OpBinary" 'PrefixI 'True) (S1 ('MetaSel ('Just "kind") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Required 1 (Enumeration BinaryKind)))))

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.4.0.0-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
Instance details Defined in Auth.Biscuit.Proto type Rep OpTernary = D1 ('MetaData "OpTernary" "Auth.Biscuit.Proto" "biscuit-haskell-0.4.0.0-inplace" 'True) (C1 ('MetaCons "OpTernary" 'PrefixI 'True) (S1 ('MetaSel ('Just "kind") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Required 1 (Enumeration TernaryKind)))))

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.4.0.0-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 #