Module

Data.Options.UntaggedUnion

Utilities for untagged-union.

#optU

optU :: forall o v h t. InOneOf v h t => Proxy (OneOf h t) -> String -> Option o v

Creates an option over a type v that can be coerced using InOneOf.

The h and t type parameters are provided through a proxied OneOf type.

#untaggedToOptions

untaggedToOptions :: forall o v h t. InOneOf v h t => Proxy (OneOf h t) -> String -> v -> Options o

Builds an Options o from a v that can be coerced using InOneOf.

Similar to optU, the h and t type parameters are provided through a proxied OneOf type.

Modules