The PrimIO 펑터

이 펑터는 I/O 스트림의 프리미티브 연산을 합성해 더 높은 수준의 I/O 시설로 만드는 데 쓰여요.

출처: 문서

본문

functor PrimIO ( ... ) : PRIM_IO (* OPTIONAL *)

val someElem : Vector.elem

하나의 스트림에 대한 여러 프리미티브 연산을 결합한 시그니처를 돌려줘요.

compare (pos, pos')

pos 값들에 대한 어떤 기본 선형 순서에서 pos가 pos'보다 작으면 LESS, 같으면 EQUAL, 크면 GREATER를 각각 돌려줘요.

[ Top | Parent | Contents | Index | Root ] Generated April 12
2004 Last Modified May 10
1996 Comments to John Reppy. This document may be distributed freely over the internet as long as the copyright notice and license terms below are prominently displayed within every machine-readable copy. Copyright © 2004 AT&T and Lucent Technologies. All rights reserved. Permission is granted for internet users to make one paper copy for their own personal use. Further hardcopy reproduction is strictly prohibited. Permission to distribute the HTML document electronically on any medium other than the internet must be requested from the copyright holders by contacting the editors. Printed versions of the SML Basis Manual are available from Cambridge University Press. To order
please visit www.cup.org (North America) or www.cup.cam.ac.uk (outside North America).