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

Defined in Generics.MRSOP.Opaque

Methods

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

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

Show Kon

Defined in Generics.MRSOP.Opaque

Methods

showsPrec :: Int -> Kon -> ShowS

show :: Kon -> String

showList :: [Kon] -> ShowS

TestEquality Singl

Defined in Generics.MRSOP.Opaque

Methods

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

ShowHO Singl

Defined in Generics.MRSOP.Opaque

Methods

showHO :: Singl k -> String

EqHO Singl

Defined in Generics.MRSOP.Opaque

Methods

eqHO :: Singl k -> Singl k -> Bool

Family Singl FamRose CodesRose

Defined in Generics.MRSOP.Examples.RoseTree

Methods

sfrom' :: SNat ix -> El FamRose ix -> Rep Singl (El FamRose) (Lkup ix CodesRose)

sto' :: SNat ix -> Rep Singl (El FamRose) (Lkup ix CodesRose) -> El FamRose ix

HasDatatypeInfo Singl FamRose CodesRose

Defined in Generics.MRSOP.Examples.RoseTree

Methods

datatypeInfo :: Proxy FamRose -> SNat ix -> DatatypeInfo (Lkup ix CodesRose)

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 Singl

Defined in Generics.MRSOP.Opaque

Methods

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

ShowHO Singl

Defined in Generics.MRSOP.Opaque

Methods

showHO :: Singl k -> String

EqHO Singl

Defined in Generics.MRSOP.Opaque

Methods

eqHO :: Singl k -> Singl k -> Bool

Family Singl FamRose CodesRose

Defined in Generics.MRSOP.Examples.RoseTree

Methods

sfrom' :: SNat ix -> El FamRose ix -> Rep Singl (El FamRose) (Lkup ix CodesRose)

sto' :: SNat ix -> Rep Singl (El FamRose) (Lkup ix CodesRose) -> El FamRose ix

HasDatatypeInfo Singl FamRose CodesRose

Defined in Generics.MRSOP.Examples.RoseTree

Methods

datatypeInfo :: Proxy FamRose -> SNat ix -> DatatypeInfo (Lkup ix CodesRose)

Eq (Singl k)

Defined in Generics.MRSOP.Opaque

Methods

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

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

Show (Singl k)

Defined in Generics.MRSOP.Opaque

Methods

showsPrec :: Int -> Singl k -> ShowS

show :: Singl k -> String

showList :: [Singl k] -> ShowS

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

Equality over singletons