generic-data-0.6.0.1: Deriving instances with GHC.Generics and related utilities

Safe HaskellSafe
LanguageHaskell2010

Generic.Data.Internal.Compat

Synopsis

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