tagged-0.2.3.1: Provides newtype wrappers for phantom types to avoid unsafely passing dummy arguments
Contents
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