Mercurial > urweb

annotate src/core_util.sig @ 305:55eedecb6c50

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Remove need to mention table name in expressions for UPDATE and DELETE
author Adam Chlipala <adamc@hcoop.net>
date Sun, 07 Sep 2008 14:30:32 -0400
parents ab86aa858e6c
children bd9ee9aeca2f
rev   line source
adamc@16 1 (* Copyright (c) 2008, Adam Chlipala
adamc@16 2 * All rights reserved.
adamc@16 3 *
adamc@16 4 * Redistribution and use in source and binary forms, with or without
adamc@16 5 * modification, are permitted provided that the following conditions are met:
adamc@16 6 *
adamc@16 7 * - Redistributions of source code must retain the above copyright notice,
adamc@16 8 * this list of conditions and the following disclaimer.
adamc@16 9 * - Redistributions in binary form must reproduce the above copyright notice,
adamc@16 10 * this list of conditions and the following disclaimer in the documentation
adamc@16 11 * and/or other materials provided with the distribution.
adamc@16 12 * - The names of contributors may not be used to endorse or promote products
adamc@16 13 * derived from this software without specific prior written permission.
adamc@16 14 *
adamc@16 15 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
adamc@16 16 * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
adamc@16 17 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
adamc@16 18 * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
adamc@16 19 * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
adamc@16 20 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
adamc@16 21 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
adamc@16 22 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
adamc@16 23 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
adamc@16 24 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
adamc@16 25 * POSSIBILITY OF SUCH DAMAGE.
adamc@16 26 *)
adamc@16 27
adamc@16 28 signature CORE_UTIL = sig
adamc@16 29
adamc@16 30 structure Kind : sig
adamc@193 31 val compare : Core.kind * Core.kind -> order
adamc@193 32
adamc@16 33 val mapfold : (Core.kind', 'state, 'abort) Search.mapfolder
adamc@16 34 -> (Core.kind, 'state, 'abort) Search.mapfolder
adamc@16 35 val map : (Core.kind' -> Core.kind') -> Core.kind -> Core.kind
adamc@16 36 val exists : (Core.kind' -> bool) -> Core.kind -> bool
adamc@16 37 end
adamc@16 38
adamc@16 39 structure Con : sig
adamc@193 40 val compare : Core.con * Core.con -> order
adamc@193 41
adamc@16 42 datatype binder =
adamc@16 43 Rel of string * Core.kind
adamc@20 44 | Named of string * int * Core.kind * Core.con option
adamc@16 45
adamc@16 46 val mapfoldB : {kind : (Core.kind', 'state, 'abort) Search.mapfolder,
adamc@16 47 con : ('context, Core.con', 'state, 'abort) Search.mapfolderB,
adamc@16 48 bind : 'context * binder -> 'context}
adamc@16 49 -> ('context, Core.con, 'state, 'abort) Search.mapfolderB
adamc@16 50 val mapfold : {kind : (Core.kind', 'state, 'abort) Search.mapfolder,
adamc@16 51 con : (Core.con', 'state, 'abort) Search.mapfolder}
adamc@16 52 -> (Core.con, 'state, 'abort) Search.mapfolder
adamc@16 53
adamc@16 54 val map : {kind : Core.kind' -> Core.kind',
adamc@16 55 con : Core.con' -> Core.con'}
adamc@16 56 -> Core.con -> Core.con
adamc@16 57
adamc@16 58 val mapB : {kind : Core.kind' -> Core.kind',
adamc@16 59 con : 'context -> Core.con' -> Core.con',
adamc@16 60 bind : 'context * binder -> 'context}
adamc@16 61 -> 'context -> (Core.con -> Core.con)
adamc@23 62
adamc@23 63 val fold : {kind : Core.kind' * 'state -> 'state,
adamc@23 64 con : Core.con' * 'state -> 'state}
adamc@23 65 -> 'state -> Core.con -> 'state
adamc@23 66
adamc@16 67 val exists : {kind : Core.kind' -> bool,
adamc@16 68 con : Core.con' -> bool} -> Core.con -> bool
adamc@193 69
adamc@193 70 val foldMap : {kind : Core.kind' * 'state -> Core.kind' * 'state,
adamc@193 71 con : Core.con' * 'state -> Core.con' * 'state}
adamc@193 72 -> 'state -> Core.con -> Core.con * 'state
adamc@16 73 end
adamc@16 74
adamc@16 75 structure Exp : sig
adamc@16 76 datatype binder =
adamc@16 77 RelC of string * Core.kind
adamc@20 78 | NamedC of string * int * Core.kind * Core.con option
adamc@16 79 | RelE of string * Core.con
adamc@109 80 | NamedE of string * int * Core.con * Core.exp option * string
adamc@16 81
adamc@16 82 val mapfoldB : {kind : (Core.kind', 'state, 'abort) Search.mapfolder,
adamc@16 83 con : ('context, Core.con', 'state, 'abort) Search.mapfolderB,
adamc@16 84 exp : ('context, Core.exp', 'state, 'abort) Search.mapfolderB,
adamc@16 85 bind : 'context * binder -> 'context}
adamc@16 86 -> ('context, Core.exp, 'state, 'abort) Search.mapfolderB
adamc@16 87 val mapfold : {kind : (Core.kind', 'state, 'abort) Search.mapfolder,
adamc@16 88 con : (Core.con', 'state, 'abort) Search.mapfolder,
adamc@16 89 exp : (Core.exp', 'state, 'abort) Search.mapfolder}
adamc@16 90 -> (Core.exp, 'state, 'abort) Search.mapfolder
adamc@16 91
adamc@16 92 val map : {kind : Core.kind' -> Core.kind',
adamc@16 93 con : Core.con' -> Core.con',
adamc@16 94 exp : Core.exp' -> Core.exp'}
adamc@16 95 -> Core.exp -> Core.exp
adamc@21 96 val mapB : {kind : Core.kind' -> Core.kind',
adamc@21 97 con : 'context -> Core.con' -> Core.con',
adamc@21 98 exp : 'context -> Core.exp' -> Core.exp',
adamc@21 99 bind : 'context * binder -> 'context}
adamc@21 100 -> 'context -> (Core.exp -> Core.exp)
adamc@23 101
adamc@23 102 val fold : {kind : Core.kind' * 'state -> 'state,
adamc@23 103 con : Core.con' * 'state -> 'state,
adamc@23 104 exp : Core.exp' * 'state -> 'state}
adamc@23 105 -> 'state -> Core.exp -> 'state
adamc@23 106
adamc@16 107 val exists : {kind : Core.kind' -> bool,
adamc@16 108 con : Core.con' -> bool,
adamc@16 109 exp : Core.exp' -> bool} -> Core.exp -> bool
adamc@16 110 end
adamc@16 111
adamc@20 112 structure Decl : sig
adamc@20 113 datatype binder = datatype Exp.binder
adamc@20 114
adamc@20 115 val mapfoldB : {kind : (Core.kind', 'state, 'abort) Search.mapfolder,
adamc@20 116 con : ('context, Core.con', 'state, 'abort) Search.mapfolderB,
adamc@20 117 exp : ('context, Core.exp', 'state, 'abort) Search.mapfolderB,
adamc@20 118 decl : ('context, Core.decl', 'state, 'abort) Search.mapfolderB,
adamc@20 119 bind : 'context * binder -> 'context}
adamc@20 120 -> ('context, Core.decl, 'state, 'abort) Search.mapfolderB
adamc@23 121 val mapfold : {kind : (Core.kind', 'state, 'abort) Search.mapfolder,
adamc@23 122 con : (Core.con', 'state, 'abort) Search.mapfolder,
adamc@23 123 exp : (Core.exp', 'state, 'abort) Search.mapfolder,
adamc@23 124 decl : (Core.decl', 'state, 'abort) Search.mapfolder}
adamc@23 125 -> (Core.decl, 'state, 'abort) Search.mapfolder
adamc@23 126
adamc@23 127 val fold : {kind : Core.kind' * 'state -> 'state,
adamc@23 128 con : Core.con' * 'state -> 'state,
adamc@23 129 exp : Core.exp' * 'state -> 'state,
adamc@23 130 decl : Core.decl' * 'state -> 'state}
adamc@23 131 -> 'state -> Core.decl -> 'state
adamc@110 132
adamc@110 133 val foldMap : {kind : Core.kind' * 'state -> Core.kind' * 'state,
adamc@110 134 con : Core.con' * 'state -> Core.con' * 'state,
adamc@110 135 exp : Core.exp' * 'state -> Core.exp' * 'state,
adamc@110 136 decl : Core.decl' * 'state -> Core.decl' * 'state}
adamc@110 137 -> 'state -> Core.decl -> Core.decl * 'state
adamc@16 138 end
adamc@20 139
adamc@20 140 structure File : sig
adamc@179 141 val maxName : Core.file -> int
adamc@179 142
adamc@20 143 datatype binder = datatype Exp.binder
adamc@20 144
adamc@20 145 val mapfoldB : {kind : (Core.kind', 'state, 'abort) Search.mapfolder,
adamc@20 146 con : ('context, Core.con', 'state, 'abort) Search.mapfolderB,
adamc@20 147 exp : ('context, Core.exp', 'state, 'abort) Search.mapfolderB,
adamc@20 148 decl : ('context, Core.decl', 'state, 'abort) Search.mapfolderB,
adamc@20 149 bind : 'context * binder -> 'context}
adamc@20 150 -> ('context, Core.file, 'state, 'abort) Search.mapfolderB
adamc@20 151
adamc@23 152 val mapfold : {kind : (Core.kind', 'state, 'abort) Search.mapfolder,
adamc@23 153 con : (Core.con', 'state, 'abort) Search.mapfolder,
adamc@23 154 exp : (Core.exp', 'state, 'abort) Search.mapfolder,
adamc@23 155 decl : (Core.decl', 'state, 'abort) Search.mapfolder}
adamc@23 156 -> (Core.file, 'state, 'abort) Search.mapfolder
adamc@23 157
adamc@20 158 val mapB : {kind : Core.kind' -> Core.kind',
adamc@20 159 con : 'context -> Core.con' -> Core.con',
adamc@20 160 exp : 'context -> Core.exp' -> Core.exp',
adamc@20 161 decl : 'context -> Core.decl' -> Core.decl',
adamc@20 162 bind : 'context * binder -> 'context}
adamc@20 163 -> 'context -> Core.file -> Core.file
adamc@23 164
adamc@23 165 val fold : {kind : Core.kind' * 'state -> 'state,
adamc@23 166 con : Core.con' * 'state -> 'state,
adamc@23 167 exp : Core.exp' * 'state -> 'state,
adamc@23 168 decl : Core.decl' * 'state -> 'state}
adamc@23 169 -> 'state -> Core.file -> 'state
adamc@110 170
adamc@110 171 val foldMap : {kind : Core.kind' * 'state -> Core.kind' * 'state,
adamc@110 172 con : Core.con' * 'state -> Core.con' * 'state,
adamc@110 173 exp : Core.exp' * 'state -> Core.exp' * 'state,
adamc@110 174 decl : Core.decl' * 'state -> Core.decl' * 'state}
adamc@110 175 -> 'state -> Core.file -> Core.file * 'state
adamc@20 176 end
adamc@20 177
adamc@20 178 end