Makes sense of your booleans: strong type them!
type TT = TBool "missing" "present"
isPresent :: TT
isPresent = mkIs $ Proxy @"present"
is (Proxy @"missing") isPresent == False-
Notifications
You must be signed in to change notification settings - Fork 0
Boolean strong typing
License
blackheaven/kill-bool
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|