she-0.1: A Haskell preprocessor adding miscellaneous features
ShePrelude
data SheProxy ty tm whereSource
Constructors
class SheChecks ty tm whereSource
Methods
sheTypes :: SheProxy ty tm -> SheSingleton ty tmSource
Instances
data family SheSingleton ty :: * -> *Source
data SheTyLeft x Source
data SheTyRight x Source
data SheTyTrue Source
data SheTyFalse Source
data SheSpecialNil Source
data x :$#$#$#: y Source