she-0.4: A Haskell preprocessor adding miscellaneous features

ShePrelude

Documentation

data SheProxy ty tm whereSource

Constructors

SheProxy :: SheProxy ty tm 

class SheChecks ty tm whereSource

Methods

sheTypes :: SheProxy ty tm -> SheSingleton ty tmSource

data family SheSingleton ty :: * -> *Source

data SheTyLeft x Source

Constructors

SheTyLeft x 

Instances

SheChecks s x => SheChecks (Either s t) (SheTyLeft x) 

data SheTyRight x Source

Constructors

SheTyRight x 

Instances

data SheTyTrue Source

Constructors

SheTyTrue 

data SheTyFalse Source

Constructors

SheTyFalse 

data SheSpecialNil Source

Constructors

SheSpecialNil 

Instances

data x :$#$#$#: y Source

Constructors

:$#$#$#: x y 

Instances

(SheChecks t x, SheChecks [t] xs) => SheChecks [t] (:$#$#$#: x xs)