Copyright	(c) NoviSci Inc 2020
License	BSD3
Maintainer	bsaul@novisci.com
Safe Haskell	Safe
Language	Haskell2010

Stype.Categorical.Nominal

Description

Synopsis

newtype Nominal a = Nominal a

Documentation

newtype Nominal a Source #

a placeholder for a future nominal type

Constructors

Nominal a

Instances

Instances details

Eq a => Eq (Nominal a) Source #
Instance details Defined in Stype.Categorical.Nominal Methods (==) :: Nominal a -> Nominal a -> Bool # (/=) :: Nominal a -> Nominal a -> Bool #
Ord a => Ord (Nominal a) Source #
Instance details Defined in Stype.Categorical.Nominal Methods compare :: Nominal a -> Nominal a -> Ordering # (<) :: Nominal a -> Nominal a -> Bool # (<=) :: Nominal a -> Nominal a -> Bool # (>) :: Nominal a -> Nominal a -> Bool # (>=) :: Nominal a -> Nominal a -> Bool # max :: Nominal a -> Nominal a -> Nominal a # min :: Nominal a -> Nominal a -> Nominal a #
Show a => Show (Nominal a) Source #
Instance details Defined in Stype.Categorical.Nominal Methods showsPrec :: Int -> Nominal a -> ShowS # show :: Nominal a -> String # showList :: [Nominal a] -> ShowS #
Generic (Nominal a) Source #
Instance details Defined in Stype.Categorical.Nominal Associated Types type Rep (Nominal a) :: Type -> Type # Methods from :: Nominal a -> Rep (Nominal a) x # to :: Rep (Nominal a) x -> Nominal a #
ToJSON a => ToJSON (Nominal a) Source #
Instance details Defined in Stype.Aeson Methods toJSON :: Nominal a -> Value # toEncoding :: Nominal a -> Encoding # toJSONList :: [Nominal a] -> Value # toEncodingList :: [Nominal a] -> Encoding #
type Rep (Nominal a) Source #
Instance details Defined in Stype.Categorical.Nominal type Rep (Nominal a) = D1 ('MetaData "Nominal" "Stype.Categorical.Nominal" "hasklepias-0.17.0-inplace" 'True) (C1 ('MetaCons "Nominal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))