Safe Haskell	None
Language	Haskell2010

Curly.Core.Security

Contents

Keys and Secrets
Encryption/Decryption
Environment
Showing and reading formats

Synopsis

Keys and Secrets

data Access Source #

Constructors

Deny
Read
Run
Write
Admin
Almighty

Instances

Bounded Access Source #
Methods minBound :: Access # maxBound :: Access #
Enum Access Source #
Methods succ :: Access -> Access # pred :: Access -> Access # toEnum :: Int -> Access # fromEnum :: Access -> Int # enumFrom :: Access -> [Access] # enumFromThen :: Access -> Access -> [Access] # enumFromTo :: Access -> Access -> [Access] # enumFromThenTo :: Access -> Access -> Access -> [Access] #
Eq Access Source #
Methods (==) :: Access -> Access -> Bool # (/=) :: Access -> Access -> Bool #
Ord Access Source #
Methods compare :: Access -> Access -> Ordering # (<) :: Access -> Access -> Bool # (<=) :: Access -> Access -> Bool # (>) :: Access -> Access -> Bool # (>=) :: Access -> Access -> Bool # max :: Access -> Access -> Access # min :: Access -> Access -> Access #
Read Access Source #
Methods readsPrec :: Int -> ReadS Access # readList :: ReadS [Access] # readPrec :: ReadPrec Access # readListPrec :: ReadPrec [Access] #
Show Access Source #
Methods showsPrec :: Int -> Access -> ShowS # show :: Access -> String # showList :: [Access] -> ShowS #
Semigroup Access Source #
Methods (+) :: Access -> Access -> Access #
Monoid Access Source #
Methods zero :: Access #
Serializable Bytes Access Source #
Methods encode :: Proxy Bytes -> Access -> StreamBuilder Bytes #
Format Bytes Access Source #
Methods datum :: Parser Bytes Access #

data PrivateKey Source #

Instances

Eq PrivateKey Source #
Methods (==) :: PrivateKey -> PrivateKey -> Bool # (/=) :: PrivateKey -> PrivateKey -> Bool #
Ord PrivateKey Source #
Methods compare :: PrivateKey -> PrivateKey -> Ordering # (<) :: PrivateKey -> PrivateKey -> Bool # (<=) :: PrivateKey -> PrivateKey -> Bool # (>) :: PrivateKey -> PrivateKey -> Bool # (>=) :: PrivateKey -> PrivateKey -> Bool # max :: PrivateKey -> PrivateKey -> PrivateKey # min :: PrivateKey -> PrivateKey -> PrivateKey #
Serializable Bytes PrivateKey Source #
Methods encode :: Proxy Bytes -> PrivateKey -> StreamBuilder Bytes #
Format Bytes PrivateKey Source #
Methods datum :: Parser Bytes PrivateKey #

data PublicKey Source #

Instances

Eq PublicKey Source #
Methods (==) :: PublicKey -> PublicKey -> Bool # (/=) :: PublicKey -> PublicKey -> Bool #
Show PublicKey Source #
Methods showsPrec :: Int -> PublicKey -> ShowS # show :: PublicKey -> String # showList :: [PublicKey] -> ShowS #
Serializable Bytes PublicKey Source #
Methods encode :: Proxy Bytes -> PublicKey -> StreamBuilder Bytes #
Format Bytes PublicKey Source #
Methods datum :: Parser Bytes PublicKey #
Lens2 Branches Branches StampedBranches StampedBranches #
Methods l'2 :: Lens Branches Branches StampedBranches StampedBranches #

data SharedSecret Source #

data KeyFingerprint Source #

Instances

Bounded KeyFingerprint Source #
Methods minBound :: KeyFingerprint # maxBound :: KeyFingerprint #
Eq KeyFingerprint Source #
Methods (==) :: KeyFingerprint -> KeyFingerprint -> Bool # (/=) :: KeyFingerprint -> KeyFingerprint -> Bool #
Ord KeyFingerprint Source #
Methods compare :: KeyFingerprint -> KeyFingerprint -> Ordering # (<) :: KeyFingerprint -> KeyFingerprint -> Bool # (<=) :: KeyFingerprint -> KeyFingerprint -> Bool # (>) :: KeyFingerprint -> KeyFingerprint -> Bool # (>=) :: KeyFingerprint -> KeyFingerprint -> Bool # max :: KeyFingerprint -> KeyFingerprint -> KeyFingerprint # min :: KeyFingerprint -> KeyFingerprint -> KeyFingerprint #
Show KeyFingerprint Source #
Methods showsPrec :: Int -> KeyFingerprint -> ShowS # show :: KeyFingerprint -> String # showList :: [KeyFingerprint] -> ShowS #
FormatArg KeyFingerprint Source #
Methods argClass :: KeyFingerprint -> Char Source # showFormat :: KeyFingerprint -> String Source #
Serializable Bytes KeyFingerprint Source #
Methods encode :: Proxy Bytes -> KeyFingerprint -> StreamBuilder Bytes #
Format Bytes KeyFingerprint Source #
Methods datum :: Parser Bytes KeyFingerprint #

data Signature Source #

Instances

Eq Signature Source #
Methods (==) :: Signature -> Signature -> Bool # (/=) :: Signature -> Signature -> Bool #
Ord Signature Source #
Methods compare :: Signature -> Signature -> Ordering # (<) :: Signature -> Signature -> Bool # (<=) :: Signature -> Signature -> Bool # (>) :: Signature -> Signature -> Bool # (>=) :: Signature -> Signature -> Bool # max :: Signature -> Signature -> Signature # min :: Signature -> Signature -> Signature #
Show Signature Source #
Methods showsPrec :: Int -> Signature -> ShowS # show :: Signature -> String # showList :: [Signature] -> ShowS #
Generic Signature Source #
Associated Types type Rep Signature :: * -> * # Methods from :: Signature -> Rep Signature x # to :: Rep Signature x -> Signature #
Serializable Bytes Signature Source #
Methods encode :: Proxy Bytes -> Signature -> StreamBuilder Bytes #
Format Bytes Signature Source #
Methods datum :: Parser Bytes Signature #
type Rep Signature Source #
type Rep Signature = D1 (MetaData "Signature" "Curly.Core.Security" "curly-core-0.7.2-5Alk9IYXOqrI6xJCLJNJpU" False) (C1 (MetaCons "Signature" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer))))

data Signed a Source #

Instances

Serializable Bytes a => Serializable Bytes (Signed a) Source #
Methods encode :: Proxy Bytes -> Signed a -> StreamBuilder Bytes #
Format Bytes a => Format Bytes (Signed a) Source #
Methods datum :: Parser Bytes (Signed a) #
Eq a => Eq (Signed a) Source #
Methods (==) :: Signed a -> Signed a -> Bool # (/=) :: Signed a -> Signed a -> Bool #
Ord a => Ord (Signed a) Source #
Methods compare :: Signed a -> Signed a -> Ordering # (<) :: Signed a -> Signed a -> Bool # (<=) :: Signed a -> Signed a -> Bool # (>) :: Signed a -> Signed a -> Bool # (>=) :: Signed a -> Signed a -> Bool # max :: Signed a -> Signed a -> Signed a # min :: Signed a -> Signed a -> Signed a #
Show a => Show (Signed a) Source #
Methods showsPrec :: Int -> Signed a -> ShowS # show :: Signed a -> String # showList :: [Signed a] -> ShowS #
Generic (Signed a) Source #
Associated Types type Rep (Signed a) :: * -> * # Methods from :: Signed a -> Rep (Signed a) x # to :: Rep (Signed a) x -> Signed a #
type Rep (Signed a) Source #
type Rep (Signed a) = D1 (MetaData "Signed" "Curly.Core.Security" "curly-core-0.7.2-5Alk9IYXOqrI6xJCLJNJpU" False) (C1 (MetaCons "Signed" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Signature))))

genPrivateKey :: MonadIO m => m PrivateKey Source #

publicKey :: PrivateKey -> PublicKey Source #

fingerprint :: PublicKey -> KeyFingerprint Source #

sharedSecret :: MonadIO m => Bool -> PrivateKey -> PublicKey -> m SharedSecret Source #

signBytes :: MonadIO m => PrivateKey -> Bytes -> m Signature Source #

isValidSignatureFrom :: PublicKey -> Signature -> Bytes -> Bool Source #

signValue :: (MonadIO m, Serializable Bytes a) => PrivateKey -> a -> m (Signed a) Source #

extractSignedBy :: Serializable Bytes a => PublicKey -> Signed a -> Maybe a Source #

unsafeExtractSigned :: Signed a -> a Source #

Encryption/Decryption

decrypt :: (MonadIO m, Format Bytes a, ?secret :: SharedSecret) => ParserT Bytes m a Source #

encrypt :: (MonadIO m, Serializable Bytes a, ?secret :: SharedSecret) => a -> m Bytes Source #

signedDatum :: Format Bytes a => PublicKey -> Parser Bytes a Source #

Environment

type KeyStore = Map String (KeyFingerprint, PublicKey, Maybe PrivateKey, Metadata, Map String Access) Source #

curlyKeysFile :: FilePath Source #

The path of the Curly key wallet

getKeyStore :: MonadIO m => m KeyStore Source #

modifyKeyStore :: MonadIO m => (KeyStore -> KeyStore) -> m () Source #

Showing and reading formats

newtype Zesty a Source #

Constructors

Zesty a

Instances

Format Bytes a => Read (Zesty a) Source #
Methods readsPrec :: Int -> ReadS (Zesty a) # readList :: ReadS [Zesty a] # readPrec :: ReadPrec (Zesty a) # readListPrec :: ReadPrec [Zesty a] #
Serializable Bytes a => Show (Zesty a) Source #
Methods showsPrec :: Int -> Zesty a -> ShowS # show :: Zesty a -> String # showList :: [Zesty a] -> ShowS #