Safe Haskell | None |
---|---|
Language | GHC2021 |
Data.Lattice
Documentation
class FastZetaMoebius (f :: Type -> Type) where Source #
Methods
fastZeta :: (Num a, Unbox a, PrimMonad m) => (Int -> f Int) -> Dim f -> MVector (PrimState m) a -> m () Source #
fastMoebius :: (Num a, Unbox a, PrimMonad m) => (Int -> f Int) -> Dim f -> MVector (PrimState m) a -> m () Source #
Instances
FastZetaMoebius DivOrd Source # | |
Defined in Data.Lattice | |
FastZetaMoebius SetOrd Source # | |
Defined in Data.Lattice |