tricu

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

bytes.tri (260B)


      1 !import "base" !Local
      2 
      3 bytesNil? = emptyList?
      4 
      5 bytesHead =
      6   matchList nothing (h _ : just h)
      7 
      8 bytesTail =
      9   matchList nothing (_ r : just r)
     10 
     11 bytesLength = length
     12 bytesAppend = append
     13 bytesTake = take
     14 bytesDrop = drop
     15 bytesSplitAt = splitAt
     16 bytesEq? = equal?