Auth.Biscuit.Proto

Haskell data structures mapping the biscuit protobuf definitions

Documentation

data Biscuit

Constructors

Biscuit

Fields

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

Instances

Show Biscuit

Defined in Auth.Biscuit.Proto

Methods

showsPrec :: Int -> Biscuit -> ShowS

show :: Biscuit -> String

showList :: [Biscuit] -> ShowS

Generic Biscuit

Defined in Auth.Biscuit.Proto

Associated Types

type Rep Biscuit :: Type -> Type

Methods

from :: Biscuit -> Rep Biscuit x

to :: Rep Biscuit x -> Biscuit

Decode Biscuit

Defined in Auth.Biscuit.Proto

Methods

decode :: HashMap Tag [WireField] -> Get Biscuit

Encode Biscuit

Defined in Auth.Biscuit.Proto

Methods

encode :: Biscuit -> Put

type Rep Biscuit

Defined in Auth.Biscuit.Proto

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

Constructors

SignedBlock

Fields

• block :: Required 1 (Value ByteString)
• nextKey :: Required 2 (Message PublicKey)
• signature :: Required 3 (Value ByteString)

Instances

Show SignedBlock

Defined in Auth.Biscuit.Proto

Methods

showsPrec :: Int -> SignedBlock -> ShowS

show :: SignedBlock -> String

showList :: [SignedBlock] -> ShowS

Generic SignedBlock

Defined in Auth.Biscuit.Proto

Associated Types

type Rep SignedBlock :: Type -> Type

Methods

from :: SignedBlock -> Rep SignedBlock x

to :: Rep SignedBlock x -> SignedBlock

Decode SignedBlock

Defined in Auth.Biscuit.Proto

Methods

decode :: HashMap Tag [WireField] -> Get SignedBlock

Encode SignedBlock

Defined in Auth.Biscuit.Proto

Methods

encode :: SignedBlock -> Put

type Rep SignedBlock

Defined in Auth.Biscuit.Proto

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

data PublicKey

Constructors

PublicKey

Fields

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

Instances

Show PublicKey

Defined in Auth.Biscuit.Proto

Methods

showsPrec :: Int -> PublicKey -> ShowS

show :: PublicKey -> String

showList :: [PublicKey] -> ShowS

Generic PublicKey

Defined in Auth.Biscuit.Proto

Associated Types

type Rep PublicKey :: Type -> Type

Methods

from :: PublicKey -> Rep PublicKey x

to :: Rep PublicKey x -> PublicKey

Decode PublicKey

Defined in Auth.Biscuit.Proto

Methods

decode :: HashMap Tag [WireField] -> Get PublicKey

Encode PublicKey

Defined in Auth.Biscuit.Proto

Methods

encode :: PublicKey -> Put

type Rep PublicKey

Defined in Auth.Biscuit.Proto

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

Constructors

Ed25519

Instances

Bounded Algorithm

Defined in Auth.Biscuit.Proto

Methods

minBound :: Algorithm

maxBound :: Algorithm

Enum Algorithm

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

Defined in Auth.Biscuit.Proto

Methods

showsPrec :: Int -> Algorithm -> ShowS

show :: Algorithm -> String

showList :: [Algorithm] -> ShowS

data Proof

Constructors

ProofSecret (Required 1 (Value ByteString))

ProofSignature (Required 2 (Value ByteString))

Instances

Show Proof

Defined in Auth.Biscuit.Proto

Methods

showsPrec :: Int -> Proof -> ShowS

show :: Proof -> String

showList :: [Proof] -> ShowS

Generic Proof

Defined in Auth.Biscuit.Proto

Associated Types

type Rep Proof :: Type -> Type

Methods

from :: Proof -> Rep Proof x

to :: Rep Proof x -> Proof

Decode Proof

Defined in Auth.Biscuit.Proto

Methods

decode :: HashMap Tag [WireField] -> Get Proof

Encode Proof

Defined in Auth.Biscuit.Proto

Methods

encode :: Proof -> Put

type Rep Proof

Defined in Auth.Biscuit.Proto

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

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)

Instances

Show Block

Defined in Auth.Biscuit.Proto

Methods

showsPrec :: Int -> Block -> ShowS

show :: Block -> String

showList :: [Block] -> ShowS

Generic Block

Defined in Auth.Biscuit.Proto

Associated Types

type Rep Block :: Type -> Type

Methods

from :: Block -> Rep Block x

to :: Rep Block x -> Block

Decode Block

Defined in Auth.Biscuit.Proto

Methods

decode :: HashMap Tag [WireField] -> Get Block

Encode Block

Defined in Auth.Biscuit.Proto

Methods

encode :: Block -> Put

type Rep Block

Defined in Auth.Biscuit.Proto

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

newtype FactV2

Constructors

FactV2

Fields

• predicate :: Required 1 (Message PredicateV2)

Instances

Show FactV2

Defined in Auth.Biscuit.Proto

Methods

showsPrec :: Int -> FactV2 -> ShowS

show :: FactV2 -> String

showList :: [FactV2] -> ShowS

Generic FactV2

Defined in Auth.Biscuit.Proto

Associated Types

type Rep FactV2 :: Type -> Type

Methods

from :: FactV2 -> Rep FactV2 x

to :: Rep FactV2 x -> FactV2

Decode FactV2

Defined in Auth.Biscuit.Proto

Methods

decode :: HashMap Tag [WireField] -> Get FactV2

Encode FactV2

Defined in Auth.Biscuit.Proto

Methods

encode :: FactV2 -> Put

type Rep FactV2

Defined in Auth.Biscuit.Proto

type Rep FactV2 = D1 ('MetaData "FactV2" "Auth.Biscuit.Proto" "biscuit-haskell-0.2.1.0-inplace" 'True) (C1 ('MetaCons "FactV2" 'PrefixI 'True) (S1 ('MetaSel ('Just "predicate") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Required 1 (Message PredicateV2)))))

data RuleV2

Constructors

RuleV2

Fields

• head :: Required 1 (Message PredicateV2)
• body :: Repeated 2 (Message PredicateV2)
• expressions :: Repeated 3 (Message ExpressionV2)

Instances

Show RuleV2

Defined in Auth.Biscuit.Proto

Methods

showsPrec :: Int -> RuleV2 -> ShowS

show :: RuleV2 -> String

showList :: [RuleV2] -> ShowS

Generic RuleV2

Defined in Auth.Biscuit.Proto

Associated Types

type Rep RuleV2 :: Type -> Type

Methods

from :: RuleV2 -> Rep RuleV2 x

to :: Rep RuleV2 x -> RuleV2

Decode RuleV2

Defined in Auth.Biscuit.Proto

Methods

decode :: HashMap Tag [WireField] -> Get RuleV2

Encode RuleV2

Defined in Auth.Biscuit.Proto

Methods

encode :: RuleV2 -> Put

type Rep RuleV2

Defined in Auth.Biscuit.Proto

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

newtype CheckV2

Constructors

CheckV2

Fields

• queries :: Repeated 1 (Message RuleV2)

Instances

Show CheckV2

Defined in Auth.Biscuit.Proto

Methods

showsPrec :: Int -> CheckV2 -> ShowS

show :: CheckV2 -> String

showList :: [CheckV2] -> ShowS

Generic CheckV2

Defined in Auth.Biscuit.Proto

Associated Types

type Rep CheckV2 :: Type -> Type

Methods

from :: CheckV2 -> Rep CheckV2 x

to :: Rep CheckV2 x -> CheckV2

Decode CheckV2

Defined in Auth.Biscuit.Proto

Methods

decode :: HashMap Tag [WireField] -> Get CheckV2

Encode CheckV2

Defined in Auth.Biscuit.Proto

Methods

encode :: CheckV2 -> Put

type Rep CheckV2

Defined in Auth.Biscuit.Proto

type Rep CheckV2 = D1 ('MetaData "CheckV2" "Auth.Biscuit.Proto" "biscuit-haskell-0.2.1.0-inplace" 'True) (C1 ('MetaCons "CheckV2" 'PrefixI 'True) (S1 ('MetaSel ('Just "queries") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Repeated 1 (Message RuleV2)))))

data PredicateV2

Constructors

PredicateV2

Fields

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

Instances

Show PredicateV2

Defined in Auth.Biscuit.Proto

Methods

showsPrec :: Int -> PredicateV2 -> ShowS

show :: PredicateV2 -> String

showList :: [PredicateV2] -> ShowS

Generic PredicateV2

Defined in Auth.Biscuit.Proto

Associated Types

type Rep PredicateV2 :: Type -> Type

Methods

from :: PredicateV2 -> Rep PredicateV2 x

to :: Rep PredicateV2 x -> PredicateV2

Decode PredicateV2

Defined in Auth.Biscuit.Proto

Methods

decode :: HashMap Tag [WireField] -> Get PredicateV2

Encode PredicateV2

Defined in Auth.Biscuit.Proto

Methods

encode :: PredicateV2 -> Put

type Rep PredicateV2

Defined in Auth.Biscuit.Proto

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

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

Show TermV2

Defined in Auth.Biscuit.Proto

Methods

showsPrec :: Int -> TermV2 -> ShowS

show :: TermV2 -> String

showList :: [TermV2] -> ShowS

Generic TermV2

Defined in Auth.Biscuit.Proto

Associated Types

type Rep TermV2 :: Type -> Type

Methods

from :: TermV2 -> Rep TermV2 x

to :: Rep TermV2 x -> TermV2

Decode TermV2

Defined in Auth.Biscuit.Proto

Methods

decode :: HashMap Tag [WireField] -> Get TermV2

Encode TermV2

Defined in Auth.Biscuit.Proto

Methods

encode :: TermV2 -> Put

type Rep TermV2

Defined in Auth.Biscuit.Proto

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

Constructors

ExpressionV2

Fields

• ops :: Repeated 1 (Message Op)

Instances

Show ExpressionV2

Defined in Auth.Biscuit.Proto

Methods

showsPrec :: Int -> ExpressionV2 -> ShowS

show :: ExpressionV2 -> String

showList :: [ExpressionV2] -> ShowS

Generic ExpressionV2

Defined in Auth.Biscuit.Proto

Associated Types

type Rep ExpressionV2 :: Type -> Type

Methods

from :: ExpressionV2 -> Rep ExpressionV2 x

to :: Rep ExpressionV2 x -> ExpressionV2

Decode ExpressionV2

Defined in Auth.Biscuit.Proto

Methods

decode :: HashMap Tag [WireField] -> Get ExpressionV2

Encode ExpressionV2

Defined in Auth.Biscuit.Proto

Methods

encode :: ExpressionV2 -> Put

type Rep ExpressionV2

Defined in Auth.Biscuit.Proto

type Rep ExpressionV2 = D1 ('MetaData "ExpressionV2" "Auth.Biscuit.Proto" "biscuit-haskell-0.2.1.0-inplace" 'True) (C1 ('MetaCons "ExpressionV2" 'PrefixI 'True) (S1 ('MetaSel ('Just "ops") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Repeated 1 (Message Op)))))

newtype TermSet

Constructors

TermSet

Fields

• set :: Repeated 1 (Message TermV2)

Instances

Show TermSet

Defined in Auth.Biscuit.Proto

Methods

showsPrec :: Int -> TermSet -> ShowS

show :: TermSet -> String

showList :: [TermSet] -> ShowS

Generic TermSet

Defined in Auth.Biscuit.Proto

Associated Types

type Rep TermSet :: Type -> Type

Methods

from :: TermSet -> Rep TermSet x

to :: Rep TermSet x -> TermSet

Decode TermSet

Defined in Auth.Biscuit.Proto

Methods

decode :: HashMap Tag [WireField] -> Get TermSet

Encode TermSet

Defined in Auth.Biscuit.Proto

Methods

encode :: TermSet -> Put

type Rep TermSet

Defined in Auth.Biscuit.Proto

type Rep TermSet = D1 ('MetaData "TermSet" "Auth.Biscuit.Proto" "biscuit-haskell-0.2.1.0-inplace" 'True) (C1 ('MetaCons "TermSet" 'PrefixI 'True) (S1 ('MetaSel ('Just "set") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Repeated 1 (Message TermV2)))))

data Op

Constructors

OpVValue (Required 1 (Message TermV2))

OpVUnary (Required 2 (Message OpUnary))

OpVBinary (Required 3 (Message OpBinary))

Instances

Show Op

Defined in Auth.Biscuit.Proto

Methods

showsPrec :: Int -> Op -> ShowS

show :: Op -> String

showList :: [Op] -> ShowS

Generic Op

Defined in Auth.Biscuit.Proto

Associated Types

type Rep Op :: Type -> Type

Methods

from :: Op -> Rep Op x

to :: Rep Op x -> Op

Decode Op

Defined in Auth.Biscuit.Proto

Methods

decode :: HashMap Tag [WireField] -> Get Op

Encode Op

Defined in Auth.Biscuit.Proto

Methods

encode :: Op -> Put

type Rep Op

Defined in Auth.Biscuit.Proto

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

Constructors

OpUnary

Fields

• kind :: Required 1 (Enumeration UnaryKind)

Instances

Show OpUnary

Defined in Auth.Biscuit.Proto

Methods

showsPrec :: Int -> OpUnary -> ShowS

show :: OpUnary -> String

showList :: [OpUnary] -> ShowS

Generic OpUnary

Defined in Auth.Biscuit.Proto

Associated Types

type Rep OpUnary :: Type -> Type

Methods

from :: OpUnary -> Rep OpUnary x

to :: Rep OpUnary x -> OpUnary

Decode OpUnary

Defined in Auth.Biscuit.Proto

Methods

decode :: HashMap Tag [WireField] -> Get OpUnary

Encode OpUnary

Defined in Auth.Biscuit.Proto

Methods

encode :: OpUnary -> Put

type Rep OpUnary

Defined in Auth.Biscuit.Proto

type Rep OpUnary = D1 ('MetaData "OpUnary" "Auth.Biscuit.Proto" "biscuit-haskell-0.2.1.0-inplace" 'True) (C1 ('MetaCons "OpUnary" 'PrefixI 'True) (S1 ('MetaSel ('Just "kind") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Required 1 (Enumeration UnaryKind)))))

data UnaryKind

Constructors

Negate

Parens

Length

Instances

Bounded UnaryKind

Defined in Auth.Biscuit.Proto

Methods

minBound :: UnaryKind

maxBound :: UnaryKind

Enum UnaryKind

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

Defined in Auth.Biscuit.Proto

Methods

showsPrec :: Int -> UnaryKind -> ShowS

show :: UnaryKind -> String

showList :: [UnaryKind] -> ShowS

newtype OpBinary

Constructors

OpBinary

Fields

• kind :: Required 1 (Enumeration BinaryKind)

Instances

Show OpBinary

Defined in Auth.Biscuit.Proto

Methods

showsPrec :: Int -> OpBinary -> ShowS

show :: OpBinary -> String

showList :: [OpBinary] -> ShowS

Generic OpBinary

Defined in Auth.Biscuit.Proto

Associated Types

type Rep OpBinary :: Type -> Type

Methods

from :: OpBinary -> Rep OpBinary x

to :: Rep OpBinary x -> OpBinary

Decode OpBinary

Defined in Auth.Biscuit.Proto

Methods

decode :: HashMap Tag [WireField] -> Get OpBinary

Encode OpBinary

Defined in Auth.Biscuit.Proto

Methods

encode :: OpBinary -> Put

type Rep OpBinary

Defined in Auth.Biscuit.Proto

type Rep OpBinary = D1 ('MetaData "OpBinary" "Auth.Biscuit.Proto" "biscuit-haskell-0.2.1.0-inplace" 'True) (C1 ('MetaCons "OpBinary" 'PrefixI 'True) (S1 ('MetaSel ('Just "kind") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Required 1 (Enumeration BinaryKind)))))

data BinaryKind

Constructors

LessThan

GreaterThan

LessOrEqual

GreaterOrEqual

Equal

Contains

Prefix

Suffix

Regex

Add

Sub

Mul

Div

And

Or

Intersection

Union

Instances

Bounded BinaryKind

Defined in Auth.Biscuit.Proto

Methods

minBound :: BinaryKind

maxBound :: BinaryKind

Enum BinaryKind

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

Defined in Auth.Biscuit.Proto

Methods

showsPrec :: Int -> BinaryKind -> ShowS

show :: BinaryKind -> String

showList :: [BinaryKind] -> ShowS

newtype OpTernary

Constructors

OpTernary

Fields

• kind :: Required 1 (Enumeration TernaryKind)

Instances

Show OpTernary

Defined in Auth.Biscuit.Proto

Methods

showsPrec :: Int -> OpTernary -> ShowS

show :: OpTernary -> String

showList :: [OpTernary] -> ShowS

Generic OpTernary

Defined in Auth.Biscuit.Proto

Associated Types

type Rep OpTernary :: Type -> Type

Methods

from :: OpTernary -> Rep OpTernary x

to :: Rep OpTernary x -> OpTernary

Decode OpTernary

Defined in Auth.Biscuit.Proto

Methods

decode :: HashMap Tag [WireField] -> Get OpTernary

Encode OpTernary

Defined in Auth.Biscuit.Proto

Methods

encode :: OpTernary -> Put

type Rep OpTernary

Defined in Auth.Biscuit.Proto

type Rep OpTernary = D1 ('MetaData "OpTernary" "Auth.Biscuit.Proto" "biscuit-haskell-0.2.1.0-inplace" 'True) (C1 ('MetaCons "OpTernary" 'PrefixI 'True) (S1 ('MetaSel ('Just "kind") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Required 1 (Enumeration TernaryKind)))))

data TernaryKind

Constructors

VerifyEd25519Signature

Instances

Bounded TernaryKind

Defined in Auth.Biscuit.Proto

Methods

minBound :: TernaryKind

maxBound :: TernaryKind

Enum TernaryKind

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

Defined in Auth.Biscuit.Proto

Methods

showsPrec :: Int -> TernaryKind -> ShowS

show :: TernaryKind -> String

showList :: [TernaryKind] -> ShowS

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

decodeBlock :: ByteString -> Either String Block

encodeBlockList :: Biscuit -> ByteString

encodeBlock :: Block -> ByteString