Skip to content

Commit

Permalink
Less hashes
Browse files Browse the repository at this point in the history
  • Loading branch information
arybczak committed Oct 6, 2024
1 parent 9fc0605 commit a25ffde
Showing 1 changed file with 25 additions and 25 deletions.
50 changes: 25 additions & 25 deletions effectful-core/src/Effectful/Internal/Env.hs
Original file line number Diff line number Diff line change
Expand Up @@ -97,35 +97,35 @@ data Ref = Ref !Int !Version
instance Prim Ref where
sizeOf# _ = 2# *# sizeOf# (undefined :: Int)
alignment# _ = alignment# (undefined :: Int)
indexByteArray# arr# i# =
let n# = 2# *# i#
ref = indexByteArray# arr# n#
version = indexByteArray# arr# (n# +# 1#)
indexByteArray# arr i =
let n = 2# *# i
ref = indexByteArray# arr n
version = indexByteArray# arr (n +# 1#)
in Ref ref version
readByteArray# arr# i# s0 =
let n# = 2# *# i#
!(# s1#, ref #) = readByteArray# arr# n# s0
!(# s2#, version #) = readByteArray# arr# (n# +# 1#) s1#
in (# s2#, Ref ref version #)
writeByteArray# arr# i# (Ref ref version) s0 =
let n# = 2# *# i#
s1 = writeByteArray# arr# n# ref s0
s2 = writeByteArray# arr# (n# +# 1#) version s1
readByteArray# arr i s0 =
let n = 2# *# i
!(# s1, ref #) = readByteArray# arr n s0
!(# s2, version #) = readByteArray# arr (n +# 1#) s1
in (# s2, Ref ref version #)
writeByteArray# arr i (Ref ref version) s0 =
let n = 2# *# i
s1 = writeByteArray# arr n ref s0
s2 = writeByteArray# arr (n +# 1#) version s1
in s2
indexOffAddr# addr# i# =
let n# = 2# *# i#
ref = indexOffAddr# addr# n#
version = indexOffAddr# addr# (n# +# 1#)
indexOffAddr# addr i =
let n = 2# *# i
ref = indexOffAddr# addr n
version = indexOffAddr# addr (n +# 1#)
in Ref ref version
readOffAddr# addr# i# s0 =
let n# = 2# *# i#
!(# s1, ref #) = readOffAddr# addr# n# s0
!(# s2, version #) = readOffAddr# addr# (n# +# 1#) s1
readOffAddr# addr i s0 =
let n = 2# *# i
!(# s1, ref #) = readOffAddr# addr n s0
!(# s2, version #) = readOffAddr# addr (n +# 1#) s1
in (# s2, Ref ref version #)
writeOffAddr# addr# i# (Ref ref version) s0 =
let n# = 2# *# i#
s1 = writeOffAddr# addr# n# ref s0
s2 = writeOffAddr# addr# (n# +# 1#) version s1
writeOffAddr# addr i (Ref ref version) s0 =
let n = 2# *# i
s1 = writeOffAddr# addr n ref s0
s2 = writeOffAddr# addr (n +# 1#) version s1
in s2

-- | Version of the effect.
Expand Down

0 comments on commit a25ffde

Please sign in to comment.