| products/sources/formale sprachen/Isabelle/Tools/Metis/src/ |
|
Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei: Clause.sml Sprache: Unknown
|
rahmenlose Ansicht.sig DruckansichtText {Text[154] Isabelle[201] Abap[220]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen] (* ========================================================================= *) (* PRESERVING SHARING OF ML VALUES *) (* Copyright (c) 2005 Joe Leslie-Hurd, distributed under the BSD License *) (* ========================================================================= *) signature Sharing = sig (* ------------------------------------------------------------------------- *) (* Option operations. *) (* ------------------------------------------------------------------------- *) val mapOption : ('a -> 'a) -> 'a option -> 'a option val mapsOption : ('a -> 's -> 'a * 's) -> 'a option -> 's -> 'a option * 's (* ------------------------------------------------------------------------- *) (* List operations. *) (* ------------------------------------------------------------------------- *) val map : ('a -> 'a) -> 'a list -> 'a list val revMap : ('a -> 'a) -> 'a list -> 'a list val maps : ('a -> 's -> 'a * 's) -> 'a list -> 's -> 'a list * 's val revMaps : ('a -> 's -> 'a * 's) -> 'a list -> 's -> 'a list * 's val updateNth : int * 'a -> 'a list -> 'a list val setify : ''a list -> ''a list (* ------------------------------------------------------------------------- *) (* Function caching. *) (* ------------------------------------------------------------------------- *) val cache : ('a * 'a -> order) -> ('a -> 'b) -> 'a -> 'b (* ------------------------------------------------------------------------- *) (* Hash consing. *) (* ------------------------------------------------------------------------- *) val hashCons : ('a * 'a -> order) -> 'a -> 'a end [ Verzeichnis aufwärts0.147unsichere Verbindung ] |