tfp-1.0.1: Type-level integers, booleans, lists using type families (Index - F)

Loading [Contrib]/a11y/accessibility-menu.js

tfp-1.0.1: Type-level integers, booleans, lists using type families

A
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
Z
:
All

Index - F

Fac	Type.Data.Num
fac	Type.Data.Num
False	Type.Data.Bool
false	Type.Data.Bool
fromInteger	Type.Data.Num
FromUnary	Type.Data.Num.Decimal.Number, Type.Data.Num.Decimal

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