type-spec-0.3.0.1: 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