Quantum.Synthesis.Ring.FixedPrec

This module provides ring instances for Data.Number.FixedPrec.

Documentation

Orphan instances

Precision e => Floor (FixedPrec e)

Methods

floor_of :: FixedPrec e -> Integer

ceiling_of :: FixedPrec e -> Integer

Precision e => Adjoint2 (FixedPrec e)

Methods

adj2 :: FixedPrec e -> FixedPrec e

Precision e => Adjoint (FixedPrec e)

Methods

adj :: FixedPrec e -> FixedPrec e

Precision e => RootHalfRing (FixedPrec e)

Methods

roothalf :: FixedPrec e

fromDRootTwo :: DRootTwo -> FixedPrec e

Precision e => RootTwoRing (FixedPrec e)

Methods

roottwo :: FixedPrec e

fromZRootTwo :: ZRootTwo -> FixedPrec e

Precision e => HalfRing (FixedPrec e)

Methods

half :: FixedPrec e

fromDyadic :: Dyadic -> FixedPrec e