summaryrefslogtreecommitdiff
path: root/compiler/GHC/Core/PatSyn.hs-boot
blob: 8ce762145079eb5b3718aa64f36966651879a314 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
module GHC.Core.PatSyn where

import BasicTypes (Arity)
import {-# SOURCE #-} GHC.Core.TyCo.Rep (Type)
import Var (TyVar)
import Name (Name)

data PatSyn

patSynArity :: PatSyn -> Arity
patSynInstArgTys :: PatSyn -> [Type] -> [Type]
patSynExTyVars :: PatSyn -> [TyVar]
patSynName :: PatSyn -> Name