ty-0.0.2: Typed type representations and equality proofs

Stabilityexperimental
Maintainerconal@conal.net
Safe HaskellSafe-Infered

Data.IsTy

Description

Type class for typed type representations

Synopsis

Documentation

class IsTy ty whereSource

Type class for typed type representations

Methods

tyEq :: ty a -> ty b -> Maybe (a :=: b)Source

Instances