|
From: Vesa K. <ve...@ml...> - 2006-12-10 11:17:39
|
Reorganized public files. ---------------------------------------------------------------------- D mltonlib/trunk/com/ssh/extended-basis/unstable/public/effect.sig ---------------------------------------------------------------------- Deleted: mltonlib/trunk/com/ssh/extended-basis/unstable/public/effect.sig =================================================================== --- mltonlib/trunk/com/ssh/extended-basis/unstable/public/effect.sig 2006-12-10 19:17:13 UTC (rev 4964) +++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/effect.sig 2006-12-10 19:17:36 UTC (rev 4965) @@ -1,32 +0,0 @@ -(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland - * - * This code is released under the MLton license, a BSD-style license. - * See the LICENSE file or http://mlton.org/License for details. - *) - -(** Utilities for dealing with side-effecting procedures. *) -signature EFFECT = sig - type 'a t = 'a -> unit - (** Type of side-effecting procedures. *) - - val ignore : 'a t - (** No-operation ({ignore = fn _ => ()}). *) - - val nop : unit t - (** No-operation ({nop = fn () => ()}). *) - - val obs : 'a t -> 'a UnOp.t - (** - * Side-effecting I-combinator ({obs ef x = (ef x ; x)}). Using {obs} - * and {o} you can "attach" side-effects to a function. The name {obs} - * is short for {observe} and comes from the idea that the data is - * observed by the effect. - *) - - val past : unit t -> 'a UnOp.t - (** - * Side-effecting I-combinator ({past ef x = (ef () ; x)}). Using - * {past} and {o} you can "attach" side-effects to a function. The - * name {past} comes from the idea that the data flows past the effect. - *) -end |