ContainerName
Attributes
- Graph
- Supertypes
- Self type
- ContainerName.type
Members list
Type members
Value members
Concrete methods
Inherited methods
Attributes
- Inherited from:
- Newtype
Converts an instance of the underlying type to an instance of the newtype.
Converts an instance of the underlying type to an instance of the newtype.
Attributes
- Inherited from:
- Newtype
Attributes
- Definition Classes
- Inherited from:
- ContainerNameAssertion
Derives an instance of a type class for the new type given an instance of the type class for the underlying type. The caller is responsible for the type class being a valid instance for the new type.
Derives an instance of a type class for the new type given an instance of the type class for the underlying type. The caller is responsible for the type class being a valid instance for the new type.
Attributes
- Inherited from:
- Newtype
Attributes
- Inherited from:
- Newtype
Allows pattern matching on newtype instances to convert them back to instances of the underlying type.
Allows pattern matching on newtype instances to convert them back to instances of the underlying type.
Attributes
- Inherited from:
- Newtype
Converts an instance of the newtype back to an instance of the underlying type.
Converts an instance of the newtype back to an instance of the underlying type.
Attributes
- Inherited from:
- Newtype
Converts an instance of a type parameterized on the newtype back to an instance of a type parameterized on the underlying type. For example, this could be used to convert a list of instances of the newtype back to a list of instances of the underlying type.
Converts an instance of a type parameterized on the newtype back to an instance of a type parameterized on the underlying type. For example, this could be used to convert a list of instances of the newtype back to a list of instances of the underlying type.
Attributes
- Inherited from:
- Newtype