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