blob: 9d2afdc6ad058b96b7ca18441ec20b2d43f05f9d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
module GF.Devel.Judgements where
import GF.Devel.Terms
import GF.Infra.Ident
data Judgement = Judgement {
jform :: JudgementForm, -- cat fun oper param
jtype :: Type, -- context type type constructors
jdef :: Term, -- lindef def - values
jlin :: Term, -- lincat lin def -
jprintname :: Term -- printname printname - -
}
data JudgementForm =
JCat
| JFun
| JOper
| JParam
deriving Eq
|
