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 FamRoseInt CodesRoseInt

Defined in Generics.MRSOP.Examples.RoseTreeTH

Methods

sfrom' :: SNat ix -> El FamRoseInt ix -> Rep Singl (El FamRoseInt) (Lkup ix CodesRoseInt)

sto' :: SNat ix -> Rep Singl (El FamRoseInt) (Lkup ix CodesRoseInt) -> El FamRoseInt ix

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

Family Singl FamTerm CodesTerm

Defined in Generics.MRSOP.Examples.LambdaAlphaEqTH

Methods

sfrom' :: SNat ix -> El FamTerm ix -> Rep Singl (El FamTerm) (Lkup ix CodesTerm)

sto' :: SNat ix -> Rep Singl (El FamTerm) (Lkup ix CodesTerm) -> El FamTerm ix

Family Singl FamStmtString CodesStmtString

Defined in Generics.MRSOP.Examples.SimpTH

Methods

sfrom' :: SNat ix -> El FamStmtString ix -> Rep Singl (El FamStmtString) (Lkup ix CodesStmtString)

sto' :: SNat ix -> Rep Singl (El FamStmtString) (Lkup ix CodesStmtString) -> El FamStmtString ix

HasDatatypeInfo Singl FamRoseInt CodesRoseInt

Defined in Generics.MRSOP.Examples.RoseTreeTH

Methods

datatypeInfo :: Proxy FamRoseInt -> SNat ix -> DatatypeInfo (Lkup ix CodesRoseInt)

HasDatatypeInfo Singl FamRose CodesRose

Defined in Generics.MRSOP.Examples.RoseTree

Methods

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

HasDatatypeInfo Singl FamTerm CodesTerm

Defined in Generics.MRSOP.Examples.LambdaAlphaEqTH

Methods

datatypeInfo :: Proxy FamTerm -> SNat ix -> DatatypeInfo (Lkup ix CodesTerm)

HasDatatypeInfo Singl FamStmtString CodesStmtString

Defined in Generics.MRSOP.Examples.SimpTH

Methods

datatypeInfo :: Proxy FamStmtString -> SNat ix -> DatatypeInfo (Lkup ix CodesStmtString)

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 FamRoseInt CodesRoseInt

Defined in Generics.MRSOP.Examples.RoseTreeTH

Methods

sfrom' :: SNat ix -> El FamRoseInt ix -> Rep Singl (El FamRoseInt) (Lkup ix CodesRoseInt)

sto' :: SNat ix -> Rep Singl (El FamRoseInt) (Lkup ix CodesRoseInt) -> El FamRoseInt ix

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

Family Singl FamTerm CodesTerm

Defined in Generics.MRSOP.Examples.LambdaAlphaEqTH

Methods

sfrom' :: SNat ix -> El FamTerm ix -> Rep Singl (El FamTerm) (Lkup ix CodesTerm)

sto' :: SNat ix -> Rep Singl (El FamTerm) (Lkup ix CodesTerm) -> El FamTerm ix

Family Singl FamStmtString CodesStmtString

Defined in Generics.MRSOP.Examples.SimpTH

Methods

sfrom' :: SNat ix -> El FamStmtString ix -> Rep Singl (El FamStmtString) (Lkup ix CodesStmtString)

sto' :: SNat ix -> Rep Singl (El FamStmtString) (Lkup ix CodesStmtString) -> El FamStmtString ix

HasDatatypeInfo Singl FamRoseInt CodesRoseInt

Defined in Generics.MRSOP.Examples.RoseTreeTH

Methods

datatypeInfo :: Proxy FamRoseInt -> SNat ix -> DatatypeInfo (Lkup ix CodesRoseInt)

HasDatatypeInfo Singl FamRose CodesRose

Defined in Generics.MRSOP.Examples.RoseTree

Methods

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

HasDatatypeInfo Singl FamTerm CodesTerm

Defined in Generics.MRSOP.Examples.LambdaAlphaEqTH

Methods

datatypeInfo :: Proxy FamTerm -> SNat ix -> DatatypeInfo (Lkup ix CodesTerm)

HasDatatypeInfo Singl FamStmtString CodesStmtString

Defined in Generics.MRSOP.Examples.SimpTH

Methods

datatypeInfo :: Proxy FamStmtString -> SNat ix -> DatatypeInfo (Lkup ix CodesStmtString)

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