dependent-sum-0.2.0.1: Dependent sum type

Data.GADT.Show

Synopsis

Documentation

class GShow t whereSource

Show-like class for 1-type-parameter GADTs

Methods

gshowsPrec :: Int -> t a -> ShowSSource

Instances

GShow (GOrdering a) 
GShow (:= a) 

gshows :: GShow t => t a -> ShowSSource

gshow :: GShow t => t a -> StringSource

type GReadS t = String -> [(forall b. (forall a. t a -> b) -> b, String)]Source

class GRead t whereSource

Methods

greadsPrec :: Int -> GReadS tSource

Instances

GRead (GOrdering a) 
GRead (:= a) 

gread :: GRead t => String -> (forall a. t a -> b) -> bSource