blob: 1a79159f7b544fa27ec4d79c62eb5c96f5692b95 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
module PatSyn where
import BasicTypes (Arity)
import {-# SOURCE #-} TyCoRep (Type)
import Var (TyVar)
import Name (Name)
data PatSyn
patSynArity :: PatSyn -> Arity
patSynInstArgTys :: PatSyn -> [Type] -> [Type]
patSynExTyVars :: PatSyn -> [TyVar]
patSynName :: PatSyn -> Name
|