data-checked-0.3: Type-indexed runtime-checked properties

Index

check |
1 (Function) | Data.Checked
2 (Function) | Data.Checked.Strict
Checked |
1 (Type/Class) | Data.Checked
2 (Type/Class) | Data.Checked.Strict
checked |
1 (Function) | Data.Checked
2 (Function) | Data.Checked.Strict
holds | Data.Checked, Data.Checked.Strict
maybeHolds | Data.Checked, Data.Checked.Strict
Property | Data.Checked, Data.Checked.Strict
relax | Data.Checked.Strict
trustMap |
1 (Function) | Data.Checked
2 (Function) | Data.Checked.Strict
trustMe | Data.Checked
trustThat |
1 (Function) | Data.Checked
2 (Function) | Data.Checked.Strict