Documentation

Before renaming RHS; idR is always RdrName Not dependency analysed Recursive by default

After renaming RHS; idR can be Name or Id Dependency analysed, later bindings in the list may depend on earlier ones.

FunBind is used for both functions f x = e and variables f = x -> e

Reason 1: Special case for type inference: see tcMonoBinds.

Reason 2: Instance decls can only have FunBinds, which is convenient. If you change this, you'll need to change e.g. rnMethodBinds

But note that the form f :: a->a = ... parses as a pattern binding, just like (f :: a -> a) = ...

The pattern is never a simple variable; That case is done by FunBind

Dictionary binding and suchlike. All VarBinds are introduced by the type checker

An ordinary type signature f :: Num a => a -> a

A pattern synonym type signature @pattern (Eq b) => P a b :: (Num a) => T a

A type signature for a default method inside a class

 default eq :: (Representable0 a, GEq (Rep0 a)) => a -> a -> Bool

A type signature in generated code, notably the code generated for record selectors. We simply record the desired Id itself, replete with its name, type and IdDetails. Otherwise it's just like a type signature: there should be an accompanying binding

An ordinary fixity declaration

     infixl *** 8

An inline pragma

 {#- INLINE f #-}

A specialisation pragma

 {-# SPECIALISE f :: Int -> Int #-}

A specialisation pragma for instance declarations only

 {-# SPECIALISE instance Eq [Int] #-}

(Class tys); should be a specialisation of the current instance declaration

A minimal complete definition pragma

 {-# MINIMAL a | (b, c | (d | e)) #-}

Super-specialised: a default method should be macro-expanded at every call site

The Id to be specialised, an wrapper that specialises the polymorphic function, and inlining spec for the specialised function