Primus.Num1

Documentation

class Num1 a where

lifted version of Num class for handling failure minimal definition requires toInteger1 and fromInteger1 unless leveraging default signatures

Minimal complete definition

Nothing

Methods

toInteger1 :: a -> Integer

required method for converting from "a" to an Integer

default toInteger1 :: Enum a => a -> Integer

fromInteger1 :: a -> Integer -> Either String a

required method for trying to convert from an Integer to "a"

default fromInteger1 :: (Bounded a, Enum a) => a -> Integer -> Either String a

(.+) :: Either String a -> Either String a -> Either String a infixl 6

(.-) :: Either String a -> Either String a -> Either String a infixl 6

(.*) :: Either String a -> Either String a -> Either String a infixl 7

negate1 :: Either String a -> Either String a

abs1 :: Either String a -> Either String a

signum1 :: Either String a -> Either String a

succ1 :: Either String a -> Either String a

pred1 :: Either String a -> Either String a

Instances

Num1 Int

Defined in Primus.Num1

Methods

toInteger1 :: Int -> Integer

fromInteger1 :: Int -> Integer -> Either String Int

(.+) :: Either String Int -> Either String Int -> Either String Int

(.-) :: Either String Int -> Either String Int -> Either String Int

(.*) :: Either String Int -> Either String Int -> Either String Int

negate1 :: Either String Int -> Either String Int

abs1 :: Either String Int -> Either String Int

signum1 :: Either String Int -> Either String Int

succ1 :: Either String Int -> Either String Int

pred1 :: Either String Int -> Either String Int

Num1 Int8

Defined in Primus.Num1

Methods

toInteger1 :: Int8 -> Integer

fromInteger1 :: Int8 -> Integer -> Either String Int8

(.+) :: Either String Int8 -> Either String Int8 -> Either String Int8

(.-) :: Either String Int8 -> Either String Int8 -> Either String Int8

(.*) :: Either String Int8 -> Either String Int8 -> Either String Int8

negate1 :: Either String Int8 -> Either String Int8

abs1 :: Either String Int8 -> Either String Int8

signum1 :: Either String Int8 -> Either String Int8

succ1 :: Either String Int8 -> Either String Int8

pred1 :: Either String Int8 -> Either String Int8

Num1 Int16

Defined in Primus.Num1

Methods

toInteger1 :: Int16 -> Integer

fromInteger1 :: Int16 -> Integer -> Either String Int16

(.+) :: Either String Int16 -> Either String Int16 -> Either String Int16

(.-) :: Either String Int16 -> Either String Int16 -> Either String Int16

(.*) :: Either String Int16 -> Either String Int16 -> Either String Int16

negate1 :: Either String Int16 -> Either String Int16

abs1 :: Either String Int16 -> Either String Int16

signum1 :: Either String Int16 -> Either String Int16

succ1 :: Either String Int16 -> Either String Int16

pred1 :: Either String Int16 -> Either String Int16

Num1 Int32

Defined in Primus.Num1

Methods

toInteger1 :: Int32 -> Integer

fromInteger1 :: Int32 -> Integer -> Either String Int32

(.+) :: Either String Int32 -> Either String Int32 -> Either String Int32

(.-) :: Either String Int32 -> Either String Int32 -> Either String Int32

(.*) :: Either String Int32 -> Either String Int32 -> Either String Int32

negate1 :: Either String Int32 -> Either String Int32

abs1 :: Either String Int32 -> Either String Int32

signum1 :: Either String Int32 -> Either String Int32

succ1 :: Either String Int32 -> Either String Int32

pred1 :: Either String Int32 -> Either String Int32

Num1 Int64

Defined in Primus.Num1

Methods

toInteger1 :: Int64 -> Integer

fromInteger1 :: Int64 -> Integer -> Either String Int64

(.+) :: Either String Int64 -> Either String Int64 -> Either String Int64

(.-) :: Either String Int64 -> Either String Int64 -> Either String Int64

(.*) :: Either String Int64 -> Either String Int64 -> Either String Int64

negate1 :: Either String Int64 -> Either String Int64

abs1 :: Either String Int64 -> Either String Int64

signum1 :: Either String Int64 -> Either String Int64

succ1 :: Either String Int64 -> Either String Int64

pred1 :: Either String Int64 -> Either String Int64

Num1 Natural

Defined in Primus.Num1

Methods

toInteger1 :: Natural -> Integer

fromInteger1 :: Natural -> Integer -> Either String Natural

(.+) :: Either String Natural -> Either String Natural -> Either String Natural

(.-) :: Either String Natural -> Either String Natural -> Either String Natural

(.*) :: Either String Natural -> Either String Natural -> Either String Natural

negate1 :: Either String Natural -> Either String Natural

abs1 :: Either String Natural -> Either String Natural

signum1 :: Either String Natural -> Either String Natural

succ1 :: Either String Natural -> Either String Natural

pred1 :: Either String Natural -> Either String Natural

Num1 Word

Defined in Primus.Num1

Methods

toInteger1 :: Word -> Integer

fromInteger1 :: Word -> Integer -> Either String Word

(.+) :: Either String Word -> Either String Word -> Either String Word

(.-) :: Either String Word -> Either String Word -> Either String Word

(.*) :: Either String Word -> Either String Word -> Either String Word

negate1 :: Either String Word -> Either String Word

abs1 :: Either String Word -> Either String Word

signum1 :: Either String Word -> Either String Word

succ1 :: Either String Word -> Either String Word

pred1 :: Either String Word -> Either String Word

Num1 Word8

Defined in Primus.Num1

Methods

toInteger1 :: Word8 -> Integer

fromInteger1 :: Word8 -> Integer -> Either String Word8

(.+) :: Either String Word8 -> Either String Word8 -> Either String Word8

(.-) :: Either String Word8 -> Either String Word8 -> Either String Word8

(.*) :: Either String Word8 -> Either String Word8 -> Either String Word8

negate1 :: Either String Word8 -> Either String Word8

abs1 :: Either String Word8 -> Either String Word8

signum1 :: Either String Word8 -> Either String Word8

succ1 :: Either String Word8 -> Either String Word8

pred1 :: Either String Word8 -> Either String Word8

Num1 Word16

Defined in Primus.Num1

Methods

toInteger1 :: Word16 -> Integer

fromInteger1 :: Word16 -> Integer -> Either String Word16

(.+) :: Either String Word16 -> Either String Word16 -> Either String Word16

(.-) :: Either String Word16 -> Either String Word16 -> Either String Word16

(.*) :: Either String Word16 -> Either String Word16 -> Either String Word16

negate1 :: Either String Word16 -> Either String Word16

abs1 :: Either String Word16 -> Either String Word16

signum1 :: Either String Word16 -> Either String Word16

succ1 :: Either String Word16 -> Either String Word16

pred1 :: Either String Word16 -> Either String Word16

Num1 Word32

Defined in Primus.Num1

Methods

toInteger1 :: Word32 -> Integer

fromInteger1 :: Word32 -> Integer -> Either String Word32

(.+) :: Either String Word32 -> Either String Word32 -> Either String Word32

(.-) :: Either String Word32 -> Either String Word32 -> Either String Word32

(.*) :: Either String Word32 -> Either String Word32 -> Either String Word32

negate1 :: Either String Word32 -> Either String Word32

abs1 :: Either String Word32 -> Either String Word32

signum1 :: Either String Word32 -> Either String Word32

succ1 :: Either String Word32 -> Either String Word32

pred1 :: Either String Word32 -> Either String Word32

Num1 Word64

Defined in Primus.Num1

Methods

toInteger1 :: Word64 -> Integer

fromInteger1 :: Word64 -> Integer -> Either String Word64

(.+) :: Either String Word64 -> Either String Word64 -> Either String Word64

(.-) :: Either String Word64 -> Either String Word64 -> Either String Word64

(.*) :: Either String Word64 -> Either String Word64 -> Either String Word64

negate1 :: Either String Word64 -> Either String Word64

abs1 :: Either String Word64 -> Either String Word64

signum1 :: Either String Word64 -> Either String Word64

succ1 :: Either String Word64 -> Either String Word64

pred1 :: Either String Word64 -> Either String Word64

Num1 Pos

Defined in Primus.Num1

Methods

toInteger1 :: Pos -> Integer

fromInteger1 :: Pos -> Integer -> Either String Pos

(.+) :: Either String Pos -> Either String Pos -> Either String Pos

(.-) :: Either String Pos -> Either String Pos -> Either String Pos

(.*) :: Either String Pos -> Either String Pos -> Either String Pos

negate1 :: Either String Pos -> Either String Pos

abs1 :: Either String Pos -> Either String Pos

signum1 :: Either String Pos -> Either String Pos

succ1 :: Either String Pos -> Either String Pos

pred1 :: Either String Pos -> Either String Pos

withOp :: Num1 a => (Integer -> Integer) -> a -> Either String a

run a function of one integer against the underlying Num1 type

withOp2 :: Num1 a => (Integer -> Integer -> Integer) -> a -> a -> Either String a

run a function of two integers against the underlying Num1 types

withOp3 :: Num1 a => (Integer -> Integer -> Integer -> Integer) -> a -> a -> a -> Either String a

run a function of three integers against the underlying Num1 types

withOp4 :: Num1 a => (Integer -> Integer -> Integer -> Integer -> Integer) -> a -> a -> a -> a -> Either String a

run a function of four integers against the underlying Num1 types