Giters

AshleyYakeley / Truth

Changes and Pinafore projects. Pull requests not accepted.

Home Page:https://pinafore.info/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Vector type

AshleyYakeley opened this issue · comments

commented

Equivalent to List but stored more efficiently, storability can be different

  • type storable Vector +a
  • subtype Vector a <: List a
  • subtype List a <: Vector a
  • monoid, functions similar to Text and ByteArray, as well as List.