Documentation

(+) :: forall (n :: Nat). KnownNat n => Finite n -> Finite n -> Finite n Source #

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

(*) :: forall (n :: Nat). KnownNat n => Finite n -> Finite n -> Finite n Source #

div :: forall (n :: Nat). KnownNat n => Finite n -> Finite n -> Finite n Source #

mod :: forall (n :: Nat). KnownNat n => Finite n -> Finite n -> Finite n Source #

(==) :: forall (n :: Nat). Finite n -> Finite n -> Bool Source #

(<) :: forall (n :: Nat). Finite n -> Finite n -> Bool Source #

(<=) :: forall (n :: Nat). Finite n -> Finite n -> Bool Source #

(>) :: forall (n :: Nat). Finite n -> Finite n -> Bool Source #

(>=) :: forall (n :: Nat). Finite n -> Finite n -> Bool Source #

even :: forall (n :: Nat). Finite n -> Bool Source #

odd :: forall (n :: Nat). Finite n -> Bool Source #