ShePrelude

Documentation

data SheProxy ty tm where

Constructors

SheProxy :: SheProxy ty tm

class SheChecks ty tm where

Methods

sheTypes :: SheProxy ty tm -> SheSingleton ty tm

Instances

SheChecks Bool SheTyFalse

SheChecks Bool SheTyTrue

SheChecks [t] SheSpecialNil

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

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

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

data family SheSingleton ty :: * -> *

data SheTyLeft x

Constructors

SheTyLeft x

Instances

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

data SheTyRight x

Constructors

SheTyRight x

Instances

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

data SheTyTrue

Constructors

SheTyTrue

Instances

SheChecks Bool SheTyTrue

data SheTyFalse

Constructors

SheTyFalse

Instances

SheChecks Bool SheTyFalse

data SheSpecialNil

Constructors

SheSpecialNil

Instances

SheChecks [t] SheSpecialNil

data x :$#$#$#: y

Constructors

:$#$#$#: x y

Instances

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