generic-data-0.2.0.0: Utilities for GHC.Generics

Generic.Data.Internal.Compat

Synopsis

# Documentation

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