Hackage :: [Package]

witness: values that witness types

[ bsd2, data, library ] [ Propose Tags ] [ Report a vulnerability ]

A witness is a value that witnesses some sort of constraint on some list of type variables. This library provides support for simple witnesses, that constrain a type variable to a single type, and equality witnesses, that constrain two type variables to be the same type. It also provides classes for representatives, which are values that represent types. See the paper Witnesses and Open Witnesses (http://semantic.org/stuff/Open-Witnesses.pdf).

Modules

[Last Documentation]

  • Control
    • Category
      • Control.Category.Tensor
  • Data
    • Data.Nat
    • Type
      • Data.Type.Apply
      • Data.Type.Heterogeneous
      • Data.Type.With
    • Data.Witness
      • Data.Witness.All
      • Data.Witness.Any
      • Data.Witness.ApplyStack
      • Data.Witness.BigNat
      • Data.Witness.Concat
      • Data.Witness.Cons
      • Data.Witness.Constraint
      • Data.Witness.Either
      • Data.Witness.Finite
      • Data.Witness.HList
      • Data.Witness.Kind
      • Data.Witness.List
      • Data.Witness.ListElement
      • Data.Witness.Nat
      • Data.Witness.Representative
      • Data.Witness.Single
      • Data.Witness.Submap
      • Data.Witness.Symbol
      • Data.Witness.WitnessDict
      • Data.Witness.WitnessFDict
      • Data.Witness.WitnessValue

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.1, 0.2, 0.3, 0.3.0.1, 0.4, 0.5, 0.6, 0.6.1, 0.6.2, 0.7
Dependencies base (>=4.14 && <5), constraints, countable, semigroupoids, transformers [details]
License BSD-3-Clause
Copyright (c) 2017-2019 Ashley Yakeley
Author Ashley Yakeley
Maintainer <ashley@semantic.org>
Category Data
Home page https://github.com/AshleyYakeley/witness
Bug tracker https://github.com/AshleyYakeley/witness/issues
Uploaded by AshleyYakeley at 2020-09-22T05:49:57Z
Distributions LTSHaskell:0.6.2, NixOS:0.6.2, Stackage:0.7
Reverse Dependencies 3 direct, 0 indirect [details]
Downloads 5501 total (2 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2020-09-22 [all 3 reports]