Generic.Data.Internal.Compat

Documentation

readPrec1 :: (Read1 f, Read a) => ReadPrec (f a)

Lift the standard readPrec and readListPrec functions through the type constructor.

Since: base-4.10.0.0

type family Div (a :: Nat) (b :: Nat) :: Nat where ... infixl 7

Division (round down) of natural numbers. Div x 0 is undefined (i.e., it cannot be reduced).

Since: base-4.11.0.0