idris

121 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Idris: Implicit parameters in records
user_39501290
•
3
1
173
idris
Idiomatic way of listing elements of a sum type in Idris
user_5867660
•
6
1
311
dependent-type idris
How can I create a function that only accepts a subset of constructors of a type?
user_50449500
•
6
4
354
idris
Why is filter based on dependent pair?
user_51985750
•
10
3
672
idris
How to constraint input type and output type to be the same?
user_30653970
•
5
2
71
dependent-type idris type-safety
Can I write a generic function-wrapping function for a Wrapper interface representing a type that wraps some other type?
user_13713680
•
4
1
67
dependent-type idris wrapper
indexed by a type vs containing a type in idris
user_30401290
•
26
1
485
phantom-types records dependent-type idris types
Pattern matching on Type in Idris
user_44539510
•
5
1
1040
typecase idris pattern-matching
Evaluating `IO` Actions from REPL
user_4099760
•
3
1
106
idris
Why do these expressions have different levels of ambiguity?
user_50449500
•
2
1
72
idris ambiguous function-composition type-inference overloading
Hot Questions