Generics.MRSOP.Opaque

A curation of base types commonly used by the everyday Haskell programmer.

Opaque Types

In order to plug in custom opaque types, the programmer must provide their own Kon and Singl. This module serves more as an example.

data Kon

Types with kind Kon will be used to index a Singl type with their values inside.

Constructors

KInt

KInteger

KFloat

KDouble

KBool

KChar

KString

Instances

Eq Kon

Methods

(==) :: Kon -> Kon -> Bool

(/=) :: Kon -> Kon -> Bool

Show Kon

Methods

showsPrec :: Int -> Kon -> ShowS

show :: Kon -> String

showList :: [Kon] -> ShowS

TestEquality Kon Singl

Methods

testEquality :: f a -> f b -> Maybe ((Singl :~: a) b)

Show1 Kon Singl

Methods

show1 :: f k -> String

Eq1 Kon Singl

Methods

eq1 :: f k -> f k -> Bool

HasDatatypeInfo Kon Singl FamRoseInt CodesRoseInt

Methods

datatypeInfo :: Proxy [*] CodesRoseInt -> SNat ix -> DatatypeInfo Singl (Lkup [[Atom Singl]] ix codes)

HasDatatypeInfo Kon Singl FamRose CodesRose

Methods

datatypeInfo :: Proxy [*] CodesRose -> SNat ix -> DatatypeInfo Singl (Lkup [[Atom Singl]] ix codes)

HasDatatypeInfo Kon Singl FamTerm CodesTerm

Methods

datatypeInfo :: Proxy [*] CodesTerm -> SNat ix -> DatatypeInfo Singl (Lkup [[Atom Singl]] ix codes)

HasDatatypeInfo Kon Singl FamStmtString CodesStmtString

Methods

datatypeInfo :: Proxy [*] CodesStmtString -> SNat ix -> DatatypeInfo Singl (Lkup [[Atom Singl]] ix codes)

data Singl (kon :: Kon) :: * where

A singleton GADT for the allowed Konstants.

Constructors

SInt :: Int -> Singl KInt

SInteger :: Integer -> Singl KInteger

SFloat :: Float -> Singl KFloat

SDouble :: Double -> Singl KDouble

SBool :: Bool -> Singl KBool

SChar :: Char -> Singl KChar

SString :: String -> Singl KString

Instances

TestEquality Kon Singl

Methods

testEquality :: f a -> f b -> Maybe ((Singl :~: a) b)

Show1 Kon Singl

Methods

show1 :: f k -> String

Eq1 Kon Singl

Methods

eq1 :: f k -> f k -> Bool

HasDatatypeInfo Kon Singl FamRoseInt CodesRoseInt

Methods

datatypeInfo :: Proxy [*] CodesRoseInt -> SNat ix -> DatatypeInfo Singl (Lkup [[Atom Singl]] ix codes)

HasDatatypeInfo Kon Singl FamRose CodesRose

Methods

datatypeInfo :: Proxy [*] CodesRose -> SNat ix -> DatatypeInfo Singl (Lkup [[Atom Singl]] ix codes)

HasDatatypeInfo Kon Singl FamTerm CodesTerm

Methods

datatypeInfo :: Proxy [*] CodesTerm -> SNat ix -> DatatypeInfo Singl (Lkup [[Atom Singl]] ix codes)

HasDatatypeInfo Kon Singl FamStmtString CodesStmtString

Methods

datatypeInfo :: Proxy [*] CodesStmtString -> SNat ix -> DatatypeInfo Singl (Lkup [[Atom Singl]] ix codes)

Eq (Singl k)

Methods

(==) :: Singl k -> Singl k -> Bool

(/=) :: Singl k -> Singl k -> Bool

Show (Singl k)

Methods

showsPrec :: Int -> Singl k -> ShowS

show :: Singl k -> String

showList :: [Singl k] -> ShowS

eqSingl :: Singl k -> Singl k -> Bool

Equality over singletons