Methods
entailIndexT :: Tagged * (CT m r) (Fact m :- (Applicative (CT m), Traversable (CT m))) #
entailEqT :: Tagged * (CT m r) ((Eq r, Fact m, TElt CT r) :- Eq (CT m r)) #
entailZTT :: Tagged * (CT m r) ((ZeroTestable r, Fact m, TElt CT r) :- ZeroTestable (CT m r)) #
entailNFDataT :: Tagged * (CT m r) ((NFData r, Fact m, TElt CT r) :- NFData (CT m r)) #
entailRandomT :: Tagged * (CT m r) ((Random r, Fact m, TElt CT r) :- Random (CT m r)) #
entailShowT :: Tagged * (CT m r) ((Show r, Fact m, TElt CT r) :- Show (CT m r)) #
entailModuleT :: Tagged * (GF k fp d, CT m fp) ((GFCtx k fp d, Fact m, TElt CT fp) :- Module (GF k fp d) (CT m fp)) #
scalarPow :: (Additive r, Fact m, TElt CT r) => r -> CT m r #
l :: (Additive r, Fact m, TElt CT r) => CT m r -> CT m r #
lInv :: (Additive r, Fact m, TElt CT r) => CT m r -> CT m r #
mulGPow :: (Ring r, Fact m, TElt CT r) => CT m r -> CT m r #
mulGDec :: (Ring r, Fact m, TElt CT r) => CT m r -> CT m r #
divGPow :: (ZeroTestable r, IntegralDomain r, Fact m, TElt CT r) => CT m r -> Maybe (CT m r) #
divGDec :: (ZeroTestable r, IntegralDomain r, Fact m, TElt CT r) => CT m r -> Maybe (CT m r) #
crtFuncs :: (CRTrans mon r, Fact m, TElt CT r) => mon (r -> CT m r, CT m r -> CT m r, CT m r -> CT m r, CT m r -> CT m r, CT m r -> CT m r) #
tGaussianDec :: (OrdFloat q, Random q, TElt CT q, ToRational v, Fact m, MonadRandom rnd) => v -> rnd (CT m q) #
gSqNormDec :: (Ring r, Fact m, TElt CT r) => CT m r -> r #
twacePowDec :: (Ring r, Divides m m', TElt CT r) => CT m' r -> CT m r #
embedPow :: (Additive r, Divides m m', TElt CT r) => CT m r -> CT m' r #
embedDec :: (Additive r, Divides m m', TElt CT r) => CT m r -> CT m' r #
crtExtFuncs :: (CRTrans mon r, Divides m m', TElt CT r) => mon (CT m' r -> CT m r, CT m r -> CT m' r) #
coeffs :: (Ring r, Divides m m', TElt CT r) => CT m' r -> [CT m r] #
powBasisPow :: (Ring r, TElt CT r, Divides m m') => Tagged Factored m [CT m' r] #
crtSetDec :: (Divides m m', PrimeField fp, Coprime (PToF (CharOf PrimeBin fp)) m', TElt CT fp) => Tagged Factored m [CT m' fp] #
fmapT :: (Fact m, TElt CT a, TElt CT b) => (a -> b) -> CT m a -> CT m b #
zipWithT :: (Fact m, TElt CT a, TElt CT b, TElt CT c) => (a -> b -> c) -> CT m a -> CT m b -> CT m c #
unzipT :: (Fact m, TElt CT (a, b), TElt CT a, TElt CT b) => CT m (a, b) -> (CT m a, CT m b) #