Authenticator.Vault

Documentation

data Mode

Constructors

HOTP

TOTP

Instances

Show Mode

Methods

showsPrec :: Int -> Mode -> ShowS

show :: Mode -> String

showList :: [Mode] -> ShowS

Generic Mode

Associated Types

type Rep Mode :: * -> *

Methods

from :: Mode -> Rep Mode x

to :: Rep Mode x -> Mode

ToJSON Mode

Methods

toJSON :: Mode -> Value

toEncoding :: Mode -> Encoding

toJSONList :: [Mode] -> Value

toEncodingList :: [Mode] -> Encoding

Binary Mode

Methods

put :: Mode -> Put

get :: Get Mode

putList :: [Mode] -> Put

SingKind Mode

Associated Types

type DemoteRep Mode :: *

Methods

fromSing :: Sing Mode a -> DemoteRep Mode

toSing :: DemoteRep Mode -> SomeSing Mode

SingI Mode HOTP

Methods

sing :: Sing HOTP a

SingI Mode TOTP

Methods

sing :: Sing TOTP a

ToJSON (DSum Mode (Sing Mode) ((:&:) Mode Secret ModeState))

Methods

toJSON :: DSum Mode (Sing Mode) ((Mode :&: Secret) ModeState) -> Value

toEncoding :: DSum Mode (Sing Mode) ((Mode :&: Secret) ModeState) -> Encoding

toJSONList :: [DSum Mode (Sing Mode) ((Mode :&: Secret) ModeState)] -> Value

toEncodingList :: [DSum Mode (Sing Mode) ((Mode :&: Secret) ModeState)] -> Encoding

Binary (DSum Mode (Sing Mode) ((:&:) Mode Secret ModeState))

Methods

put :: DSum Mode (Sing Mode) ((Mode :&: Secret) ModeState) -> Put

get :: Get (DSum Mode (Sing Mode) ((Mode :&: Secret) ModeState))

putList :: [DSum Mode (Sing Mode) ((Mode :&: Secret) ModeState)] -> Put

type Rep Mode

type Rep Mode = D1 (MetaData "Mode" "Authenticator.Vault" "otp-authenticator-0.1.0.0-BSCTJlTxmg85yc13Q26PHJ" False) ((:+:) (C1 (MetaCons "HOTP" PrefixI False) U1) (C1 (MetaCons "TOTP" PrefixI False) U1))

data Sing Mode

data Sing Mode where

• SHOTP :: Sing Mode z
• STOTP :: Sing Mode z

type DemoteRep Mode

type DemoteRep Mode = Mode

data family Sing k (a :: k) :: *

The singleton kind-indexed data family.

Instances

ToJSON (DSum Mode (Sing Mode) ((:&:) Mode Secret ModeState))

Methods

toJSON :: DSum Mode (Sing Mode) ((Mode :&: Secret) ModeState) -> Value

toEncoding :: DSum Mode (Sing Mode) ((Mode :&: Secret) ModeState) -> Encoding

toJSONList :: [DSum Mode (Sing Mode) ((Mode :&: Secret) ModeState)] -> Value

toEncodingList :: [DSum Mode (Sing Mode) ((Mode :&: Secret) ModeState)] -> Encoding

Binary (DSum Mode (Sing Mode) ((:&:) Mode Secret ModeState))

Methods

put :: DSum Mode (Sing Mode) ((Mode :&: Secret) ModeState) -> Put

get :: Get (DSum Mode (Sing Mode) ((Mode :&: Secret) ModeState))

putList :: [DSum Mode (Sing Mode) ((Mode :&: Secret) ModeState)] -> Put

data Sing Bool

data Sing Bool where

• SFalse :: Sing Bool z0
• STrue :: Sing Bool z0

data Sing Ordering

data Sing Ordering where

• SLT :: Sing Ordering z0
• SEQ :: Sing Ordering z0
• SGT :: Sing Ordering z0

data Sing Nat

data Sing Nat where

• SNat :: Sing Nat n

data Sing Symbol

data Sing Symbol where

• SSym :: Sing Symbol n

data Sing ()

data Sing () where

• STuple0 :: Sing () z0

data Sing Mode

data Sing Mode where

• SHOTP :: Sing Mode z
• STOTP :: Sing Mode z

data Sing [a0]

data Sing [a0] where

• SNil :: Sing [a0] z0
• SCons :: Sing [a0] z0

data Sing (Maybe a0)

data Sing (Maybe a0) where

• SNothing :: Sing (Maybe a0) z0
• SJust :: Sing (Maybe a0) z0

data Sing (NonEmpty a0)

data Sing (NonEmpty a0) where

• (:%|) :: Sing (NonEmpty a0) z0

data Sing (Either a0 b0)

data Sing (Either a0 b0) where

• SLeft :: Sing (Either a0 b0) z0
• SRight :: Sing (Either a0 b0) z0

data Sing (a0, b0)

data Sing (a0, b0) where

• STuple2 :: Sing (a0, b0) z0

data Sing ((~>) k1 k2)

data Sing ((~>) k1 k2) = SLambda {

• applySing :: forall t. Sing k1 t -> Sing k2 ((@@) k1 k2 f t)

}

data Sing (a0, b0, c0)

data Sing (a0, b0, c0) where

• STuple3 :: Sing (a0, b0, c0) z0

data Sing (a0, b0, c0, d0)

data Sing (a0, b0, c0, d0) where

• STuple4 :: Sing (a0, b0, c0, d0) z0

data Sing (a0, b0, c0, d0, e0)

data Sing (a0, b0, c0, d0, e0) where

• STuple5 :: Sing (a0, b0, c0, d0, e0) z0

data Sing (a0, b0, c0, d0, e0, f0)

data Sing (a0, b0, c0, d0, e0, f0) where

• STuple6 :: Sing (a0, b0, c0, d0, e0, f0) z0

data Sing (a0, b0, c0, d0, e0, f0, g0)

data Sing (a0, b0, c0, d0, e0, f0, g0) where

• STuple7 :: Sing (a0, b0, c0, d0, e0, f0, g0) z0

type SMode = (Sing :: Mode -> Type)

type HOTPSym0 = HOTP

type TOTPSym0 = TOTP

data HashAlgo

Constructors

HASHA1

HASHA256

HASHA512

Instances

Show HashAlgo

Methods

showsPrec :: Int -> HashAlgo -> ShowS

show :: HashAlgo -> String

showList :: [HashAlgo] -> ShowS

Generic HashAlgo

Associated Types

type Rep HashAlgo :: * -> *

Methods

from :: HashAlgo -> Rep HashAlgo x

to :: Rep HashAlgo x -> HashAlgo

ToJSON HashAlgo

Methods

toJSON :: HashAlgo -> Value

toEncoding :: HashAlgo -> Encoding

toJSONList :: [HashAlgo] -> Value

toEncodingList :: [HashAlgo] -> Encoding

Binary HashAlgo

Methods

put :: HashAlgo -> Put

get :: Get HashAlgo

putList :: [HashAlgo] -> Put

type Rep HashAlgo

type Rep HashAlgo = D1 (MetaData "HashAlgo" "Authenticator.Vault" "otp-authenticator-0.1.0.0-BSCTJlTxmg85yc13Q26PHJ" False) ((:+:) (C1 (MetaCons "HASHA1" PrefixI False) U1) ((:+:) (C1 (MetaCons "HASHA256" PrefixI False) U1) (C1 (MetaCons "HASHA512" PrefixI False) U1)))

parseAlgo :: String -> Maybe HashAlgo

data Secret :: Mode -> Type where

Constructors

Sec :: {..} -> Secret m

Fields

• secAccount :: Text
• secIssuer :: Maybe Text
• secAlgo :: HashAlgo
• secDigits :: Word
• secKey :: ByteString

Instances

Show (Secret a)

Methods

showsPrec :: Int -> Secret a -> ShowS

show :: Secret a -> String

showList :: [Secret a] -> ShowS

Generic (Secret a)

Associated Types

type Rep (Secret a) :: * -> *

Methods

from :: Secret a -> Rep (Secret a) x

to :: Rep (Secret a) x -> Secret a

ToJSON (Secret m)

Methods

toJSON :: Secret m -> Value

toEncoding :: Secret m -> Encoding

toJSONList :: [Secret m] -> Value

toEncodingList :: [Secret m] -> Encoding

Binary (Secret m)

Methods

put :: Secret m -> Put

get :: Get (Secret m)

putList :: [Secret m] -> Put

ToJSON (DSum Mode (Sing Mode) ((:&:) Mode Secret ModeState))

Methods

toJSON :: DSum Mode (Sing Mode) ((Mode :&: Secret) ModeState) -> Value

toEncoding :: DSum Mode (Sing Mode) ((Mode :&: Secret) ModeState) -> Encoding

toJSONList :: [DSum Mode (Sing Mode) ((Mode :&: Secret) ModeState)] -> Value

toEncodingList :: [DSum Mode (Sing Mode) ((Mode :&: Secret) ModeState)] -> Encoding

Binary (DSum Mode (Sing Mode) ((:&:) Mode Secret ModeState))

Methods

put :: DSum Mode (Sing Mode) ((Mode :&: Secret) ModeState) -> Put

get :: Get (DSum Mode (Sing Mode) ((Mode :&: Secret) ModeState))

putList :: [DSum Mode (Sing Mode) ((Mode :&: Secret) ModeState)] -> Put

type Rep (Secret a)

type Rep (Secret a) = D1 (MetaData "Secret" "Authenticator.Vault" "otp-authenticator-0.1.0.0-BSCTJlTxmg85yc13Q26PHJ" False) (C1 (MetaCons "Sec" PrefixI True) ((:*:) ((:*:) (S1 (MetaSel (Just Symbol "secAccount") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)) (S1 (MetaSel (Just Symbol "secIssuer") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text)))) ((:*:) (S1 (MetaSel (Just Symbol "secAlgo") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 HashAlgo)) ((:*:) (S1 (MetaSel (Just Symbol "secDigits") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word)) (S1 (MetaSel (Just Symbol "secKey") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ByteString))))))

data family ModeState :: Mode -> Type

Instances

Show (ModeState HOTP)

Methods

showsPrec :: Int -> ModeState HOTP -> ShowS

show :: ModeState HOTP -> String

showList :: [ModeState HOTP] -> ShowS

Show (ModeState TOTP)

Methods

showsPrec :: Int -> ModeState TOTP -> ShowS

show :: ModeState TOTP -> String

showList :: [ModeState TOTP] -> ShowS

Generic (ModeState HOTP)

Associated Types

type Rep (ModeState HOTP) :: * -> *

Methods

from :: ModeState HOTP -> Rep (ModeState HOTP) x

to :: Rep (ModeState HOTP) x -> ModeState HOTP

Generic (ModeState TOTP)

Associated Types

type Rep (ModeState TOTP) :: * -> *

Methods

from :: ModeState TOTP -> Rep (ModeState TOTP) x

to :: Rep (ModeState TOTP) x -> ModeState TOTP

ToJSON (ModeState HOTP)

Methods

toJSON :: ModeState HOTP -> Value

toEncoding :: ModeState HOTP -> Encoding

toJSONList :: [ModeState HOTP] -> Value

toEncodingList :: [ModeState HOTP] -> Encoding

ToJSON (ModeState TOTP)

Methods

toJSON :: ModeState TOTP -> Value

toEncoding :: ModeState TOTP -> Encoding

toJSONList :: [ModeState TOTP] -> Value

toEncodingList :: [ModeState TOTP] -> Encoding

Binary (ModeState HOTP)

Methods

put :: ModeState HOTP -> Put

get :: Get (ModeState HOTP)

putList :: [ModeState HOTP] -> Put

Binary (ModeState TOTP)

Methods

put :: ModeState TOTP -> Put

get :: Get (ModeState TOTP)

putList :: [ModeState TOTP] -> Put

ToJSON (DSum Mode (Sing Mode) ((:&:) Mode Secret ModeState))

Methods

toJSON :: DSum Mode (Sing Mode) ((Mode :&: Secret) ModeState) -> Value

toEncoding :: DSum Mode (Sing Mode) ((Mode :&: Secret) ModeState) -> Encoding

toJSONList :: [DSum Mode (Sing Mode) ((Mode :&: Secret) ModeState)] -> Value

toEncodingList :: [DSum Mode (Sing Mode) ((Mode :&: Secret) ModeState)] -> Encoding

Binary (DSum Mode (Sing Mode) ((:&:) Mode Secret ModeState))

Methods

put :: DSum Mode (Sing Mode) ((Mode :&: Secret) ModeState) -> Put

get :: Get (DSum Mode (Sing Mode) ((Mode :&: Secret) ModeState))

putList :: [DSum Mode (Sing Mode) ((Mode :&: Secret) ModeState)] -> Put

data ModeState HOTP

data ModeState HOTP = HOTPState {

• hotpCounter :: Word64

}

data ModeState TOTP

data ModeState TOTP = TOTPState

type Rep (ModeState HOTP)

type Rep (ModeState HOTP) = D1 (MetaData "ModeState" "Authenticator.Vault" "otp-authenticator-0.1.0.0-BSCTJlTxmg85yc13Q26PHJ" False) (C1 (MetaCons "HOTPState" PrefixI True) (S1 (MetaSel (Just Symbol "hotpCounter") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word64)))

type Rep (ModeState TOTP)

type Rep (ModeState TOTP) = D1 (MetaData "ModeState" "Authenticator.Vault" "otp-authenticator-0.1.0.0-BSCTJlTxmg85yc13Q26PHJ" False) (C1 (MetaCons "TOTPState" PrefixI False) U1)

data Vault

Constructors

Vault

Fields

• vaultList :: [DSum Sing (Secret :&: ModeState)]

Instances

Generic Vault

Associated Types

type Rep Vault :: * -> *

Methods

from :: Vault -> Rep Vault x

to :: Rep Vault x -> Vault

ToJSON Vault

Methods

toJSON :: Vault -> Value

toEncoding :: Vault -> Encoding

toJSONList :: [Vault] -> Value

toEncodingList :: [Vault] -> Encoding

Binary Vault

Methods

put :: Vault -> Put

get :: Get Vault

putList :: [Vault] -> Put

type Rep Vault

type Rep Vault = D1 (MetaData "Vault" "Authenticator.Vault" "otp-authenticator-0.1.0.0-BSCTJlTxmg85yc13Q26PHJ" False) (C1 (MetaCons "Vault" PrefixI True) (S1 (MetaSel (Just Symbol "vaultList") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [DSum Mode (Sing Mode) ((:&:) Mode Secret ModeState)])))

_Vault :: Functor f => ([DSum Sing (Secret :&: ModeState)] -> f [DSum Sing (Secret :&: ModeState)]) -> Vault -> f Vault

hotp :: Secret HOTP -> ModeState HOTP -> (Text, ModeState HOTP)

totp :: Secret TOTP -> IO Text

totp_ :: Secret TOTP -> UTCTime -> Text

otp :: forall m. SingI m => Secret m -> ModeState m -> IO (Text, ModeState m)

someotp :: DSum Sing (Secret :&: ModeState) -> IO (Text, DSum Sing (Secret :&: ModeState))

someSecret :: Functor f => (forall m. SingI m => Secret m -> ModeState m -> f (ModeState m)) -> DSum Sing (Secret :&: ModeState) -> f (DSum Sing (Secret :&: ModeState))

vaultSecrets :: Applicative f => (forall m. SingI m => Secret m -> ModeState m -> f (ModeState m)) -> Vault -> f Vault

describeSecret :: Secret m -> Text

secretURI :: Parser (DSum Sing (Secret :&: ModeState))

parseSecretURI :: String -> Either String (DSum Sing (Secret :&: ModeState))

Orphan instances

(Functor f, Functor g) => Functor ((:.:) * * f g)

Methods

fmap :: (a -> b) -> (* :.: *) f g a -> (* :.: *) f g b

(<$) :: a -> (* :.: *) f g b -> (* :.: *) f g a