type-spec-0.2.0.0: Type Level Specification by Example

Safe HaskellNone
LanguageHaskell2010

Test.TypeSpec.Internal.Either

Description

Useful abstractions for type level programming using Either.

Synopsis

Documentation

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

Return the left type of a promoted Either

Equations

FromLeft (Left a) = a