File: Constraint.hs

package info (click to toggle)
haskell-ghc-tcplugins-extra 0.4.6-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 316 kB
  • sloc: haskell: 901; makefile: 6
file content (13 lines) | stat: -rw-r--r-- 259 bytes parent folder | download | duplicates (6) 
1
2
3
4
5
6
7
8
9
10
11
12
13
 
module GhcApi.Constraint
  ( Ct(..)
  , CtEvidence(..)
  , CtLoc
  , CanEqLHS(..)
  , ctLoc
  , ctEvId
  , mkNonCanonical
  )
where

import GHC.Tc.Types.Constraint
  (Ct (..), CtEvidence (..), CanEqLHS (..), CtLoc, ctLoc, ctEvId, mkNonCanonical)