{-|
Module      : Stype categorical
Description : Statistical types
Copyright   : (c) NoviSci, Inc 2020
License     : BSD3
Maintainer  : bsaul@novisci.com

-}

{-# LANGUAGE Safe #-}
{-# LANGUAGE DeriveGeneric #-}

module Stype.Categorical.Nominal (
  Nominal(..)
) where

import GHC.Generics             ( Generic )

{- | a placeholder for a future nominal type -}
newtype Nominal a = Nominal a deriving ( Nominal a -> Nominal a -> Bool
(Nominal a -> Nominal a -> Bool)
-> (Nominal a -> Nominal a -> Bool) -> Eq (Nominal a)
forall a. Eq a => Nominal a -> Nominal a -> Bool
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: Nominal a -> Nominal a -> Bool
$c/= :: forall a. Eq a => Nominal a -> Nominal a -> Bool
== :: Nominal a -> Nominal a -> Bool
$c== :: forall a. Eq a => Nominal a -> Nominal a -> Bool
Eq, Int -> Nominal a -> ShowS
[Nominal a] -> ShowS
Nominal a -> String
(Int -> Nominal a -> ShowS)
-> (Nominal a -> String)
-> ([Nominal a] -> ShowS)
-> Show (Nominal a)
forall a. Show a => Int -> Nominal a -> ShowS
forall a. Show a => [Nominal a] -> ShowS
forall a. Show a => Nominal a -> String
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [Nominal a] -> ShowS
$cshowList :: forall a. Show a => [Nominal a] -> ShowS
show :: Nominal a -> String
$cshow :: forall a. Show a => Nominal a -> String
showsPrec :: Int -> Nominal a -> ShowS
$cshowsPrec :: forall a. Show a => Int -> Nominal a -> ShowS
Show, Eq (Nominal a)
Eq (Nominal a)
-> (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)
-> (Nominal a -> Nominal a -> Nominal a)
-> (Nominal a -> Nominal a -> Nominal a)
-> Ord (Nominal a)
Nominal a -> Nominal a -> Bool
Nominal a -> Nominal a -> Ordering
Nominal a -> Nominal a -> Nominal a
forall a.
Eq a
-> (a -> a -> Ordering)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> a)
-> (a -> a -> a)
-> Ord a
forall a. Ord a => Eq (Nominal a)
forall a. Ord a => Nominal a -> Nominal a -> Bool
forall a. Ord a => Nominal a -> Nominal a -> Ordering
forall a. Ord a => Nominal a -> Nominal a -> Nominal a
min :: Nominal a -> Nominal a -> Nominal a
$cmin :: forall a. Ord a => Nominal a -> Nominal a -> Nominal a
max :: Nominal a -> Nominal a -> Nominal a
$cmax :: forall a. Ord a => Nominal a -> Nominal a -> Nominal a
>= :: Nominal a -> Nominal a -> Bool
$c>= :: forall a. Ord a => Nominal a -> Nominal a -> Bool
> :: Nominal a -> Nominal a -> Bool
$c> :: forall a. Ord a => Nominal a -> Nominal a -> Bool
<= :: Nominal a -> Nominal a -> Bool
$c<= :: forall a. Ord a => Nominal a -> Nominal a -> Bool
< :: Nominal a -> Nominal a -> Bool
$c< :: forall a. Ord a => Nominal a -> Nominal a -> Bool
compare :: Nominal a -> Nominal a -> Ordering
$ccompare :: forall a. Ord a => Nominal a -> Nominal a -> Ordering
$cp1Ord :: forall a. Ord a => Eq (Nominal a)
Ord, (forall x. Nominal a -> Rep (Nominal a) x)
-> (forall x. Rep (Nominal a) x -> Nominal a)
-> Generic (Nominal a)
forall x. Rep (Nominal a) x -> Nominal a
forall x. Nominal a -> Rep (Nominal a) x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
forall a x. Rep (Nominal a) x -> Nominal a
forall a x. Nominal a -> Rep (Nominal a) x
$cto :: forall a x. Rep (Nominal a) x -> Nominal a
$cfrom :: forall a x. Nominal a -> Rep (Nominal a) x
Generic )