ty-0.1.0: Typed type representations and equality proofs

Stabilityexperimental
Maintainerconal@conal.net
Safe HaskellSafe-Inferred

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