proof_observations.bend source

proof_observations.bend on the hub · documented module

import Baseimport ./main.bend as Simport ./types.bend as Tdef text_pair(pair: S.Source & String) -> Result<T.Error,String>:  (s,t) = pair  Done{t}def text(r: Result<T.Error,S.Source>) -> Result<T.Error,String>:  match r:    case Fail{e}: Fail{e}    case Done{s}: text_pair(S.Source.text(s))def file_pair(pair: S.Source & U32) -> Result<T.Error,U32>:  (s,n) = pair  Done{n}def file(r: Result<T.Error,S.Source>) -> Result<T.Error,U32>:  match r:    case Fail{e}: Fail{e}    case Done{s}: file_pair(S.Source.file(s))def length(r: Result<T.Error,S.Source>) -> Result<T.Error,U32>:  match r:    case Fail{e}: Fail{e}    case Done{s}: file_pair(S.Source.length(s))def lines(r: Result<T.Error,S.Source>) -> Result<T.Error,U32>:  match r:    case Fail{e}: Fail{e}    case Done{s}: file_pair(S.Source.line_count(s))def scalar_pair(pair: S.Source & U32) -> U32:  (s,n) = pair  ndef size(s: S.Source) -> U32:  scalar_pair(S.Source.length(s))def identity(s: S.Source) -> U32:  scalar_pair(S.Source.file(s))