Safe Haskell	Safe
Language	Haskell2010

Generics.MRSOP.Opaque

Contents

Opaque Types

Description

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

Synopsis

data Kon
- = KInt
- | KInteger
- | KFloat
- | KDouble
- | KBool
- | KChar
- | KString
data Singl (kon :: Kon) :: * where
- 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
eqSingl :: Singl k -> Singl k -> Bool

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 #
Instance details Defined in Generics.MRSOP.Opaque Methods (==) :: Kon -> Kon -> Bool # (/=) :: Kon -> Kon -> Bool #
Show Kon #
Instance details Defined in Generics.MRSOP.Opaque Methods showsPrec :: Int -> Kon -> ShowS # show :: Kon -> String # showList :: [Kon] -> ShowS #
TestEquality Singl #
Instance details Defined in Generics.MRSOP.Opaque Methods testEquality :: Singl a -> Singl b -> Maybe (a :~: b) #
Show1 Singl #
Instance details Defined in Generics.MRSOP.Opaque Methods show1 :: Singl k -> String #
Eq1 Singl #
Instance details Defined in Generics.MRSOP.Opaque Methods eq1 :: Singl k -> Singl k -> Bool #
Family Singl FamRoseInt CodesRoseInt #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details Defined in Generics.MRSOP.Examples.RoseTreeTH Methods datatypeInfo :: Proxy FamRoseInt -> SNat ix -> DatatypeInfo (Lkup ix CodesRoseInt) #
HasDatatypeInfo Singl FamRose CodesRose #
Instance details Defined in Generics.MRSOP.Examples.RoseTree Methods datatypeInfo :: Proxy FamRose -> SNat ix -> DatatypeInfo (Lkup ix CodesRose) #
HasDatatypeInfo Singl FamTerm CodesTerm #
Instance details Defined in Generics.MRSOP.Examples.LambdaAlphaEqTH Methods datatypeInfo :: Proxy FamTerm -> SNat ix -> DatatypeInfo (Lkup ix CodesTerm) #
HasDatatypeInfo Singl FamStmtString CodesStmtString #
Instance details 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 #
Instance details Defined in Generics.MRSOP.Opaque Methods testEquality :: Singl a -> Singl b -> Maybe (a :~: b) #
Show1 Singl #
Instance details Defined in Generics.MRSOP.Opaque Methods show1 :: Singl k -> String #
Eq1 Singl #
Instance details Defined in Generics.MRSOP.Opaque Methods eq1 :: Singl k -> Singl k -> Bool #
Family Singl FamRoseInt CodesRoseInt #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details Defined in Generics.MRSOP.Examples.RoseTreeTH Methods datatypeInfo :: Proxy FamRoseInt -> SNat ix -> DatatypeInfo (Lkup ix CodesRoseInt) #
HasDatatypeInfo Singl FamRose CodesRose #
Instance details Defined in Generics.MRSOP.Examples.RoseTree Methods datatypeInfo :: Proxy FamRose -> SNat ix -> DatatypeInfo (Lkup ix CodesRose) #
HasDatatypeInfo Singl FamTerm CodesTerm #
Instance details Defined in Generics.MRSOP.Examples.LambdaAlphaEqTH Methods datatypeInfo :: Proxy FamTerm -> SNat ix -> DatatypeInfo (Lkup ix CodesTerm) #
HasDatatypeInfo Singl FamStmtString CodesStmtString #
Instance details Defined in Generics.MRSOP.Examples.SimpTH Methods datatypeInfo :: Proxy FamStmtString -> SNat ix -> DatatypeInfo (Lkup ix CodesStmtString) #
Eq (Singl k) #
Instance details Defined in Generics.MRSOP.Opaque Methods (==) :: Singl k -> Singl k -> Bool # (/=) :: Singl k -> Singl k -> Bool #
Show (Singl k) #
Instance details 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