type-spec-0.1.0.0: Type Level Specification by Example

Safe HaskellNone
LanguageHaskell2010

Test.TypeSpec.Internal.Either

Description

Useful abstractions for type level programming using Either.

Documentation

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

Equations

FromLeft (Left a) = a