Inj.Base

Inj instances for types from base.

Orphan instances

Real p => Inj p Double

Injective only if the number is representable as Double.

Methods

inj :: p -> Double

Real p => Inj p Float

Injective only if the number is representable as Float.

Methods

inj :: p -> Float

Integral p => Inj p WordPtr

Throws Underflow and Overflow.

Methods

inj :: p -> WordPtr

Integral p => Inj p IntPtr

Throws Underflow and Overflow.

Methods

inj :: p -> IntPtr

Integral p => Inj p Word64

Throws Underflow and Overflow.

Methods

inj :: p -> Word64

Integral p => Inj p Word32

Throws Underflow and Overflow.

Methods

inj :: p -> Word32

Integral p => Inj p Word16

Throws Underflow and Overflow.

Methods

inj :: p -> Word16

Integral p => Inj p Word8

Throws Underflow and Overflow.

Methods

inj :: p -> Word8

Integral p => Inj p Word

Throws Underflow and Overflow.

Methods

inj :: p -> Word

Integral p => Inj p Int64

Throws Underflow and Overflow.

Methods

inj :: p -> Int64

Integral p => Inj p Int32

Throws Underflow and Overflow.

Methods

inj :: p -> Int32

Integral p => Inj p Int16

Throws Underflow and Overflow.

Methods

inj :: p -> Int16

Integral p => Inj p Int8

Throws Underflow and Overflow.

Methods

inj :: p -> Int8

Integral p => Inj p Int

Throws Underflow and Overflow.

Methods

inj :: p -> Int

Integral p => Inj p Natural

Throws Underflow.

Methods

inj :: p -> Natural

Integral p => Inj p Integer

Methods

inj :: p -> Integer

Inj p a => Inj p (Par1 a)

Methods

inj :: p -> Par1 a

Inj p a => Inj p (Min a)

Methods

inj :: p -> Min a

Inj p a => Inj p (Max a)

Methods

inj :: p -> Max a

Inj p a => Inj p (First a)

Methods

inj :: p -> First a

Inj p a => Inj p (Last a)

Methods

inj :: p -> Last a

Inj p a => Inj p (Option a)

Methods

inj :: p -> Option a

Inj p a => Inj p (ZipList a)

Methods

inj :: p -> ZipList a

Inj p a => Inj p (Identity a)

Methods

inj :: p -> Identity a

Inj p a => Inj p (STM a)

Methods

inj :: p -> STM a

Inj p a => Inj p (First a)

Methods

inj :: p -> First a

Inj p a => Inj p (Last a)

Methods

inj :: p -> Last a

Inj p a => Inj p (Dual a)

Methods

inj :: p -> Dual a

Inj p a => Inj p (Sum a)

Methods

inj :: p -> Sum a

Inj p a => Inj p (Product a)

Methods

inj :: p -> Product a

Inj p a => Inj p (Down a)

Methods

inj :: p -> Down a

Inj p a => Inj p (ReadPrec a)

Methods

inj :: p -> ReadPrec a

Inj p a => Inj p (ReadP a)

Methods

inj :: p -> ReadP a

Inj p a => Inj p (NonEmpty a)

Methods

inj :: p -> NonEmpty a

Inj p a => Inj p (IO a)

Methods

inj :: p -> IO a

Inj p a => Inj p (Maybe a)

Methods

inj :: p -> Maybe a

Inj p a => Inj p [a]

Methods

inj :: p -> [a]

(Num a, Inj p a) => Inj p (Complex a)

Methods

inj :: p -> Complex a

(HasResolution res, Real p) => Inj p (Fixed res)

Throws LossOfPrecision.

Methods

inj :: p -> Fixed res

(Inj Integer a, Real p) => Inj p (Ratio a)

Methods

inj :: p -> Ratio a

Inj p a => Inj p (r -> a)

Methods

inj :: p -> r -> a

Inj p a => Inj p (ST s a)

Methods

inj :: p -> ST s a

(TypeError ((((((Text "Refusing to decide whether to inject " :<>: ShowType p) :<>: Text " into 'fst' ") :<>: ShowType x) :<>: Text " or 'snd' ") :<>: ShowType y) :$$: (((Text "in the " :<>: ShowType Inj) :<>: Text " instance for ") :<>: ShowType (,))) :: Constraint) => Inj p (x, y)

Methods

inj :: p -> (x, y)

(TypeError ((((((Text "Refusing to decide whether to inject " :<>: ShowType p) :<>: Text " into 'Left' ") :<>: ShowType x) :<>: Text " or 'Right' ") :<>: ShowType y) :$$: (((Text "in the " :<>: ShowType Inj) :<>: Text " instance for ") :<>: ShowType Either)) :: Constraint) => Inj p (Either x y)

Methods

inj :: p -> Either x y

Inj p (f a) => Inj p (Rec1 f a)

Methods

inj :: p -> Rec1 f a

Inj p a => Inj p (K1 i a x)

Methods

inj :: p -> K1 i a x

Inj p (f (g a)) => Inj p ((f :.: g) a)

Methods

inj :: p -> (f :.: g) a

Inj p (f a) => Inj p (M1 i c f a)

Methods

inj :: p -> M1 i c f a

Inj p (f (g a)) => Inj p (Compose f g a)

Methods

inj :: p -> Compose f g a