homepage: https://github.com/phadej/some
changelog-type: markdown
hash: 0edaac884738a2506d910cb06da8dc89c19459a42bd5f32f5cf87b8c2ee63c80
test-bench-deps: {}
maintainer: Oleg Grenrus <oleg.grenrus@iki.fi>
synopsis: ! 'Existential type: Some'
changelog: |
  # 1

  - Split out of `dependent-sum`
  - Have `GADT`, `Newtype`, `Church` variants
  - Add `NFData` instance
basic-deps:
  base: ! '>=4.3 && <4.14'
  deepseq: ! '>=1.3.0.0 && <1.5'
all-versions:
- '1'
author: James Cook <mokus@deepbondi.net>, Oleg Grenrus <oleg.grenrus@iki.fi>
latest: '1'
description-type: haddock
description: |-
  This library defines an existential type 'Some'.

  @
  data Some f where
  \    Some :: f a -> Some f
  @

  in few variants, and utilities to work with it.
license-name: BSD-3-Clause

Update from Hackage at 2019-09-12T11:34:54Z
Update from Hackage at 2019-09-12T11:34:54Z
