biscuit-haskell-0.3.0.1: 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

Synopsis

Documentation

data Biscuit Source #

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

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

data SignedBlock Source #

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

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

data PublicKey Source #

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

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

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

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 #

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

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 #

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

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 #

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

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

newtype FactV2 Source #

Constructors

FactV2 

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

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 #

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

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

data CheckV2 Source #

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

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 

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

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 #

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

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

newtype ExpressionV2 Source #

Constructors

ExpressionV2 

Fields

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

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

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

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 #

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

newtype OpUnary Source #

Constructors

OpUnary 

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

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

newtype OpBinary Source #

Constructors

OpBinary 

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

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

newtype OpTernary Source #

Constructors

OpTernary 

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

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

data ThirdPartyBlockRequest Source #

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.