tricu

A lazy functional language based on Tree Calculus
Log | Files | Refs | README | LICENSE

chains.tri (491B)

      1 -- Pure binary64 implementation; trusted internal helpers.
      2 !import binary64_kernels as K
      3 !export drop2
      4 !export drop3
      5 !export drop4
      6 !export flagsOr
      7 
      8 drop2 x = K.tail (K.tail x)
      9 drop3 x = K.tail (drop2 x)
     10 drop4 x = K.tail (drop3 x)
     11 flagsOr a b = t (K.either (K.head a) (K.head b))
     12   (t (K.either (K.head (K.tail a)) (K.head (K.tail b)))
     13     (t (K.either (K.head (drop2 a)) (K.head (drop2 b)))
     14       (t (K.either (K.head (drop3 a)) (K.head (drop3 b)))
     15         (K.either (drop4 a) (drop4 b)))))