ShePrelude
Documentation
data family SheSingleton ty :: * -> *Source
Constructors
SheTyLeft x |
data SheTyRight x Source
Constructors
SheTyRight x |
Instances
SheChecks t x => SheChecks (Either s t) (SheTyRight x) |
she-0.6: A Haskell preprocessor adding miscellaneous features
ShePrelude
data family SheSingleton ty :: * -> *Source
Constructors
SheTyLeft x |
data SheTyRight x Source
Constructors
SheTyRight x |
Instances
SheChecks t x => SheChecks (Either s t) (SheTyRight x) |