| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Lorentz.Arith
Description
Type families from Arith lifted to Haskell types.
Synopsis
- class (ArithOp aop (ToT n) (ToT m), ToT (ArithResHs aop n m) ~ ArithRes aop (ToT n) (ToT m)) => ArithOpHs (aop :: Type) (n :: Type) (m :: Type) where
- type ArithResHs aop n m :: Type
- class (UnaryArithOp aop (ToT n), ToT (UnaryArithResHs aop n) ~ UnaryArithRes aop (ToT n)) => UnaryArithOpHs (aop :: Type) (n :: Type) where
- type UnaryArithResHs aop n :: Type
- class ToIntArithOp (ToT n) => ToIntegerArithOpHs (n :: Type)
Documentation
class (ArithOp aop (ToT n) (ToT m), ToT (ArithResHs aop n m) ~ ArithRes aop (ToT n) (ToT m)) => ArithOpHs (aop :: Type) (n :: Type) (m :: Type) Source #
Lifted ArithOp.
Associated Types
type ArithResHs aop n m :: Type Source #
Instances
class (UnaryArithOp aop (ToT n), ToT (UnaryArithResHs aop n) ~ UnaryArithRes aop (ToT n)) => UnaryArithOpHs (aop :: Type) (n :: Type) Source #
Lifted UnaryArithOp.
Associated Types
type UnaryArithResHs aop n :: Type Source #
Instances
class ToIntArithOp (ToT n) => ToIntegerArithOpHs (n :: Type) Source #
Instances
| ToIntegerArithOpHs Natural Source # | |
Defined in Lorentz.Arith | |
| ToIntegerArithOpHs Bls12381Fr Source # | |
Defined in Lorentz.Arith | |