Auth.Biscuit.Proto

Haskell data structures mapping the biscuit protobuf definitions

Documentation

data Biscuit

Constructors

Biscuit

Fields

• authority :: Required 1 (Value ByteString)
• blocks :: Repeated 2 (Value ByteString)
• keys :: Repeated 3 (Value ByteString)
• signature :: Required 4 (Message Signature)

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

Constructors

Signature

Fields

• parameters :: Repeated 1 (Value ByteString)
• z :: Required 2 (Value ByteString)

Instances

Show Signature

Defined in Auth.Biscuit.Proto

Methods

showsPrec :: Int -> Signature -> ShowS

show :: Signature -> String

showList :: [Signature] -> ShowS

Generic Signature

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

Defined in Auth.Biscuit.Proto

Methods

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

Encode Signature

Defined in Auth.Biscuit.Proto

Methods

encode :: Signature -> Put

type Rep Signature

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

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

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

Constructors

FactV1

Fields

• predicate :: Required 1 (Message PredicateV1)

Instances

Show FactV1

Defined in Auth.Biscuit.Proto

Methods

showsPrec :: Int -> FactV1 -> ShowS

show :: FactV1 -> String

showList :: [FactV1] -> ShowS

Generic FactV1

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

Defined in Auth.Biscuit.Proto

Methods

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

Encode FactV1

Defined in Auth.Biscuit.Proto

Methods

encode :: FactV1 -> Put

type Rep FactV1

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

Constructors

RuleV1

Fields

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

Instances

Show RuleV1

Defined in Auth.Biscuit.Proto

Methods

showsPrec :: Int -> RuleV1 -> ShowS

show :: RuleV1 -> String

showList :: [RuleV1] -> ShowS

Generic RuleV1

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

Defined in Auth.Biscuit.Proto

Methods

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

Encode RuleV1

Defined in Auth.Biscuit.Proto

Methods

encode :: RuleV1 -> Put

type Rep RuleV1

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

Constructors

CheckV1

Fields

• queries :: Repeated 1 (Message RuleV1)

Instances

Show CheckV1

Defined in Auth.Biscuit.Proto

Methods

showsPrec :: Int -> CheckV1 -> ShowS

show :: CheckV1 -> String

showList :: [CheckV1] -> ShowS

Generic CheckV1

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

Defined in Auth.Biscuit.Proto

Methods

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

Encode CheckV1

Defined in Auth.Biscuit.Proto

Methods

encode :: CheckV1 -> Put

type Rep CheckV1

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

Constructors

PredicateV1

Fields

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

Instances

Show PredicateV1

Defined in Auth.Biscuit.Proto

Methods

showsPrec :: Int -> PredicateV1 -> ShowS

show :: PredicateV1 -> String

showList :: [PredicateV1] -> ShowS

Generic PredicateV1

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

Defined in Auth.Biscuit.Proto

Methods

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

Encode PredicateV1

Defined in Auth.Biscuit.Proto

Methods

encode :: PredicateV1 -> Put

type Rep PredicateV1

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

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

Show IDV1

Defined in Auth.Biscuit.Proto

Methods

showsPrec :: Int -> IDV1 -> ShowS

show :: IDV1 -> String

showList :: [IDV1] -> ShowS

Generic IDV1

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

Defined in Auth.Biscuit.Proto

Methods

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

Encode IDV1

Defined in Auth.Biscuit.Proto

Methods

encode :: IDV1 -> Put

type Rep IDV1

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

Constructors

ExpressionV1

Fields

• ops :: Repeated 1 (Message Op)

Instances

Show ExpressionV1

Defined in Auth.Biscuit.Proto

Methods

showsPrec :: Int -> ExpressionV1 -> ShowS

show :: ExpressionV1 -> String

showList :: [ExpressionV1] -> ShowS

Generic ExpressionV1

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

Defined in Auth.Biscuit.Proto

Methods

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

Encode ExpressionV1

Defined in Auth.Biscuit.Proto

Methods

encode :: ExpressionV1 -> Put

type Rep ExpressionV1

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

Constructors

IDSet

Fields

• set :: Repeated 1 (Message IDV1)

Instances

Show IDSet

Defined in Auth.Biscuit.Proto

Methods

showsPrec :: Int -> IDSet -> ShowS

show :: IDSet -> String

showList :: [IDSet] -> ShowS

Generic IDSet

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

Defined in Auth.Biscuit.Proto

Methods

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

Encode IDSet

Defined in Auth.Biscuit.Proto

Methods

encode :: IDSet -> Put

type Rep IDSet

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

Constructors

OpVValue (Required 1 (Message IDV1))

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

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

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