Safe Haskell	None
Language	Haskell2010

Tahoe.Directory.Internal.Capability

Synopsis

newtype DirectoryCapability a = DirectoryCapability a
type Parser = Parsec Void Text
pVerifyCHK :: Parser (DirectoryCapability Verifier)
pReadCHK :: Parser (DirectoryCapability Reader)
pVerifySDMF :: Parser (DirectoryCapability Verifier)
pReadSDMF :: Parser (DirectoryCapability Reader)
pWriteSDMF :: Parser (DirectoryCapability Writer)

Documentation

newtype DirectoryCapability a Source #

A wrapper around some other capability type which signals that the plaintext is an encoded list of files.

Constructors

DirectoryCapability a

Instances

Instances details

Eq a => Eq (DirectoryCapability a) Source #
Instance details Defined in Tahoe.Directory.Internal.Capability Methods (==) :: DirectoryCapability a -> DirectoryCapability a -> Bool # (/=) :: DirectoryCapability a -> DirectoryCapability a -> Bool #
Ord a => Ord (DirectoryCapability a) Source #
Instance details Defined in Tahoe.Directory.Internal.Capability Methods compare :: DirectoryCapability a -> DirectoryCapability a -> Ordering # (<) :: DirectoryCapability a -> DirectoryCapability a -> Bool # (<=) :: DirectoryCapability a -> DirectoryCapability a -> Bool # (>) :: DirectoryCapability a -> DirectoryCapability a -> Bool # (>=) :: DirectoryCapability a -> DirectoryCapability a -> Bool # max :: DirectoryCapability a -> DirectoryCapability a -> DirectoryCapability a # min :: DirectoryCapability a -> DirectoryCapability a -> DirectoryCapability a #
Show a => Show (DirectoryCapability a) Source #
Instance details Defined in Tahoe.Directory.Internal.Capability Methods showsPrec :: Int -> DirectoryCapability a -> ShowS # show :: DirectoryCapability a -> String # showList :: [DirectoryCapability a] -> ShowS #
ConfidentialShowable (DirectoryCapability Reader) Source #
Instance details Defined in Tahoe.Directory.Internal.Capability Methods confidentiallyShow :: DirectoryCapability Reader -> Text
ConfidentialShowable (DirectoryCapability Verifier) Source #
Instance details Defined in Tahoe.Directory.Internal.Capability Methods confidentiallyShow :: DirectoryCapability Verifier -> Text
ConfidentialShowable (DirectoryCapability Reader) Source #
Instance details Defined in Tahoe.Directory.Internal.Capability Methods confidentiallyShow :: DirectoryCapability Reader -> Text
ConfidentialShowable (DirectoryCapability Verifier) Source #
Instance details Defined in Tahoe.Directory.Internal.Capability Methods confidentiallyShow :: DirectoryCapability Verifier -> Text
ConfidentialShowable (DirectoryCapability Writer) Source #
Instance details Defined in Tahoe.Directory.Internal.Capability Methods confidentiallyShow :: DirectoryCapability Writer -> Text

type Parser = Parsec Void Text Source #

pVerifyCHK :: Parser (DirectoryCapability Verifier) Source #

Parse a CHK directory verifier capability.

The implementation is a cheesy hack that does string substitution on the input before applying the original CHK verifier parser.

pReadCHK :: Parser (DirectoryCapability Reader) Source #

Parse a CHK directory reader capability.

The implementation is a cheesy hack that does string substitution on the input before applying the original CHK reader parser.

pVerifySDMF :: Parser (DirectoryCapability Verifier) Source #

Parse an SDMF directory verifier capability. As is the case for the other directory capability parsers, the implementation is cheesy.

pReadSDMF :: Parser (DirectoryCapability Reader) Source #

Parse an SDMF directory reader capability. As is the case for the other directory capability parsers, the implementation is cheesy.

pWriteSDMF :: Parser (DirectoryCapability Writer) Source #

Parse an SDMF directory writer capability. As is the case for the other directory capability parsers, the implementation is cheesy.