homepage: https://github.com/google/hs-fin-vec#readme
changelog-type: markdown
hash: 150340d1af11d6fa167dd96173938785e5528d2c00e5ba61e947a12bf269ec5b
test-bench-deps: {}
maintainer: Andrew Pritchard <awpr@google.com>
synopsis: The type of finite sets with elements identified by the ordinals.
changelog: |
  # 0.1.0.0

  Initial version.
basic-deps:
  attenuation: '>=0.1 && <0.2'
  base: '>=4.12 && <4.16'
  data-default-class: '>=0.0 && <0.2'
  portray-diff: '>=0.1 && <0.2'
  sint: '>=0.1 && <0.2'
  deepseq: '>=1.1 && <1.5'
  QuickCheck: '>=2.5 && <2.15'
  portray: '>=0.1 && <0.2'
all-versions:
- 0.1.0.0
author: Lennart Augustsson <lennart@augustsson.net>
latest: 0.1.0.0
description-type: haddock
description: |-
  This provides a newtype Fin containing an Int with an invariant that its
  value is less than its type-level Nat bound.  It aims to have low overhead
  compared to Ints, and is suitable for use as the index type of
  length-indexed vectors.
license-name: Apache-2.0

Update from Hackage at 2021-09-07T20:27:19Z
Update from Hackage at 2021-09-07T20:27:19Z
