Contents Index

Type.Squid.CrushProj

Synopsis

crushProjClassT :: ClassId -> SquidM () gotProjT :: ClassId -> SquidM Bool crushProjItems :: ClassId -> (Type, TypeInfo) -> SquidM (Maybe (Type, TypeInfo), Maybe ClassId)

Documentation

crushProjClassT :: ClassId -> SquidM ()

Crush out field projections from a type equivalence class.

gotProjT :: ClassId -> SquidM Bool

crushProjItems :: ClassId -> (Type, TypeInfo) -> SquidM (Maybe (Type, TypeInfo), Maybe ClassId)

Produced by Haddock version 0.7