Safe Haskell	Safe
Language	Haskell2010

Generics.MRSOP.Opaque

Contents

Description

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

Synopsis

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.

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

Constructors

Instances

Eq Kon Source #
Instance details Defined in Generics.MRSOP.Opaque Methods (==) :: Kon -> Kon -> Bool # (/=) :: Kon -> Kon -> Bool #
Show Kon Source #
Instance details Defined in Generics.MRSOP.Opaque Methods showsPrec :: Int -> Kon -> ShowS # show :: Kon -> String # showList :: [Kon] -> ShowS #
TestEquality Singl Source #
Instance details Defined in Generics.MRSOP.Opaque Methods testEquality :: Singl a -> Singl b -> Maybe (a :~: b) #
ShowHO Singl Source #
Instance details Defined in Generics.MRSOP.Opaque Methods showHO :: Singl k -> String Source #
EqHO Singl Source #
Instance details Defined in Generics.MRSOP.Opaque Methods eqHO :: Singl k -> Singl k -> Bool Source #
Family Singl FamRose CodesRose Source #
Instance details Defined in Generics.MRSOP.Examples.RoseTree Methods sfrom' :: SNat ix -> El FamRose ix -> Rep Singl (El FamRose) (Lkup ix CodesRose) Source # sto' :: SNat ix -> Rep Singl (El FamRose) (Lkup ix CodesRose) -> El FamRose ix Source #
HasDatatypeInfo Singl FamRose CodesRose Source #
Instance details Defined in Generics.MRSOP.Examples.RoseTree Methods datatypeInfo :: Proxy FamRose -> SNat ix -> DatatypeInfo (Lkup ix CodesRose) Source #

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

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 Source #
Instance details Defined in Generics.MRSOP.Opaque Methods testEquality :: Singl a -> Singl b -> Maybe (a :~: b) #
ShowHO Singl Source #
Instance details Defined in Generics.MRSOP.Opaque Methods showHO :: Singl k -> String Source #
EqHO Singl Source #
Instance details Defined in Generics.MRSOP.Opaque Methods eqHO :: Singl k -> Singl k -> Bool Source #
Family Singl FamRose CodesRose Source #
Instance details Defined in Generics.MRSOP.Examples.RoseTree Methods sfrom' :: SNat ix -> El FamRose ix -> Rep Singl (El FamRose) (Lkup ix CodesRose) Source # sto' :: SNat ix -> Rep Singl (El FamRose) (Lkup ix CodesRose) -> El FamRose ix Source #
HasDatatypeInfo Singl FamRose CodesRose Source #
Instance details Defined in Generics.MRSOP.Examples.RoseTree Methods datatypeInfo :: Proxy FamRose -> SNat ix -> DatatypeInfo (Lkup ix CodesRose) Source #
Eq (Singl k) Source #
Instance details Defined in Generics.MRSOP.Opaque Methods (==) :: Singl k -> Singl k -> Bool # (/=) :: Singl k -> Singl k -> Bool #
Show (Singl k) Source #
Instance details Defined in Generics.MRSOP.Opaque Methods showsPrec :: Int -> Singl k -> ShowS # show :: Singl k -> String # showList :: [Singl k] -> ShowS #

Equality over singletons