Safe Haskell	None
Language	Haskell2010

Voting.Protocol.Credential

Contents

Type Credential

Synopsis

newtype Credential = Credential Text
credentialAlphabet :: [Char]
tokenBase :: Int
tokenLength :: Int
randomCredential :: Monad m => RandomGen r => StateT r m Credential
readCredential :: Text -> Either ErrorToken Credential
data ErrorToken
newtype UUID = UUID Text
randomUUID :: Monad m => RandomGen r => StateT r m UUID
readUUID :: Text -> Either ErrorToken UUID
type SecretKey = E
randomSecretKey :: Reifies c FFC => Monad m => RandomGen r => StateT r m (SecretKey c)
credentialSecretKey :: Reifies c FFC => UUID -> Credential -> SecretKey c
type PublicKey = G
publicKey :: Reifies c FFC => SecretKey c -> PublicKey c

Type `Credential`

newtype Credential Source #

A Credential is a word of (tokenLength+1 == 15)-characters from a base alphabet of (tokenBase == 58) characters: "123456789ABCDEFGHJKLMNPQRSTUVWXYZabcdefghijkmnopqrstuvwxyz" (beware the absence of "0", "O", "I", and "l"). The last character is a checksum. The entropy is: (tokenLength * log tokenBase / log 2) == 82.01… bits.

Constructors

Credential Text

Instances

Eq Credential Source #
Instance details Defined in Voting.Protocol.Credential Methods (==) :: Credential -> Credential -> Bool # (/=) :: Credential -> Credential -> Bool #
Show Credential Source #
Instance details Defined in Voting.Protocol.Credential Methods showsPrec :: Int -> Credential -> ShowS # show :: Credential -> String # showList :: [Credential] -> ShowS #
Generic Credential Source #
Instance details Defined in Voting.Protocol.Credential Associated Types type Rep Credential :: Type -> Type # Methods from :: Credential -> Rep Credential x # to :: Rep Credential x -> Credential #
ToJSON Credential Source #
Instance details Defined in Voting.Protocol.Credential Methods toJSON :: Credential -> Value # toEncoding :: Credential -> Encoding # toJSONList :: [Credential] -> Value # toEncodingList :: [Credential] -> Encoding #
FromJSON Credential Source #
Instance details Defined in Voting.Protocol.Credential Methods parseJSON :: Value -> Parser Credential # parseJSONList :: Value -> Parser [Credential] #
NFData Credential Source #
Instance details Defined in Voting.Protocol.Credential Methods rnf :: Credential -> () #
type Rep Credential Source #
Instance details Defined in Voting.Protocol.Credential type Rep Credential = D1 (MetaData "Credential" "Voting.Protocol.Credential" "hjugement-protocol-0.0.0.20190519-C0jAKryjQbCA8A0oOhdfpH" True) (C1 (MetaCons "Credential" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)))

credentialAlphabet :: [Char] Source #

tokenBase :: Int Source #

tokenLength :: Int Source #

randomCredential :: Monad m => RandomGen r => StateT r m Credential Source #

randomCredential generates a random Credential.

readCredential :: Text -> Either ErrorToken Credential Source #

readCredential reads and check the well-formedness of a Credential from raw Text.

Type `ErrorToken`

data ErrorToken Source #

Constructors

ErrorToken_BadChar Char
ErrorToken_Checksum
ErrorToken_Length

Instances

Eq ErrorToken Source #
Instance details Defined in Voting.Protocol.Credential Methods (==) :: ErrorToken -> ErrorToken -> Bool # (/=) :: ErrorToken -> ErrorToken -> Bool #
Show ErrorToken Source #
Instance details Defined in Voting.Protocol.Credential Methods showsPrec :: Int -> ErrorToken -> ShowS # show :: ErrorToken -> String # showList :: [ErrorToken] -> ShowS #
Generic ErrorToken Source #
Instance details Defined in Voting.Protocol.Credential Associated Types type Rep ErrorToken :: Type -> Type # Methods from :: ErrorToken -> Rep ErrorToken x # to :: Rep ErrorToken x -> ErrorToken #
NFData ErrorToken Source #
Instance details Defined in Voting.Protocol.Credential Methods rnf :: ErrorToken -> () #
type Rep ErrorToken Source #
Instance details Defined in Voting.Protocol.Credential type Rep ErrorToken = D1 (MetaData "ErrorToken" "Voting.Protocol.Credential" "hjugement-protocol-0.0.0.20190519-C0jAKryjQbCA8A0oOhdfpH" False) (C1 (MetaCons "ErrorToken_BadChar" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Char)) :+: (C1 (MetaCons "ErrorToken_Checksum" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "ErrorToken_Length" PrefixI False) (U1 :: Type -> Type)))

Type `UUID`

newtype UUID Source #

Constructors

UUID Text

Instances

Eq UUID Source #
Instance details Defined in Voting.Protocol.Credential Methods (==) :: UUID -> UUID -> Bool # (/=) :: UUID -> UUID -> Bool #
Ord UUID Source #
Instance details Defined in Voting.Protocol.Credential Methods compare :: UUID -> UUID -> Ordering # (<) :: UUID -> UUID -> Bool # (<=) :: UUID -> UUID -> Bool # (>) :: UUID -> UUID -> Bool # (>=) :: UUID -> UUID -> Bool # max :: UUID -> UUID -> UUID # min :: UUID -> UUID -> UUID #
Show UUID Source #
Instance details Defined in Voting.Protocol.Credential Methods showsPrec :: Int -> UUID -> ShowS # show :: UUID -> String # showList :: [UUID] -> ShowS #
Generic UUID Source #
Instance details Defined in Voting.Protocol.Credential Associated Types type Rep UUID :: Type -> Type # Methods from :: UUID -> Rep UUID x # to :: Rep UUID x -> UUID #
ToJSON UUID Source #
Instance details Defined in Voting.Protocol.Credential Methods toJSON :: UUID -> Value # toEncoding :: UUID -> Encoding # toJSONList :: [UUID] -> Value # toEncodingList :: [UUID] -> Encoding #
FromJSON UUID Source #
Instance details Defined in Voting.Protocol.Credential Methods parseJSON :: Value -> Parser UUID # parseJSONList :: Value -> Parser [UUID] #
NFData UUID Source #
Instance details Defined in Voting.Protocol.Credential Methods rnf :: UUID -> () #
type Rep UUID Source #
Instance details Defined in Voting.Protocol.Credential type Rep UUID = D1 (MetaData "UUID" "Voting.Protocol.Credential" "hjugement-protocol-0.0.0.20190519-C0jAKryjQbCA8A0oOhdfpH" True) (C1 (MetaCons "UUID" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)))