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)
}
data PublicKey = PublicKey {
- algorithm :: Required 1 (Enumeration Algorithm)
- key :: Required 2 (Value ByteString)
}
data Algorithm = Ed25519
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)
}
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)
}
newtype CheckV2 = CheckV2 {
- queries :: Repeated 1 (Message RuleV2)
}
data PredicateV2 = PredicateV2 {
- name :: Required 1 (Value Int64)
- terms :: Repeated 2 (Message TermV2)
}
data TermV2
- = TermVariable (Required 1 (Value Int32))
- | 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
newtype OpTernary = OpTernary {
- kind :: Required 1 (Enumeration TernaryKind)
}
data TernaryKind = VerifyEd25519Signature
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

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

Show Biscuit Source #
Instance details Defined in Auth.Biscuit.Proto Methods showsPrec :: Int -> Biscuit -> ShowS # show :: Biscuit -> String # showList :: [Biscuit] -> ShowS #
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 #
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.2.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)

Instances

Instances details

Show SignedBlock Source #
Instance details Defined in Auth.Biscuit.Proto Methods showsPrec :: Int -> SignedBlock -> ShowS # show :: SignedBlock -> String # showList :: [SignedBlock] -> ShowS #
Generic SignedBlock Source #
Instance details Defined in Auth.Biscuit.Proto Associated Types type Rep SignedBlock :: Type -> Type # Methods from :: SignedBlock -> Rep SignedBlock x # to :: Rep SignedBlock x -> SignedBlock #
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.2.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))))))

data PublicKey Source #

Constructors

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

Instances

Instances details

Show PublicKey Source #
Instance details Defined in Auth.Biscuit.Proto Methods showsPrec :: Int -> PublicKey -> ShowS # show :: PublicKey -> String # showList :: [PublicKey] -> ShowS #
Generic PublicKey Source #
Instance details Defined in Auth.Biscuit.Proto Associated Types type Rep PublicKey :: Type -> Type # Methods from :: PublicKey -> Rep PublicKey x # to :: Rep PublicKey x -> PublicKey #
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.2.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 Proof Source #

Constructors

ProofSecret (Required 1 (Value ByteString))
ProofSignature (Required 2 (Value ByteString))

Instances

Instances details

Show Proof Source #
Instance details Defined in Auth.Biscuit.Proto Methods showsPrec :: Int -> Proof -> ShowS # show :: Proof -> String # showList :: [Proof] -> ShowS #
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 #
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.2.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)

Instances

Instances details

Show Block Source #
Instance details Defined in Auth.Biscuit.Proto Methods showsPrec :: Int -> Block -> ShowS # show :: Block -> String # showList :: [Block] -> ShowS #
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 #
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.2.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)))))))

newtype FactV2 Source #

Constructors

FactV2
Fields predicate :: Required 1 (Message PredicateV2)

Instances

Instances details

Show FactV2 Source #
Instance details Defined in Auth.Biscuit.Proto Methods showsPrec :: Int -> FactV2 -> ShowS # show :: FactV2 -> String # showList :: [FactV2] -> ShowS #
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 #
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.2.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)

Instances

Instances details

Show RuleV2 Source #
Instance details Defined in Auth.Biscuit.Proto Methods showsPrec :: Int -> RuleV2 -> ShowS # show :: RuleV2 -> String # showList :: [RuleV2] -> ShowS #
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 #
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.2.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))))))

newtype CheckV2 Source #

Constructors

CheckV2
Fields queries :: Repeated 1 (Message RuleV2)

Instances

Instances details

Show CheckV2 Source #
Instance details Defined in Auth.Biscuit.Proto Methods showsPrec :: Int -> CheckV2 -> ShowS # show :: CheckV2 -> String # showList :: [CheckV2] -> ShowS #
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 #
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.2.0.0-inplace" 'True) (C1 ('MetaCons "CheckV2" 'PrefixI 'True) (S1 ('MetaSel ('Just "queries") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Repeated 1 (Message RuleV2)))))

data PredicateV2 Source #

Constructors

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

Instances

Instances details

Show PredicateV2 Source #
Instance details Defined in Auth.Biscuit.Proto Methods showsPrec :: Int -> PredicateV2 -> ShowS # show :: PredicateV2 -> String # showList :: [PredicateV2] -> ShowS #
Generic PredicateV2 Source #
Instance details Defined in Auth.Biscuit.Proto Associated Types type Rep PredicateV2 :: Type -> Type # Methods from :: PredicateV2 -> Rep PredicateV2 x # to :: Rep PredicateV2 x -> PredicateV2 #
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.2.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 Int32))
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

Show TermV2 Source #
Instance details Defined in Auth.Biscuit.Proto Methods showsPrec :: Int -> TermV2 -> ShowS # show :: TermV2 -> String # showList :: [TermV2] -> ShowS #
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 #
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.2.0.0-inplace" 'False) ((C1 ('MetaCons "TermVariable" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Required 1 (Value Int32)))) :+: (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

Show ExpressionV2 Source #
Instance details Defined in Auth.Biscuit.Proto Methods showsPrec :: Int -> ExpressionV2 -> ShowS # show :: ExpressionV2 -> String # showList :: [ExpressionV2] -> ShowS #
Generic ExpressionV2 Source #
Instance details Defined in Auth.Biscuit.Proto Associated Types type Rep ExpressionV2 :: Type -> Type # Methods from :: ExpressionV2 -> Rep ExpressionV2 x # to :: Rep ExpressionV2 x -> ExpressionV2 #
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.2.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

Show TermSet Source #
Instance details Defined in Auth.Biscuit.Proto Methods showsPrec :: Int -> TermSet -> ShowS # show :: TermSet -> String # showList :: [TermSet] -> ShowS #
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 #
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.2.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

Show Op Source #
Instance details Defined in Auth.Biscuit.Proto Methods showsPrec :: Int -> Op -> ShowS # show :: Op -> String # showList :: [Op] -> ShowS #
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 #
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.2.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

Show OpUnary Source #
Instance details Defined in Auth.Biscuit.Proto Methods showsPrec :: Int -> OpUnary -> ShowS # show :: OpUnary -> String # showList :: [OpUnary] -> ShowS #
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 #
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.2.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

Show OpBinary Source #
Instance details Defined in Auth.Biscuit.Proto Methods showsPrec :: Int -> OpBinary -> ShowS # show :: OpBinary -> String # showList :: [OpBinary] -> ShowS #
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 #
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.2.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

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

Show OpTernary Source #
Instance details Defined in Auth.Biscuit.Proto Methods showsPrec :: Int -> OpTernary -> ShowS # show :: OpTernary -> String # showList :: [OpTernary] -> ShowS #
Generic OpTernary Source #
Instance details Defined in Auth.Biscuit.Proto Associated Types type Rep OpTernary :: Type -> Type # Methods from :: OpTernary -> Rep OpTernary x # to :: Rep OpTernary x -> OpTernary #
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.2.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 #

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

Extract a value from it's Field representation.

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

Wrap it back up again.

decodeBlockList :: ByteString -> Either String Biscuit Source #

decodeBlock :: ByteString -> Either String Block Source #

encodeBlockList :: Biscuit -> ByteString Source #

encodeBlock :: Block -> ByteString Source #