Safe Haskell	None
Language	Haskell2010

ReWire.Finite

Synopsis

Documentation

Convert an Integer into a Finite n, throws an error if negative or >= n.

toFinite :: forall (n :: Nat) (m :: Nat). KnownNat n => W m -> Finite n Source #

Converts argument bitvector to Finite, raising error if unrepresentable.

toFinite' :: forall (n :: Nat) (m :: Nat). KnownNat n => W m -> Finite n Source #

Converts argument bitvector to Finite n, reducing modulo n if necessary (without raising error; n must be positive, as Finite 0 is uninhabited).

fromFinite :: forall (m :: Nat) (n :: Nat). KnownNat m => Finite n -> W m Source #