lawful-fields

Search uses release 0.1.1.0 · 234 definitions

Releases (2)

def split.push
def split.fin
def splitThe pieces of xs between separators, as Base's String.split does for text: always at least one piece, so [] gives [[]] and [sep] gives [[], []].
def digit.if
def digitThe value of a decimal digit byte ('0' is 48).
def dec.push
def dec.go
def decA decimal number: one or more digits (leading zeros allowed), nothing else; any size (framebender's Pos.read on text is the same function).
def decb.if
def decb.of
def decbA decimal number below bound; None otherwise.
def nat_ofThe number a Maybe<U32> stands for.
def piecesThe pieces of xs that end at each offset of es, the first starting at from and each next one just after the previous end (where the separator was).
def withinEvery offset in es lies in from ..
def count.if
def countHow many times sep occurs in xs.
def join.go
def joinThe pieces joined with sep between them.
def textBytes as text and back: one Char per byte (Chr{b}), with no decoding (the way framebender reads files).
def texts
def codes
def showThe decimal digits of a number, as bytes (Base's Nat.show).
def endsThe end offset of each piece, the first piece starting at from and each next one just after the previous end.
def natsThe numbers words stand for.
def all_digitsxs is one or more digits (any value).

def cut.cons
def cut.nextThe end of the piece starting at from, searched only when want is set (no scan past the last field asked for; the answer is then unused).
def cut.gon counts the pieces still wanted, this one included; more says the previous piece ended at a separator; r holds this piece's end.
def cutThe end offsets of the first n pieces of bytes from ..
def num.fin
def num.out
def num.gor holds byte j; acc is the value so far; ok says every byte was a digit and nothing overflowed.
def numThe decimal number in bytes from ..
def digits.out
def digits.gor holds byte j; ok says every byte so far was a digit.
def digitsBytes from ..
def put_dec.go
def put_dec.digitsThe decimal digits of n, most significant first, before acc; small says n < 10 (the last digit).
def put_dec.list
def put_decn written in decimal at the end of b (for room enough: at most 10 bytes).

law cut_viewcut answers the end offsets of the first n pieces of from ..
law cut_endsThe ends are exactly where split's pieces end, counted from from (so they increase, and each next piece starts just after the previous end).
law cut_boundsEvery end lies in from ..
law cut_pair
law num_viewnum reads the decimal number in from ..
law num_pair
law split_lengthThe number of pieces split gives is one more than the number of separators.
law split_joinJoining the pieces with the separator gives xs back.
law digits_viewdigits says the bytes are one or more decimal digits, a number of any size (num answers None both for non-numbers and for numbers of 2^32 or more).
law digits_pair
law put_dec_viewput_dec writes n in decimal at the end (room for 10 more bytes needed).
law put_dec_ok
law split_textSplitting bytes is splitting their text.
law join_textJoining bytes is joining their text.
law text_codes
law join_atJoining a list of pieces splits at piece k: the first k+1 pieces, the separator, the rest.
law ends_joinPiece k ends at the k-th end: the first k+1 pieces joined, from from.
law pieces_length
law decb_fitsdecb (with bound 2^32) is dec when the number fits.