tricu

An interpreted language for exploring Tree Calculus
Log | Files | Refs | README | LICENSE

bytes.tri (318B)


      1 !import base *
      2 !export *
      3 
      4 -- List operations on byte streams; these aliases do not validate byte values.
      5 bytesNil? = emptyList?
      6 
      7 bytesHead = headMaybe
      8 
      9 bytesTail =
     10   matchList nothing (_ r : just r)
     11 
     12 bytesLength = length
     13 bytesAppend = append
     14 bytesTake = take
     15 bytesDrop = drop
     16 bytesSplitAt = splitAt
     17 bytesEq? = equal?
     18