Safe Haskell	None
Language	Haskell2010

GHC.Tc.Gen.Arrow

Description

Typecheck arrow notation

Documentation

tcProc :: LPat GhcRn -> LHsCmdTop GhcRn -> ExpRhoType -> TcM (LPat GhcTc, LHsCmdTop GhcTc, TcCoercion) Source #