ToIface

Binders

toIfaceTvBndr

toIfaceTvBndrs

toIfaceIdBndr

toIfaceBndr

toIfaceForAllBndr

toIfaceTyVarBinders

toIfaceTyVar

Types

toIfaceType

toIfaceTypeX

toIfaceKind

toIfaceTcArgs

toIfaceTyCon

toIfaceTyCon_name

toIfaceTyLit

Tidying types

tidyToIfaceType

tidyToIfaceContext

tidyToIfaceTcArgs

Coercions

toIfaceCoercion

Pattern synonyms

patSynToIfaceDecl

Expressions

toIfaceExpr

toIfaceBang

toIfaceSrcBang

toIfaceLetBndr

toIfaceIdDetails

toIfaceIdInfo

toIfUnfolding

toIfaceOneShot

toIfaceTickish

toIfaceBind

toIfaceAlt

toIfaceCon

toIfaceApp

toIfaceVar