Skip to content

Commit

Permalink
Merge in changes since first attempt at subtrees
Browse files Browse the repository at this point in the history
  • Loading branch information
propensive committed Feb 11, 2025
1 parent d0e51e8 commit 8068cde
Show file tree
Hide file tree
Showing 3 changed files with 1 addition and 37 deletions.
4 changes: 0 additions & 4 deletions src/codec/anticipation-codec.scala
Original file line number Diff line number Diff line change
Expand Up @@ -29,10 +29,6 @@ object Bytes:
lambda(array)
array.asInstanceOf[IArray[Byte]]

extension [FormatType](value: FormatType)
def decode[ResultType](using decodable: ResultType is Decodable in FormatType): ResultType =
decodable.decoded(value)

extension [ValueType: Encodable in Bytes](value: ValueType)
def bytestream: Bytes = ValueType.encode(value)

Expand Down
32 changes: 0 additions & 32 deletions src/codec/anticipation.Decodable.scala

This file was deleted.

2 changes: 1 addition & 1 deletion src/codec/soundness+anticipation-codec.scala
Original file line number Diff line number Diff line change
Expand Up @@ -16,4 +16,4 @@

package soundness

export anticipation.{Decodable, Encodable, Bytes, bytestream}
export anticipation.{Encodable, Bytes, bytestream}

0 comments on commit 8068cde

Please sign in to comment.