ghc-8.2.1: The GHC API

Safe Haskell	None
Language	Haskell2010

TcFlatten

Documentation

data FlattenMode Source #

Constructors

FM_FlattenAll
FM_SubstOnly

Instances

Outputable FlattenMode Source #
Methods ppr :: FlattenMode -> SDoc Source # pprPrec :: Rational -> FlattenMode -> SDoc Source #

flatten :: FlattenMode -> CtEvidence -> TcType -> TcS (Xi, TcCoercion) Source #

flattenManyNom :: CtEvidence -> [TcType] -> TcS ([Xi], [TcCoercion]) Source #

unflatten :: Cts -> Cts -> TcS Cts Source #