CustomTy

Custom Ty & Typable

Documentation

data Ty a where

Typed type representation. Alternative to Data.Ty in the ty package

Constructors

Bool :: Ty Bool

Integer :: Ty Integer

Float :: Ty Float

:*: :: Ty a -> Ty b -> Ty (a, b)

:->: :: Ty a -> Ty b -> Ty (a -> b)

Instances

IsTy Ty

class Typeable a where

Replacement for Typeable and the ty package's ty.

Methods

ty :: Ty a

Instances

Typeable Bool

Typeable Float

Typeable Integer

(Typeable a, Typeable b) => Typeable (a -> b)

(Typeable a, Typeable b) => Typeable (a, b)

module Data.IsTy