cli.dcl 835 Bytes
Newer Older
1
definition module cli
2
3
4
5

// $Id$

from coreclean import SuclSymbol,SuclVariable,SuclTypeSymbol,SuclTypeVariable
6
from strat import Strategy
7
from rule import Rule
8
9
10
11
12
13
14
15
from graph import Graph
from StdOverloaded import ==

// Transitive necessities

from strat import Substrategy
from spine import Spine,Subspine
from graph import Node
16
17
18
19

:: Cli

typerule :: Cli SuclSymbol -> Rule SuclTypeSymbol SuclTypeVariable
20
21
22
exports :: Cli -> [SuclSymbol]
complete :: Cli -> [SuclSymbol] -> Bool
clistrategy :: Cli ((Graph SuclSymbol SuclVariable) SuclVariable var -> Bool) -> Strategy SuclSymbol var SuclVariable answer | == var
23
24
25
26
27
28
29
30
31

// Build a cli structure
mkcli ::
    [(SuclSymbol,Rule SuclTypeSymbol SuclTypeVariable)]
    [(SuclSymbol,[Bool])]
    [SuclSymbol]
    [(SuclTypeSymbol,[SuclSymbol])]
    [(SuclSymbol,[Rule SuclSymbol SuclVariable])]
 -> Cli