tagged-0.2: Provides newtype wrappers for phantom types to avoid unsafely passing dummy arguments (Index)

tagged-0.2: Provides newtype wrappers for phantom types to avoid unsafely passing dummy arguments

Index

asProxyTypeOf | Data.Proxy
asTaggedTypeOf | Data.Tagged
Proxy |
1 (Type/Class) | Data.Proxy
2 (Data Constructor) | Data.Proxy
proxy | Data.Proxy
reproxy | Data.Proxy
retag | Data.Tagged
Tagged |
1 (Type/Class) | Data.Tagged
2 (Data Constructor) | Data.Tagged
tagSelf | Data.Tagged
unproxy | Data.Proxy
untag | Data.Tagged
unTagged | Data.Tagged
untagSelf | Data.Tagged