Data.KeyStore.KS.KS

Documentation

data KS a

Instances

Applicative KS

Defined in Data.KeyStore.KS.KS

Methods

pure :: a -> KS a

(<*>) :: KS (a -> b) -> KS a -> KS b

liftA2 :: (a -> b -> c) -> KS a -> KS b -> KS c

(*>) :: KS a -> KS b -> KS b

(<*) :: KS a -> KS b -> KS a

Functor KS

Defined in Data.KeyStore.KS.KS

Methods

fmap :: (a -> b) -> KS a -> KS b

(<$) :: a -> KS b -> KS a

Monad KS

Defined in Data.KeyStore.KS.KS

Methods

(>>=) :: KS a -> (a -> KS b) -> KS b

(>>) :: KS a -> KS b -> KS b

return :: a -> KS a

MonadRandom KS

Defined in Data.KeyStore.KS.KS

Methods

getRandomBytes :: ByteArray byteArray => Int -> KS byteArray

MonadError Reason KS

Defined in Data.KeyStore.KS.KS

Methods

throwError :: Reason -> KS a

catchError :: KS a -> (Reason -> KS a) -> KS a

data Ctx

Constructors

Ctx

Fields

• ctx_now :: UTCTime
• ctx_store :: FilePath
• ctx_settings :: Settings

Instances

Show Ctx

Defined in Data.KeyStore.KS.KS

Methods

showsPrec :: Int -> Ctx -> ShowS

show :: Ctx -> String

showList :: [Ctx] -> ShowS

data State

Constructors

State

Fields

• st_keystore :: KeyStore
• st_cprng :: CPRNG

data LogEntry

Constructors

LogEntry

Fields

• le_debug :: Bool
• le_message :: String

Instances

Show LogEntry

Defined in Data.KeyStore.KS.KS

Methods

showsPrec :: Int -> LogEntry -> ShowS

show :: LogEntry -> String

showList :: [LogEntry] -> ShowS

rsaErrorKS :: KS (Either Error a) -> KS a

withKey :: Name -> KS a -> KS a

trun :: KS a -> a

e2io :: E a -> IO a

e2ks :: E a -> KS a

run_ :: Ctx -> State -> KS a -> (E a, State, [LogEntry])

randomBytes :: Octets -> (ByteString -> a) -> KS a

currentTime :: KS UTCTime

putStrKS :: String -> KS ()

btw :: String -> KS ()

debugLog :: String -> KS ()

catchKS :: KS a -> (Reason -> KS a) -> KS a

errorKS :: String -> KS a

throwKS :: Reason -> KS a

lookupOpt :: Show a => Opt a -> KS a

storeKS :: KS FilePath

getSettings :: KS Settings

lookupKey :: Name -> KS Key

insertNewKey :: Key -> KS ()

insertKey :: Key -> KS ()

adjustKeyKS :: Name -> (Key -> Key) -> KS ()

deleteKeysKS :: [Name] -> KS ()

getKeymap :: KS KeyMap

getConfig :: KS Configuration

modConfig :: (Configuration -> Configuration) -> KS ()