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

p ~ Ordering => Inj p Ordering

Methods

inj :: p -> Ordering

p ~ Bool => Inj p Bool

Methods

inj :: p -> Bool

p ~ () => Inj p ()

Methods

inj :: p -> ()

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 (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

(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

InjOption (DecideOption p) p a => Inj p (Option a)

Methods

inj :: p -> Option a

InjZipList (DecideZipList p) p a => Inj p (ZipList a)

Methods

inj :: p -> ZipList a

InjIdentity (DecideIdentity p) p a => Inj p (Identity a)

Methods

inj :: p -> Identity a

InjSTM (DecideSTM p) p a => Inj p (STM a)

Methods

inj :: p -> STM a

InjIO (DecideIO p) p a => Inj p (IO a)

Methods

inj :: p -> IO a

InjNonEmpty (DecideNonEmpty p) p a => Inj p (NonEmpty a)

Methods

inj :: p -> NonEmpty a

InjList (DecideList p) p a => Inj p [a]

Methods

inj :: p -> [a]

InjMaybe (DecideMaybe p) p a => Inj p (Maybe a)

Methods

inj :: p -> Maybe a

(t ~ Either pa pb, Inj pa a, Inj pb b) => Inj t (Either a b)

Methods

inj :: t -> Either a b

(t ~ (pa, pb), Inj pa a, Inj pb b) => Inj t (a, b)

Methods

inj :: t -> (a, b)

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

Methods

inj :: p -> r -> a

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

Methods

inj :: p -> ST s a

p ~ Proxy t' => Inj p (Proxy t)

Methods

inj :: p -> Proxy t

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

Methods

inj :: p -> Rec1 f a

(t ~ Const pa pb, Inj pa a) => Inj t (Const a b)

Methods

inj :: t -> Const a b

(t ~ (pa, pb, pc), Inj pa a, Inj pb b, Inj pc c) => Inj t (a, b, c)

Methods

inj :: t -> (a, b, c)

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

Methods

inj :: p -> K1 i a x

(t ~ (pa, pb, pc, pd), Inj pa a, Inj pb b, Inj pc c, Inj pd d) => Inj t (a, b, c, d)

Methods

inj :: t -> (a, b, c, d)

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