type-spec-0.4.0.0: Type Level Specification by Example

Test.TypeSpec.Internal.Either

Description

Useful abstractions for type level programming using Either.

Either

type family FromLeft (e :: Either a b) :: a where ... Source #

Return the left type of a promoted Either

Equations