conal total-map issues - Githubissues

conal / total-map

Finitely represented /total/ maps

Other

15 stars 6 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

DetectableZero instance is non-denotative?

#11 dmwit opened 4 years ago
1
`codomain` should be called `range` or `image`

#10 xplat closed 4 years ago
4
added Comonad instance.

#9 wygulmage closed 6 years ago
5
Compile error with GHC 8.4.3

#8 SongWithoutWords closed 6 years ago
2
codomain always includes the default element

#7 dmwit opened 7 years ago
6
add a new query that takes advantage of the finite input space

#6 dmwit closed 8 years ago
1
TotalMap.intersectionPartialWith: Intersect a total map with a partial one using an element combinator.

#5 thielema closed 8 years ago
0
fromPartial: canonical construction of total maps

#4 thielema closed 8 years ago
1
_app: Alternative implementation of (<*>) using complex Map operations. Might be more efficient. Can be used for testing against the canonical implementation above.

#3 thielema closed 8 years ago
0
no need for language extensions anymore

#2 thielema closed 8 years ago
0
Something to think about

#1 jfischoff closed 12 years ago
3