decidable-0.3.1.0: Combinators for manipulating dependently-typed predicates. (Index - F)

decidable-0.3.1.0: Combinators for manipulating dependently-typed predicates.

A
B
C
D
E
F
G
I
M
N
O
P
R
S
T
U
W
&
<
=
^
|
-
All

Index - F

flipDecision	Data.Type.Predicate
FlipPP	Data.Type.Predicate.Param
forgetDisproof	Data.Type.Predicate
forgetProof	Data.Type.Predicate
Found	Data.Type.Predicate.Param
fullSubset	Data.Type.Universe.Subset

You can find any exported type, constructor, class, function or pattern defined in this package by (approximate) name.

Key	Shortcut
s	Open this search box
esc	Close this search box
↓,ctrl + j	Move down in search results
↑,ctrl + k	Move up in search results
↵	Go to active search result