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 {
- authority :: Required 1 (Value ByteString)
- blocks :: Repeated 2 (Value ByteString)
- keys :: Repeated 3 (Value ByteString)
- signature :: Required 4 (Message Signature)
}
data Signature = Signature {
- parameters :: Repeated 1 (Value ByteString)
- z :: Required 2 (Value ByteString)
}
data Block = Block {
- index :: Required 1 (Value Int32)
- symbols :: Repeated 2 (Value Text)
- context :: Optional 6 (Value Text)
- version :: Optional 7 (Value Int32)
- facts_v1 :: Repeated 8 (Message FactV1)
- rules_v1 :: Repeated 9 (Message RuleV1)
- checks_v1 :: Repeated 10 (Message CheckV1)
}
newtype FactV1 = FactV1 {
- predicate :: Required 1 (Message PredicateV1)
}
data RuleV1 = RuleV1 {
- head :: Required 1 (Message PredicateV1)
- body :: Repeated 2 (Message PredicateV1)
- expressions :: Repeated 3 (Message ExpressionV1)
}
newtype CheckV1 = CheckV1 {
- queries :: Repeated 1 (Message RuleV1)
}
data PredicateV1 = PredicateV1 {
- name :: Required 1 (Value Int64)
- ids :: Repeated 2 (Message IDV1)
}
data IDV1
- = IDSymbol (Required 1 (Value Int64))
- | IDVariable (Required 2 (Value Int32))
- | IDInteger (Required 3 (Value Int64))
- | IDString (Required 4 (Value Text))
- | IDDate (Required 5 (Value Int64))
- | IDBytes (Required 6 (Value ByteString))
- | IDBool (Required 7 (Value Bool))
- | IDIDSet (Required 8 (Message IDSet))
newtype ExpressionV1 = ExpressionV1 {
- ops :: Repeated 1 (Message Op)
}
newtype IDSet = IDSet {
- set :: Repeated 1 (Message IDV1)
}
data Op
- = OpVValue (Required 1 (Message IDV1))
- | 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
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 authority :: Required 1 (Value ByteString) blocks :: Repeated 2 (Value ByteString) keys :: Repeated 3 (Value ByteString) signature :: Required 4 (Message Signature)

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.1.1.0-inplace" 'False) (C1 ('MetaCons "Biscuit" 'PrefixI 'True) ((S1 ('MetaSel ('Just "authority") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Required 1 (Value ByteString))) :: S1 ('MetaSel ('Just "blocks") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Repeated 2 (Value ByteString)))) :: (S1 ('MetaSel ('Just "keys") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Repeated 3 (Value ByteString))) :*: S1 ('MetaSel ('Just "signature") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Required 4 (Message Signature))))))

data Signature Source #

Constructors

Signature
Fields parameters :: Repeated 1 (Value ByteString) z :: Required 2 (Value ByteString)

Instances

Instances details

Show Signature Source #
Instance details Defined in Auth.Biscuit.Proto Methods showsPrec :: Int -> Signature -> ShowS # show :: Signature -> String # showList :: [Signature] -> ShowS #
Generic Signature Source #
Instance details Defined in Auth.Biscuit.Proto Associated Types type Rep Signature :: Type -> Type # Methods from :: Signature -> Rep Signature x # to :: Rep Signature x -> Signature #
Decode Signature Source #
Instance details Defined in Auth.Biscuit.Proto Methods decode :: HashMap Tag [WireField] -> Get Signature #
Encode Signature Source #
Instance details Defined in Auth.Biscuit.Proto Methods encode :: Signature -> Put #
type Rep Signature Source #
Instance details Defined in Auth.Biscuit.Proto type Rep Signature = D1 ('MetaData "Signature" "Auth.Biscuit.Proto" "biscuit-haskell-0.1.1.0-inplace" 'False) (C1 ('MetaCons "Signature" 'PrefixI 'True) (S1 ('MetaSel ('Just "parameters") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Repeated 1 (Value ByteString))) :*: S1 ('MetaSel ('Just "z") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Required 2 (Value ByteString)))))

data Block Source #

Constructors

Block
Fields index :: Required 1 (Value Int32) symbols :: Repeated 2 (Value Text) context :: Optional 6 (Value Text) version :: Optional 7 (Value Int32) facts_v1 :: Repeated 8 (Message FactV1) rules_v1 :: Repeated 9 (Message RuleV1) checks_v1 :: Repeated 10 (Message CheckV1)

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.1.1.0-inplace" 'False) (C1 ('MetaCons "Block" 'PrefixI 'True) ((S1 ('MetaSel ('Just "index") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Required 1 (Value Int32))) :: (S1 ('MetaSel ('Just "symbols") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Repeated 2 (Value Text))) :: S1 ('MetaSel ('Just "context") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Optional 6 (Value Text))))) :: ((S1 ('MetaSel ('Just "version") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Optional 7 (Value Int32))) :: S1 ('MetaSel ('Just "facts_v1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Repeated 8 (Message FactV1)))) :: (S1 ('MetaSel ('Just "rules_v1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Repeated 9 (Message RuleV1))) :: S1 ('MetaSel ('Just "checks_v1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Repeated 10 (Message CheckV1)))))))

newtype FactV1 Source #

Constructors

FactV1
Fields predicate :: Required 1 (Message PredicateV1)

Instances

Instances details

Show FactV1 Source #
Instance details Defined in Auth.Biscuit.Proto Methods showsPrec :: Int -> FactV1 -> ShowS # show :: FactV1 -> String # showList :: [FactV1] -> ShowS #
Generic FactV1 Source #
Instance details Defined in Auth.Biscuit.Proto Associated Types type Rep FactV1 :: Type -> Type # Methods from :: FactV1 -> Rep FactV1 x # to :: Rep FactV1 x -> FactV1 #
Decode FactV1 Source #
Instance details Defined in Auth.Biscuit.Proto Methods decode :: HashMap Tag [WireField] -> Get FactV1 #
Encode FactV1 Source #
Instance details Defined in Auth.Biscuit.Proto Methods encode :: FactV1 -> Put #
type Rep FactV1 Source #
Instance details Defined in Auth.Biscuit.Proto type Rep FactV1 = D1 ('MetaData "FactV1" "Auth.Biscuit.Proto" "biscuit-haskell-0.1.1.0-inplace" 'True) (C1 ('MetaCons "FactV1" 'PrefixI 'True) (S1 ('MetaSel ('Just "predicate") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Required 1 (Message PredicateV1)))))

data RuleV1 Source #

Constructors

RuleV1
Fields head :: Required 1 (Message PredicateV1) body :: Repeated 2 (Message PredicateV1) expressions :: Repeated 3 (Message ExpressionV1)

Instances

Instances details

Show RuleV1 Source #
Instance details Defined in Auth.Biscuit.Proto Methods showsPrec :: Int -> RuleV1 -> ShowS # show :: RuleV1 -> String # showList :: [RuleV1] -> ShowS #
Generic RuleV1 Source #
Instance details Defined in Auth.Biscuit.Proto Associated Types type Rep RuleV1 :: Type -> Type # Methods from :: RuleV1 -> Rep RuleV1 x # to :: Rep RuleV1 x -> RuleV1 #
Decode RuleV1 Source #
Instance details Defined in Auth.Biscuit.Proto Methods decode :: HashMap Tag [WireField] -> Get RuleV1 #
Encode RuleV1 Source #
Instance details Defined in Auth.Biscuit.Proto Methods encode :: RuleV1 -> Put #
type Rep RuleV1 Source #
Instance details Defined in Auth.Biscuit.Proto type Rep RuleV1 = D1 ('MetaData "RuleV1" "Auth.Biscuit.Proto" "biscuit-haskell-0.1.1.0-inplace" 'False) (C1 ('MetaCons "RuleV1" 'PrefixI 'True) (S1 ('MetaSel ('Just "head") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Required 1 (Message PredicateV1))) :: (S1 ('MetaSel ('Just "body") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Repeated 2 (Message PredicateV1))) :: S1 ('MetaSel ('Just "expressions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Repeated 3 (Message ExpressionV1))))))

newtype CheckV1 Source #

Constructors

CheckV1
Fields queries :: Repeated 1 (Message RuleV1)

Instances

Instances details

Show CheckV1 Source #
Instance details Defined in Auth.Biscuit.Proto Methods showsPrec :: Int -> CheckV1 -> ShowS # show :: CheckV1 -> String # showList :: [CheckV1] -> ShowS #
Generic CheckV1 Source #
Instance details Defined in Auth.Biscuit.Proto Associated Types type Rep CheckV1 :: Type -> Type # Methods from :: CheckV1 -> Rep CheckV1 x # to :: Rep CheckV1 x -> CheckV1 #
Decode CheckV1 Source #
Instance details Defined in Auth.Biscuit.Proto Methods decode :: HashMap Tag [WireField] -> Get CheckV1 #
Encode CheckV1 Source #
Instance details Defined in Auth.Biscuit.Proto Methods encode :: CheckV1 -> Put #
type Rep CheckV1 Source #
Instance details Defined in Auth.Biscuit.Proto type Rep CheckV1 = D1 ('MetaData "CheckV1" "Auth.Biscuit.Proto" "biscuit-haskell-0.1.1.0-inplace" 'True) (C1 ('MetaCons "CheckV1" 'PrefixI 'True) (S1 ('MetaSel ('Just "queries") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Repeated 1 (Message RuleV1)))))

data PredicateV1 Source #

Constructors

PredicateV1
Fields name :: Required 1 (Value Int64) ids :: Repeated 2 (Message IDV1)

Instances

Instances details

Show PredicateV1 Source #
Instance details Defined in Auth.Biscuit.Proto Methods showsPrec :: Int -> PredicateV1 -> ShowS # show :: PredicateV1 -> String # showList :: [PredicateV1] -> ShowS #
Generic PredicateV1 Source #
Instance details Defined in Auth.Biscuit.Proto Associated Types type Rep PredicateV1 :: Type -> Type # Methods from :: PredicateV1 -> Rep PredicateV1 x # to :: Rep PredicateV1 x -> PredicateV1 #
Decode PredicateV1 Source #
Instance details Defined in Auth.Biscuit.Proto Methods decode :: HashMap Tag [WireField] -> Get PredicateV1 #
Encode PredicateV1 Source #
Instance details Defined in Auth.Biscuit.Proto Methods encode :: PredicateV1 -> Put #
type Rep PredicateV1 Source #
Instance details Defined in Auth.Biscuit.Proto type Rep PredicateV1 = D1 ('MetaData "PredicateV1" "Auth.Biscuit.Proto" "biscuit-haskell-0.1.1.0-inplace" 'False) (C1 ('MetaCons "PredicateV1" 'PrefixI 'True) (S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Required 1 (Value Int64))) :*: S1 ('MetaSel ('Just "ids") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Repeated 2 (Message IDV1)))))

data IDV1 Source #

Constructors

IDSymbol (Required 1 (Value Int64))
IDVariable (Required 2 (Value Int32))
IDInteger (Required 3 (Value Int64))
IDString (Required 4 (Value Text))
IDDate (Required 5 (Value Int64))
IDBytes (Required 6 (Value ByteString))
IDBool (Required 7 (Value Bool))
IDIDSet (Required 8 (Message IDSet))

Instances

Instances details

Show IDV1 Source #
Instance details Defined in Auth.Biscuit.Proto Methods showsPrec :: Int -> IDV1 -> ShowS # show :: IDV1 -> String # showList :: [IDV1] -> ShowS #
Generic IDV1 Source #
Instance details Defined in Auth.Biscuit.Proto Associated Types type Rep IDV1 :: Type -> Type # Methods from :: IDV1 -> Rep IDV1 x # to :: Rep IDV1 x -> IDV1 #
Decode IDV1 Source #
Instance details Defined in Auth.Biscuit.Proto Methods decode :: HashMap Tag [WireField] -> Get IDV1 #
Encode IDV1 Source #
Instance details Defined in Auth.Biscuit.Proto Methods encode :: IDV1 -> Put #
type Rep IDV1 Source #
Instance details Defined in Auth.Biscuit.Proto type Rep IDV1 = D1 ('MetaData "IDV1" "Auth.Biscuit.Proto" "biscuit-haskell-0.1.1.0-inplace" 'False) (((C1 ('MetaCons "IDSymbol" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Required 1 (Value Int64)))) :+: C1 ('MetaCons "IDVariable" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Required 2 (Value Int32))))) :+: (C1 ('MetaCons "IDInteger" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Required 3 (Value Int64)))) :+: C1 ('MetaCons "IDString" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Required 4 (Value Text)))))) :+: ((C1 ('MetaCons "IDDate" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Required 5 (Value Int64)))) :+: C1 ('MetaCons "IDBytes" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Required 6 (Value ByteString))))) :+: (C1 ('MetaCons "IDBool" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Required 7 (Value Bool)))) :+: C1 ('MetaCons "IDIDSet" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Required 8 (Message IDSet)))))))

newtype ExpressionV1 Source #

Constructors

ExpressionV1
Fields ops :: Repeated 1 (Message Op)

Instances

Instances details

Show ExpressionV1 Source #
Instance details Defined in Auth.Biscuit.Proto Methods showsPrec :: Int -> ExpressionV1 -> ShowS # show :: ExpressionV1 -> String # showList :: [ExpressionV1] -> ShowS #
Generic ExpressionV1 Source #
Instance details Defined in Auth.Biscuit.Proto Associated Types type Rep ExpressionV1 :: Type -> Type # Methods from :: ExpressionV1 -> Rep ExpressionV1 x # to :: Rep ExpressionV1 x -> ExpressionV1 #
Decode ExpressionV1 Source #
Instance details Defined in Auth.Biscuit.Proto Methods decode :: HashMap Tag [WireField] -> Get ExpressionV1 #
Encode ExpressionV1 Source #
Instance details Defined in Auth.Biscuit.Proto Methods encode :: ExpressionV1 -> Put #
type Rep ExpressionV1 Source #
Instance details Defined in Auth.Biscuit.Proto type Rep ExpressionV1 = D1 ('MetaData "ExpressionV1" "Auth.Biscuit.Proto" "biscuit-haskell-0.1.1.0-inplace" 'True) (C1 ('MetaCons "ExpressionV1" 'PrefixI 'True) (S1 ('MetaSel ('Just "ops") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Repeated 1 (Message Op)))))

newtype IDSet Source #

Constructors

IDSet
Fields set :: Repeated 1 (Message IDV1)

Instances

Instances details

Show IDSet Source #
Instance details Defined in Auth.Biscuit.Proto Methods showsPrec :: Int -> IDSet -> ShowS # show :: IDSet -> String # showList :: [IDSet] -> ShowS #
Generic IDSet Source #
Instance details Defined in Auth.Biscuit.Proto Associated Types type Rep IDSet :: Type -> Type # Methods from :: IDSet -> Rep IDSet x # to :: Rep IDSet x -> IDSet #
Decode IDSet Source #
Instance details Defined in Auth.Biscuit.Proto Methods decode :: HashMap Tag [WireField] -> Get IDSet #
Encode IDSet Source #
Instance details Defined in Auth.Biscuit.Proto Methods encode :: IDSet -> Put #
type Rep IDSet Source #
Instance details Defined in Auth.Biscuit.Proto type Rep IDSet = D1 ('MetaData "IDSet" "Auth.Biscuit.Proto" "biscuit-haskell-0.1.1.0-inplace" 'True) (C1 ('MetaCons "IDSet" 'PrefixI 'True) (S1 ('MetaSel ('Just "set") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Repeated 1 (Message IDV1)))))

data Op Source #

Constructors

OpVValue (Required 1 (Message IDV1))
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.1.1.0-inplace" 'False) (C1 ('MetaCons "OpVValue" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Required 1 (Message IDV1)))) :+: (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.1.1.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.1.1.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 #

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 #