Crypto.Lol.Prelude

A substitute for the Prelude that is more suitable for Lol. This module exports most of the Numeric Prelude and other frequently used modules, plus some low-level classes, missing instances, and assorted utility functions.

Classes and families

class Enumerable a where

Poor man's Enum.

Minimal complete definition

values

Methods

values :: [a]

Instances

GFCtx k fp d => Enumerable (GF k fp d)

Methods

values :: [GF k fp d]

(Reflects k q z, ToInteger z, Enum z) => Enumerable (ZqBasic k q z)

Methods

values :: [ZqBasic k q z]

class (ToInteger (ModRep a), Additive a) => Mod a where

Represents a quotient group modulo some integer.

Minimal complete definition

modulus

Associated Types

type ModRep a

Methods

modulus :: Tagged a (ModRep a)

Instances

(Mod a, Mod b) => Mod (a, b)

Product ring of \(\Z_q\)s as a \(\Z_q\) (with Integer modulus)

Associated Types

type ModRep (a, b) :: *

Methods

modulus :: Tagged * (a, b) (ModRep (a, b))

(Reflects k q z, ToInteger z) => Mod (ZqBasic k q z)

Associated Types

type ModRep (ZqBasic k q z) :: *

Methods

modulus :: Tagged * (ZqBasic k q z) (ModRep (ZqBasic k q z))

class (Additive a, Additive b) => Subgroup a b where

Represents that a is a subgroup of b.

Minimal complete definition

fromSubgroup

Methods

fromSubgroup :: a -> b

Instances

(ToInteger i, RealField r, Reflects k q i, Reflects k q r) => Subgroup (ZqBasic k q i) (RRq k q r)

Methods

fromSubgroup :: ZqBasic k q i -> RRq k q r

class (Additive a, Additive b) => Reduce a b where

Represents that b is a quotient group of a.

Minimal complete definition

reduce

Methods

reduce :: a -> b

Instances

(Reduce a b1, Reduce a b2) => Reduce a (b1, b2)

Reduce into product ring.

Methods

reduce :: a -> (b1, b2)

(Reflects k q z, ToInteger z, Additive (ZqBasic k q z)) => Reduce Integer (ZqBasic k q z)

Methods

reduce :: Integer -> ZqBasic k q z

(Reflects k q z, ToInteger z) => Reduce z (ZqBasic k q z)

Methods

reduce :: z -> ZqBasic k q z

(Reflects k q r, RealField r, Additive (RRq k q r)) => Reduce r (RRq k q r)

Methods

reduce :: r -> RRq k q r

(Reduce a b, Fact m, CElt t a, CElt t b) => Reduce (Cyc t m a) (Cyc t m b)

Methods

reduce :: Cyc t m a -> Cyc t m b

(Reduce a b, Tensor t, Fact m, TElt t a, TElt t b) => Reduce (UCyc t m D a) (UCyc t m D b)

Methods

reduce :: UCyc t m D a -> UCyc t m D b

(Reduce a b, Tensor t, Fact m, TElt t a, TElt t b) => Reduce (UCyc t m P a) (UCyc t m P b)

Methods

reduce :: UCyc t m P a -> UCyc t m P b

(Reduce z zq, Fact s, CElt t z, CElt t zq) => Reduce (Linear t z e r s) (Linear t zq e r s)

Methods

reduce :: Linear t z e r s -> Linear t zq e r s

type family LiftOf b

The type of representatives of b.

Instances

type LiftOf (a, b)

type LiftOf (a, b) = Integer

type LiftOf (Cyc t m r)

type LiftOf (Cyc t m r) = Cyc t m (LiftOf r)

type LiftOf (ZqBasic k q z)

type LiftOf (ZqBasic k q z) = z

type LiftOf (RRq k q r)

type LiftOf (RRq k q r) = r

type LiftOf (UCyc t m D r)

type LiftOf (UCyc t m D r) = UCyc t m D (LiftOf r)

type LiftOf (UCyc t m P r)

type LiftOf (UCyc t m P r) = UCyc t m P (LiftOf r)

type LiftOf (Linear t zp e r s)

type LiftOf (Linear t zp e r s) = Linear t (LiftOf zp) e r s

type Lift b a = (Lift' b, LiftOf b ~ a)

Represents that b can be lifted to a "short" a congruent to b.

class Reduce (LiftOf b) b => Lift' b where

Fun-dep version of Lift.

Minimal complete definition

lift

Methods

lift :: b -> LiftOf b

Instances

(Mod a, Mod b, Lift' a, Lift' b, Reduce Integer (a, b), ToInteger (LiftOf a), ToInteger (LiftOf b)) => Lift' (a, b)

Lift product ring of \(\Z_q\)s to Integer

Methods

lift :: (a, b) -> LiftOf (a, b)

(Reflects k q z, ToInteger z) => Lift' (ZqBasic k q z)

Methods

lift :: ZqBasic k q z -> LiftOf (ZqBasic k q z)

(Reflects k q r, Reduce r (RRq k q r), Ord r, Ring r) => Lift' (RRq k q r)

Methods

lift :: RRq k q r -> LiftOf (RRq k q r)

(Lift' r, Tensor t, Fact m, TElt t r, TElt t (LiftOf r)) => Lift' (UCyc t m D r)

Methods

lift :: UCyc t m D r -> LiftOf (UCyc t m D r)

(Lift' r, Tensor t, Fact m, TElt t r, TElt t (LiftOf r)) => Lift' (UCyc t m P r)

Methods

lift :: UCyc t m P r -> LiftOf (UCyc t m P r)

(CElt t zp, CElt t z, (~) * z (LiftOf zp), Lift zp z, Fact s) => Lift' (Linear t zp e r s)

lifts with respect to powerful basis, for best geometry

Methods

lift :: Linear t zp e r s -> LiftOf (Linear t zp e r s)

class (Additive a, Additive b) => Rescale a b where

Represents that a can be rescaled to b, as an "approximate" additive homomorphism.

Minimal complete definition

rescale

Methods

rescale :: a -> b

Instances

(Ring b, Mod a, Reduce (ModRep a) b) => Rescale b (a, b)

Rescale up to a product ring of \(\Z_q\)s

Methods

rescale :: b -> (a, b)

(Ring a, Mod b, Reduce (ModRep b) a) => Rescale a (a, b)

Rescale up to a product ring of \(\Z_q\)s

Methods

rescale :: a -> (a, b)

(Rescale ((a, b), c) (a, b), Rescale (a, b) a, Additive a, Additive c) => Rescale ((a, b), c) a

Rescale a (multi-)product ring of \(\Z_q\)s

Methods

rescale :: ((a, b), c) -> a

(Rescale (a, (b, c)) (b, c), Rescale (b, c) c, Additive a, Additive c) => Rescale (a, (b, c)) c

Rescale a (multi-)product ring of \(\Z_q\)s

Methods

rescale :: (a, (b, c)) -> c

(Mod b, Field a, Lift b (ModRep b), Reduce (LiftOf b) a) => Rescale (a, b) a

Rescale a product ring of \(\Z_q\)s

Methods

rescale :: (a, b) -> a

(Mod a, Field b, Lift a (ModRep a), Reduce (LiftOf a) b) => Rescale (a, b) b

Rescale a product ring of \(\Z_q\)s

Methods

rescale :: (a, b) -> b

(Reflects k1 q z, ToInteger z, Reflects k q' z, Ring z) => Rescale (ZqBasic k1 q z) (ZqBasic k q' z)

Methods

rescale :: ZqBasic k1 q z -> ZqBasic k q' z

(Rescale a b, Tensor t, Fact m, TElt t a, TElt t b) => Rescale (UCyc t m D a) (UCyc t m D b)

Methods

rescale :: UCyc t m D a -> UCyc t m D b

(Rescale a b, Tensor t, Fact m, TElt t a, TElt t b) => Rescale (UCyc t m P a) (UCyc t m P b)

Methods

rescale :: UCyc t m P a -> UCyc t m P b

class (Field src, Field tgt) => Encode src tgt where

Represents that the target ring can "noisily encode" values from the source ring, in either "most significant digit" (MSD) or "least significant digit" (LSD) encodings, and provides conversion factors between the two types of encodings.

Minimal complete definition

lsdToMSD

Methods

lsdToMSD :: (src, tgt)

The factor that converts an element from LSD to MSD encoding in the target field, with associated scale factor to apply to correct the resulting encoded value.

Instances

(Encode s t1, Encode s t2, Field (t1, t2)) => Encode s (t1, t2)

Encode for a product ring

Methods

lsdToMSD :: (s, (t1, t2))

(Reflects k1 p z, Reflects k q z, ToInteger z, Field (ZqBasic k q z), Field (ZqBasic k1 p z)) => Encode (ZqBasic k1 p z) (ZqBasic k q z)

Methods

lsdToMSD :: (ZqBasic k1 p z, ZqBasic k q z)

msdToLSD :: Encode src tgt => (src, tgt)

Inverted entries of lsdToMSD.

type family CharOf fp :: k

The characteristic of a ring, represented as a type.

Instances

type CharOf k (ZqBasic k p z)

type CharOf k (ZqBasic k p z) = p

Numeric

max :: Ord a => a -> a -> a

The Prelude definition of max.

min :: Ord a => a -> a -> a

The Prelude definition of min.

abs :: Absolute a => a -> a

The sane definition of abs from Numeric rather than the default from NumericPrelude.

realToField :: (Field b, ToRational a) => a -> b

The hidden NP function from Algebra.ToRational.

type ZeroTestable a = C a

Sane synonym for C.

type Additive a = C a

Sane synonym for C.

type Ring a = C a

Sane synonym for C.

type Module a v = C a v

Sane synonym for C.

type IntegralDomain a = C a

Sane synonym for C.

type ToRational a = C a

Sane synonym for C.

type Field a = C a

Sane synonym for C.

type RealRing a = C a

Sane synonym for C.

type RealField a = C a

Sane synonym for C.

type Algebraic a = C a

Sane synonym for C.

type Transcendental a = C a

Sane synonym for C.

type RealTranscendental a = C a

Sane synonym for C.

type OrdFloat a = (Ord a, Transcendental a)

Convenient synonym for (Ord a, Transcendental a)

type ToInteger a = C a

Sane synonym for C.

type Absolute a = C a

Sane synonym for C.

type RealIntegral a = C a

Sane synonym for C.

type PID a = C a

Sane synonym for C.

type Polynomial a = T a

Sane synonym for T.

type Matrix a = T a

Sane synonym for T.

(^) :: forall a i. (Ring a, ToInteger i) => a -> i -> a

Our custom exponentiation, overriding NP's version that requires Integer exponent. Copied from http://hackage.haskell.org/package/base-4.7.0.0/docs/src/GHC-Real.html#%5E

modinv :: (PID i, Eq i) => i -> i -> Maybe i

Inverse of \(a\) modulo \(q\), in range \([0,q-1]\). (Argument order is infix-friendly.)

decomp :: (IntegralDomain z, Ord z) => [z] -> z -> [z]

Decompose an element into a list of "centered" digits with respect to relative radices.

roundMult :: (RealField r, ToInteger i) => i -> r -> i

Deterministically round to the nearest multiple of \( i \).

roundScalarCentered :: (RealField r, Random r, ToInteger i, MonadRandom mon) => i -> r -> mon i

Randomly round to the nearest larger or smaller multiple of \( i \), where the round-off term has expectation zero.

divModCent

Arguments

:: IntegralDomain i

=> i

dividend \(a\)

-> i

divisor \(b\)

-> (i, i)

(quotient, remainder)

Variant of divMod in which the remainder is in the range \([-b/2,b/2)\).

module NumericPrelude

data Int64 :: *

64-bit signed integer type

Instances

Bounded Int64

Methods

minBound :: Int64

maxBound :: Int64

Enum Int64

Methods

succ :: Int64 -> Int64

pred :: Int64 -> Int64

toEnum :: Int -> Int64

fromEnum :: Int64 -> Int

enumFrom :: Int64 -> [Int64]

enumFromThen :: Int64 -> Int64 -> [Int64]

enumFromTo :: Int64 -> Int64 -> [Int64]

enumFromThenTo :: Int64 -> Int64 -> Int64 -> [Int64]

Eq Int64

Methods

(==) :: Int64 -> Int64 -> Bool

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

Integral Int64

Methods

quot :: Int64 -> Int64 -> Int64

rem :: Int64 -> Int64 -> Int64

div :: Int64 -> Int64 -> Int64

mod :: Int64 -> Int64 -> Int64

quotRem :: Int64 -> Int64 -> (Int64, Int64)

divMod :: Int64 -> Int64 -> (Int64, Int64)

toInteger :: Int64 -> Integer

Data Int64

Methods

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

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

toConstr :: Int64 -> Constr

dataTypeOf :: Int64 -> DataType

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

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

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

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

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

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

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

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

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

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

Num Int64

Methods

(+) :: Int64 -> Int64 -> Int64

(-) :: Int64 -> Int64 -> Int64

(*) :: Int64 -> Int64 -> Int64

negate :: Int64 -> Int64

abs :: Int64 -> Int64

signum :: Int64 -> Int64

fromInteger :: Integer -> Int64

Ord Int64

Methods

compare :: Int64 -> Int64 -> Ordering

(<) :: Int64 -> Int64 -> Bool

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

(>) :: Int64 -> Int64 -> Bool

(>=) :: Int64 -> Int64 -> Bool

max :: Int64 -> Int64 -> Int64

min :: Int64 -> Int64 -> Int64

Read Int64

Methods

readsPrec :: Int -> ReadS Int64

readList :: ReadS [Int64]

readPrec :: ReadPrec Int64

readListPrec :: ReadPrec [Int64]

Real Int64

Methods

toRational :: Int64 -> Rational

Show Int64

Methods

showsPrec :: Int -> Int64 -> ShowS

show :: Int64 -> String

showList :: [Int64] -> ShowS

Ix Int64

Methods

range :: (Int64, Int64) -> [Int64]

index :: (Int64, Int64) -> Int64 -> Int

unsafeIndex :: (Int64, Int64) -> Int64 -> Int

inRange :: (Int64, Int64) -> Int64 -> Bool

rangeSize :: (Int64, Int64) -> Int

unsafeRangeSize :: (Int64, Int64) -> Int

Lift Int64

Methods

lift :: Int64 -> Q Exp

Random Int64

Methods

randomR :: RandomGen g => (Int64, Int64) -> g -> (Int64, g)

random :: RandomGen g => g -> (Int64, g)

randomRs :: RandomGen g => (Int64, Int64) -> g -> [Int64]

randoms :: RandomGen g => g -> [Int64]

randomRIO :: (Int64, Int64) -> IO Int64

randomIO :: IO Int64

Storable Int64

Methods

sizeOf :: Int64 -> Int

alignment :: Int64 -> Int

peekElemOff :: Ptr Int64 -> Int -> IO Int64

pokeElemOff :: Ptr Int64 -> Int -> Int64 -> IO ()

peekByteOff :: Ptr b -> Int -> IO Int64

pokeByteOff :: Ptr b -> Int -> Int64 -> IO ()

peek :: Ptr Int64 -> IO Int64

poke :: Ptr Int64 -> Int64 -> IO ()

Bits Int64

Methods

(.&.) :: Int64 -> Int64 -> Int64

(.|.) :: Int64 -> Int64 -> Int64

xor :: Int64 -> Int64 -> Int64

complement :: Int64 -> Int64

shift :: Int64 -> Int -> Int64

rotate :: Int64 -> Int -> Int64

zeroBits :: Int64

bit :: Int -> Int64

setBit :: Int64 -> Int -> Int64

clearBit :: Int64 -> Int -> Int64

complementBit :: Int64 -> Int -> Int64

testBit :: Int64 -> Int -> Bool

bitSizeMaybe :: Int64 -> Maybe Int

bitSize :: Int64 -> Int

isSigned :: Int64 -> Bool

shiftL :: Int64 -> Int -> Int64

unsafeShiftL :: Int64 -> Int -> Int64

shiftR :: Int64 -> Int -> Int64

unsafeShiftR :: Int64 -> Int -> Int64

rotateL :: Int64 -> Int -> Int64

rotateR :: Int64 -> Int -> Int64

popCount :: Int64 -> Int

FiniteBits Int64

Methods

finiteBitSize :: Int64 -> Int

countLeadingZeros :: Int64 -> Int

countTrailingZeros :: Int64 -> Int

Default Int64

Methods

def :: Int64

NFData Int64

Methods

rnf :: Int64 -> ()

CRandom Int64

Methods

crandom :: CryptoRandomGen g => g -> Either GenError (Int64, g)

crandoms :: CryptoRandomGen g => g -> [Int64]

CRandomR Int64

Methods

crandomR :: CryptoRandomGen g => (Int64, Int64) -> g -> Either GenError (Int64, g)

crandomRs :: CryptoRandomGen g => (Int64, Int64) -> g -> [Int64]

C Int64

Methods

toInteger :: Int64 -> Integer

C Int64

Methods

toRational :: Int64 -> Rational

C Int64

Methods

quot :: Int64 -> Int64 -> Int64

rem :: Int64 -> Int64 -> Int64

quotRem :: Int64 -> Int64 -> (Int64, Int64)

C Int64

Methods

abs :: Int64 -> Int64

signum :: Int64 -> Int64

C Int64

Methods

extendedGCD :: Int64 -> Int64 -> (Int64, (Int64, Int64))

gcd :: Int64 -> Int64 -> Int64

lcm :: Int64 -> Int64 -> Int64

C Int64

Methods

isUnit :: Int64 -> Bool

stdAssociate :: Int64 -> Int64

stdUnit :: Int64 -> Int64

stdUnitInv :: Int64 -> Int64

C Int64

Methods

div :: Int64 -> Int64 -> Int64

mod :: Int64 -> Int64 -> Int64

divMod :: Int64 -> Int64 -> (Int64, Int64)

C Int64

Methods

isZero :: Int64 -> Bool

C Int64

Methods

(*) :: Int64 -> Int64 -> Int64

one :: Int64

fromInteger :: Integer -> Int64

(^) :: Int64 -> Integer -> Int64

C Int64

Methods

zero :: Int64

(+) :: Int64 -> Int64 -> Int64

(-) :: Int64 -> Int64 -> Int64

negate :: Int64 -> Int64

Prim Int64

Methods

sizeOf# :: Int64 -> Int#

alignment# :: Int64 -> Int#

indexByteArray# :: ByteArray# -> Int# -> Int64

readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (#VoidRep, PtrRepLifted, State# s, Int64#)

writeByteArray# :: MutableByteArray# s -> Int# -> Int64 -> State# s -> State# s

setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Int64 -> State# s -> State# s

indexOffAddr# :: Addr# -> Int# -> Int64

readOffAddr# :: Addr# -> Int# -> State# s -> (#VoidRep, PtrRepLifted, State# s, Int64#)

writeOffAddr# :: Addr# -> Int# -> Int64 -> State# s -> State# s

setOffAddr# :: Addr# -> Int# -> Int# -> Int64 -> State# s -> State# s

GPB Int64

Wire Int64

Methods

wireSize :: FieldType -> Int64 -> WireSize

wirePut :: FieldType -> Int64 -> Put

wireGet :: FieldType -> Get Int64

wireGetPacked :: FieldType -> Get (Seq Int64)

TextType Int64

Methods

tellT :: String -> Int64 -> Output

getT :: Stream s Identity Char => String -> Parsec s () Int64

Mergeable Int64

Methods

mergeAppend :: Int64 -> Int64 -> Int64

mergeConcat :: Foldable t => t Int64 -> Int64

Default Int64

Methods

defaultValue :: Int64

Unbox Int64

CRTEmbed Int64

Embeds into the complex numbers \(\C\).

Associated Types

type CRTExt Int64 :: *

Methods

toExt :: Int64 -> CRTExt Int64

fromExt :: CRTExt Int64 -> Int64

Vector Vector Int64

Methods

basicUnsafeFreeze :: PrimMonad m => Mutable Vector (PrimState m) Int64 -> m (Vector Int64)

basicUnsafeThaw :: PrimMonad m => Vector Int64 -> m (Mutable Vector (PrimState m) Int64)

basicLength :: Vector Int64 -> Int

basicUnsafeSlice :: Int -> Int -> Vector Int64 -> Vector Int64

basicUnsafeIndexM :: Monad m => Vector Int64 -> Int -> m Int64

basicUnsafeCopy :: PrimMonad m => Mutable Vector (PrimState m) Int64 -> Vector Int64 -> m ()

elemseq :: Vector Int64 -> Int64 -> b -> b

MVector MVector Int64

Methods

basicLength :: MVector s Int64 -> Int

basicUnsafeSlice :: Int -> Int -> MVector s Int64 -> MVector s Int64

basicOverlaps :: MVector s Int64 -> MVector s Int64 -> Bool

basicUnsafeNew :: PrimMonad m => Int -> m (MVector (PrimState m) Int64)

basicInitialize :: PrimMonad m => MVector (PrimState m) Int64 -> m ()

basicUnsafeReplicate :: PrimMonad m => Int -> Int64 -> m (MVector (PrimState m) Int64)

basicUnsafeRead :: PrimMonad m => MVector (PrimState m) Int64 -> Int -> m Int64

basicUnsafeWrite :: PrimMonad m => MVector (PrimState m) Int64 -> Int -> Int64 -> m ()

basicClear :: PrimMonad m => MVector (PrimState m) Int64 -> m ()

basicSet :: PrimMonad m => MVector (PrimState m) Int64 -> Int64 -> m ()

basicUnsafeCopy :: PrimMonad m => MVector (PrimState m) Int64 -> MVector (PrimState m) Int64 -> m ()

basicUnsafeMove :: PrimMonad m => MVector (PrimState m) Int64 -> MVector (PrimState m) Int64 -> m ()

basicUnsafeGrow :: PrimMonad m => MVector (PrimState m) Int64 -> Int -> m (MVector (PrimState m) Int64)

CRTrans Maybe Int64

Returns Nothing

Methods

crtInfo :: Reflects k1 m Int => TaggedT * k1 m Maybe (CRTInfo Int64)

MessageAPI msg (msg -> Int64) Int64

Methods

getVal :: msg -> (msg -> Int64) -> Int64

isSet :: msg -> (msg -> Int64) -> Bool

Show (ArgType * Int64)

Methods

showsPrec :: Int -> ArgType * Int64 -> ShowS

show :: ArgType * Int64 -> String

showList :: [ArgType * Int64] -> ShowS

(Protoable (IZipVector m (ZqBasic k q Int64)), (~) * (ProtoType (IZipVector m (ZqBasic k q Int64))) RqProduct, Protoable (IZipVector m b), (~) * (ProtoType (IZipVector m b)) RqProduct) => Protoable (IZipVector m (ZqBasic k q Int64, b))

Associated Types

type ProtoType (IZipVector m (ZqBasic k q Int64, b)) :: *

Methods

toProto :: IZipVector m (ZqBasic k q Int64, b) -> ProtoType (IZipVector m (ZqBasic k q Int64, b))

fromProto :: MonadError String m => ProtoType (IZipVector m (ZqBasic k q Int64, b)) -> m (IZipVector m (ZqBasic k q Int64, b))

(Fact m, Reflects k q Int64) => Protoable (IZipVector m (ZqBasic k q Int64))

Associated Types

type ProtoType (IZipVector m (ZqBasic k q Int64)) :: *

Methods

toProto :: IZipVector m (ZqBasic k q Int64) -> ProtoType (IZipVector m (ZqBasic k q Int64))

fromProto :: MonadError String m => ProtoType (IZipVector m (ZqBasic k q Int64)) -> m (IZipVector m (ZqBasic k q Int64))

Fact m => Protoable (IZipVector m Int64)

Associated Types

type ProtoType (IZipVector m Int64) :: *

Methods

toProto :: IZipVector m Int64 -> ProtoType (IZipVector m Int64)

fromProto :: MonadError String m => ProtoType (IZipVector m Int64) -> m (IZipVector m Int64)

data Vector Int64

data Vector Int64 = V_Int64 (Vector Int64)

type CRTExt Int64

type CRTExt Int64 = Complex Double

data MVector s Int64

data MVector s Int64 = MV_Int64 (MVector s Int64)

type ProtoType (IZipVector m (ZqBasic k q Int64, b))

type ProtoType (IZipVector m (ZqBasic k q Int64, b)) = RqProduct

type ProtoType (IZipVector m (ZqBasic k q Int64))

type ProtoType (IZipVector m (ZqBasic k q Int64)) = RqProduct

type ProtoType (IZipVector m Int64)

type ProtoType (IZipVector m Int64) = R

Complex

module Crypto.Lol.Types.Unsafe.Complex

Factored

module Crypto.Lol.Factored

Miscellaneous

rescaleMod :: forall a b. (Mod a, Mod b, ModRep a ~ ModRep b, Lift a (ModRep b), Ring b) => a -> b

A default implementation of rescaling for Mod types.

roundCoset :: forall zp z r. (Mod zp, z ~ ModRep zp, Lift zp z, RealField r) => zp -> r -> z

Deterministically round to a nearby value in the desired coset.

fromJust' :: String -> Maybe a -> a

Version of fromJust with an error message.

pureT :: Applicative f => Tagged t a -> TaggedT t f a

Apply any applicative to a Tagged value.

peelT :: Tagged t (f a) -> TaggedT t f a

Expose the monad of a Tagged value.

pasteT :: TaggedT t f a -> Tagged t (f a)

Hide the monad of a Tagged value.

withWitness :: forall n r. (SingI n => Tagged n r) -> Sing n -> r

Use a singleton as a witness to extract a value from a Tagged value.

withWitnessT :: forall n mon r. (SingI n => TaggedT n mon r) -> Sing n -> mon r

Transformer version of withWitness.

module Data.Functor.Trans.Tagged

module Data.Proxy

Orphan instances

Default Bool

Methods

def :: Bool

(Default a0, Unbox a0) => Vector Vector (Maybe a0)

Methods

basicUnsafeFreeze :: PrimMonad m => Mutable Vector (PrimState m) (Maybe a0) -> m (Vector (Maybe a0))

basicUnsafeThaw :: PrimMonad m => Vector (Maybe a0) -> m (Mutable Vector (PrimState m) (Maybe a0))

basicLength :: Vector (Maybe a0) -> Int

basicUnsafeSlice :: Int -> Int -> Vector (Maybe a0) -> Vector (Maybe a0)

basicUnsafeIndexM :: Monad m => Vector (Maybe a0) -> Int -> m (Maybe a0)

basicUnsafeCopy :: PrimMonad m => Mutable Vector (PrimState m) (Maybe a0) -> Vector (Maybe a0) -> m ()

elemseq :: Vector (Maybe a0) -> Maybe a0 -> b -> b

(Default a0, Unbox a0) => MVector MVector (Maybe a0)

Methods

basicLength :: MVector s (Maybe a0) -> Int

basicUnsafeSlice :: Int -> Int -> MVector s (Maybe a0) -> MVector s (Maybe a0)

basicOverlaps :: MVector s (Maybe a0) -> MVector s (Maybe a0) -> Bool

basicUnsafeNew :: PrimMonad m => Int -> m (MVector (PrimState m) (Maybe a0))

basicInitialize :: PrimMonad m => MVector (PrimState m) (Maybe a0) -> m ()

basicUnsafeReplicate :: PrimMonad m => Int -> Maybe a0 -> m (MVector (PrimState m) (Maybe a0))

basicUnsafeRead :: PrimMonad m => MVector (PrimState m) (Maybe a0) -> Int -> m (Maybe a0)

basicUnsafeWrite :: PrimMonad m => MVector (PrimState m) (Maybe a0) -> Int -> Maybe a0 -> m ()

basicClear :: PrimMonad m => MVector (PrimState m) (Maybe a0) -> m ()

basicSet :: PrimMonad m => MVector (PrimState m) (Maybe a0) -> Maybe a0 -> m ()

basicUnsafeCopy :: PrimMonad m => MVector (PrimState m) (Maybe a0) -> MVector (PrimState m) (Maybe a0) -> m ()

basicUnsafeMove :: PrimMonad m => MVector (PrimState m) (Maybe a0) -> MVector (PrimState m) (Maybe a0) -> m ()

basicUnsafeGrow :: PrimMonad m => MVector (PrimState m) (Maybe a0) -> Int -> m (MVector (PrimState m) (Maybe a0))

(Default a0, Unbox a0) => Unbox (Maybe a0)

(Random a, Random b) => Random (a, b)

Methods

randomR :: RandomGen g => ((a, b), (a, b)) -> g -> ((a, b), g)

random :: RandomGen g => g -> ((a, b), g)

randomRs :: RandomGen g => ((a, b), (a, b)) -> g -> [(a, b)]

randoms :: RandomGen g => g -> [(a, b)]

randomRIO :: ((a, b), (a, b)) -> IO (a, b)

randomIO :: IO (a, b)

(Field f1, Field f2) => C (f1, f2)

Product ring as an (almost) field

Methods

(/) :: (f1, f2) -> (f1, f2) -> (f1, f2)

recip :: (f1, f2) -> (f1, f2)

fromRational' :: Rational -> (f1, f2)

(^-) :: (f1, f2) -> Integer -> (f1, f2)

(IntegralDomain a, IntegralDomain b) => C (a, b)

Product ring as an (almost) integral domain

Methods

div :: (a, b) -> (a, b) -> (a, b)

mod :: (a, b) -> (a, b) -> (a, b)

divMod :: (a, b) -> (a, b) -> ((a, b), (a, b))

(Ring r1, Ring r2) => C (r1, r2)

Pair as product ring

Methods

(*) :: (r1, r2) -> (r1, r2) -> (r1, r2)

one :: (r1, r2)

fromInteger :: Integer -> (r1, r2)

(^) :: (r1, r2) -> Integer -> (r1, r2)

MonadRandom m => MonadRandom (TaggedT * k tag m)

Methods

getRandomR :: Random a => (a, a) -> TaggedT * k tag m a

getRandom :: Random a => TaggedT * k tag m a

getRandomRs :: Random a => (a, a) -> TaggedT * k tag m [a]

getRandoms :: Random a => TaggedT * k tag m [a]

NFData (m a) => NFData (TaggedT k k1 s m a)

Methods

rnf :: TaggedT k k1 s m a -> ()