Crypto.Saltine.Internal.ScalarMult

Documentation

scalarmult_bytes :: Int

Size of a group element string representation for crypto_scalarmult.

scalarmult_scalarbytes :: Int

Size of a integer string representation for crypto_scalarmult.

c_scalarmult

Arguments

:: Ptr CChar

Output group element buffer

-> Ptr CChar

Input integer buffer

-> Ptr CChar

Input group element buffer

-> IO CInt

Always 0

c_scalarmult_base

Arguments

:: Ptr CChar

Output group element buffer

-> Ptr CChar

Input integer buffer

-> IO CInt

Always 0

newtype GroupElement

A group element.

Constructors

GE

Fields

• unGE :: ByteString

Instances

Data GroupElement

Defined in Crypto.Saltine.Internal.ScalarMult

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> GroupElement -> c GroupElement

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c GroupElement

toConstr :: GroupElement -> Constr

dataTypeOf :: GroupElement -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c GroupElement)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c GroupElement)

gmapT :: (forall b. Data b => b -> b) -> GroupElement -> GroupElement

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> GroupElement -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> GroupElement -> r

gmapQ :: (forall d. Data d => d -> u) -> GroupElement -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> GroupElement -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> GroupElement -> m GroupElement

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> GroupElement -> m GroupElement

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> GroupElement -> m GroupElement

Generic GroupElement

Defined in Crypto.Saltine.Internal.ScalarMult

Associated Types

type Rep GroupElement :: Type -> Type

Methods

from :: GroupElement -> Rep GroupElement x

to :: Rep GroupElement x -> GroupElement

Show GroupElement

Defined in Crypto.Saltine.Internal.ScalarMult

Methods

showsPrec :: Int -> GroupElement -> ShowS

show :: GroupElement -> String

showList :: [GroupElement] -> ShowS

NFData GroupElement

Defined in Crypto.Saltine.Internal.ScalarMult

Methods

rnf :: GroupElement -> ()

Eq GroupElement

Defined in Crypto.Saltine.Internal.ScalarMult

Methods

(==) :: GroupElement -> GroupElement -> Bool

(/=) :: GroupElement -> GroupElement -> Bool

Ord GroupElement

Defined in Crypto.Saltine.Internal.ScalarMult

Methods

compare :: GroupElement -> GroupElement -> Ordering

(<) :: GroupElement -> GroupElement -> Bool

(<=) :: GroupElement -> GroupElement -> Bool

(>) :: GroupElement -> GroupElement -> Bool

(>=) :: GroupElement -> GroupElement -> Bool

max :: GroupElement -> GroupElement -> GroupElement

min :: GroupElement -> GroupElement -> GroupElement

Hashable GroupElement

Defined in Crypto.Saltine.Internal.ScalarMult

Methods

hashWithSalt :: Int -> GroupElement -> Int

hash :: GroupElement -> Int

IsEncoding GroupElement

Defined in Crypto.Saltine.Internal.ScalarMult

Methods

encode :: GroupElement -> ByteString

decode :: ByteString -> Maybe GroupElement

encoded :: (Choice p, Applicative f) => p GroupElement (f GroupElement) -> p ByteString (f ByteString)

type Rep GroupElement

Defined in Crypto.Saltine.Internal.ScalarMult

type Rep GroupElement = D1 ('MetaData "GroupElement" "Crypto.Saltine.Internal.ScalarMult" "saltine-0.2.1.0-inplace" 'True) (C1 ('MetaCons "GE" 'PrefixI 'True) (S1 ('MetaSel ('Just "unGE") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))

newtype Scalar

A scalar integer.

Constructors

Sc

Fields

• unSc :: ByteString

Instances

Data Scalar

Defined in Crypto.Saltine.Internal.ScalarMult

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Scalar -> c Scalar

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Scalar

toConstr :: Scalar -> Constr

dataTypeOf :: Scalar -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Scalar)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Scalar)

gmapT :: (forall b. Data b => b -> b) -> Scalar -> Scalar

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Scalar -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Scalar -> r

gmapQ :: (forall d. Data d => d -> u) -> Scalar -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Scalar -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Scalar -> m Scalar

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Scalar -> m Scalar

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Scalar -> m Scalar

Generic Scalar

Defined in Crypto.Saltine.Internal.ScalarMult

Associated Types

type Rep Scalar :: Type -> Type

Methods

from :: Scalar -> Rep Scalar x

to :: Rep Scalar x -> Scalar

Show Scalar

Defined in Crypto.Saltine.Internal.ScalarMult

Methods

showsPrec :: Int -> Scalar -> ShowS

show :: Scalar -> String

showList :: [Scalar] -> ShowS

NFData Scalar

Defined in Crypto.Saltine.Internal.ScalarMult

Methods

rnf :: Scalar -> ()

Eq Scalar

Defined in Crypto.Saltine.Internal.ScalarMult

Methods

(==) :: Scalar -> Scalar -> Bool

(/=) :: Scalar -> Scalar -> Bool

Ord Scalar

Defined in Crypto.Saltine.Internal.ScalarMult

Methods

compare :: Scalar -> Scalar -> Ordering

(<) :: Scalar -> Scalar -> Bool

(<=) :: Scalar -> Scalar -> Bool

(>) :: Scalar -> Scalar -> Bool

(>=) :: Scalar -> Scalar -> Bool

max :: Scalar -> Scalar -> Scalar

min :: Scalar -> Scalar -> Scalar

Hashable Scalar

Defined in Crypto.Saltine.Internal.ScalarMult

Methods

hashWithSalt :: Int -> Scalar -> Int

hash :: Scalar -> Int

IsEncoding Scalar

Defined in Crypto.Saltine.Internal.ScalarMult

Methods

encode :: Scalar -> ByteString

decode :: ByteString -> Maybe Scalar

encoded :: (Choice p, Applicative f) => p Scalar (f Scalar) -> p ByteString (f ByteString)

type Rep Scalar

Defined in Crypto.Saltine.Internal.ScalarMult

type Rep Scalar = D1 ('MetaData "Scalar" "Crypto.Saltine.Internal.ScalarMult" "saltine-0.2.1.0-inplace" 'True) (C1 ('MetaCons "Sc" 'PrefixI 'True) (S1 ('MetaSel ('Just "unSc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))