biscuit-haskell-0.3.0.0: Library support for the Biscuit security token
Copyright© Clément Delafargue 2021
LicenseMIT
Maintainerclement@delafargue.name
Safe HaskellSafe-Inferred
LanguageHaskell2010

Auth.Biscuit.Proto

Description

Haskell data structures mapping the biscuit protobuf definitions

Documentation

data Biscuit Source #

Constructors

Biscuit 

Fields

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

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

Instances

Instances details
Generic SignedBlock Source # 
Instance details

Defined in Auth.Biscuit.Proto

Associated Types

type Rep SignedBlock :: Type -> Type #

Show SignedBlock Source # 
Instance details

Defined in Auth.Biscuit.Proto

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

Instances

Instances details
Generic PublicKey Source # 
Instance details

Defined in Auth.Biscuit.Proto

Associated Types

type Rep PublicKey :: Type -> Type #

Show PublicKey Source # 
Instance details

Defined in Auth.Biscuit.Proto

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.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 ExternalSig Source #

Constructors

ExternalSig 

Fields

Instances

Instances details
Generic ExternalSig Source # 
Instance details

Defined in Auth.Biscuit.Proto

Associated Types

type Rep ExternalSig :: Type -> Type #

Show ExternalSig Source # 
Instance details

Defined in Auth.Biscuit.Proto

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

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

newtype FactV2 Source #

Constructors

FactV2 

Fields

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

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

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

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

Constructors

CheckV2 

Fields

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

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

Instances

Instances details
Generic PredicateV2 Source # 
Instance details

Defined in Auth.Biscuit.Proto

Associated Types

type Rep PredicateV2 :: Type -> Type #

Show PredicateV2 Source # 
Instance details

Defined in Auth.Biscuit.Proto

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.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 :: Type -> Type #

Methods

from :: TermV2 -> Rep TermV2 x #

to :: Rep TermV2 x -> TermV2 #

Show TermV2 Source # 
Instance details

Defined in Auth.Biscuit.Proto

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.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 :: Type -> Type #

Show ExpressionV2 Source # 
Instance details

Defined in Auth.Biscuit.Proto

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

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

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

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

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

newtype OpBinary Source #

Constructors

OpBinary 

Fields

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

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

newtype OpTernary Source #

Constructors

OpTernary 

Fields

Instances

Instances details
Generic OpTernary Source # 
Instance details

Defined in Auth.Biscuit.Proto

Associated Types

type Rep OpTernary :: Type -> Type #

Show OpTernary Source # 
Instance details

Defined in Auth.Biscuit.Proto

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

data ThirdPartyBlockContents Source #

Constructors

ThirdPartyBlockContents 

Fields

Instances

Instances details
Generic ThirdPartyBlockContents Source # 
Instance details

Defined in Auth.Biscuit.Proto

Associated Types

type Rep ThirdPartyBlockContents :: Type -> Type #

Show ThirdPartyBlockContents Source # 
Instance details

Defined in Auth.Biscuit.Proto

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

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

Instances

Instances details
Generic ThirdPartyBlockRequest Source # 
Instance details

Defined in Auth.Biscuit.Proto

Associated Types

type Rep ThirdPartyBlockRequest :: Type -> Type #

Show ThirdPartyBlockRequest Source # 
Instance details

Defined in Auth.Biscuit.Proto

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

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

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