{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE DeriveAnyClass #-}
{-# LANGUAGE OverloadedStrings #-}

module Fqn

where

-- general imports

import Data.Aeson
import GHC.Generics

-- | Fully qualified name

data Fqn = Fqn { Fqn -> String
content :: String } deriving ( Int -> Fqn -> ShowS
[Fqn] -> ShowS
Fqn -> String
(Int -> Fqn -> ShowS)
-> (Fqn -> String) -> ([Fqn] -> ShowS) -> Show Fqn
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> Fqn -> ShowS
showsPrec :: Int -> Fqn -> ShowS
$cshow :: Fqn -> String
show :: Fqn -> String
$cshowList :: [Fqn] -> ShowS
showList :: [Fqn] -> ShowS
Show, Fqn -> Fqn -> Bool
(Fqn -> Fqn -> Bool) -> (Fqn -> Fqn -> Bool) -> Eq Fqn
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: Fqn -> Fqn -> Bool
== :: Fqn -> Fqn -> Bool
$c/= :: Fqn -> Fqn -> Bool
/= :: Fqn -> Fqn -> Bool
Eq, Eq Fqn
Eq Fqn
-> (Fqn -> Fqn -> Ordering)
-> (Fqn -> Fqn -> Bool)
-> (Fqn -> Fqn -> Bool)
-> (Fqn -> Fqn -> Bool)
-> (Fqn -> Fqn -> Bool)
-> (Fqn -> Fqn -> Fqn)
-> (Fqn -> Fqn -> Fqn)
-> Ord Fqn
Fqn -> Fqn -> Bool
Fqn -> Fqn -> Ordering
Fqn -> Fqn -> Fqn
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
$ccompare :: Fqn -> Fqn -> Ordering
compare :: Fqn -> Fqn -> Ordering
$c< :: Fqn -> Fqn -> Bool
< :: Fqn -> Fqn -> Bool
$c<= :: Fqn -> Fqn -> Bool
<= :: Fqn -> Fqn -> Bool
$c> :: Fqn -> Fqn -> Bool
> :: Fqn -> Fqn -> Bool
$c>= :: Fqn -> Fqn -> Bool
>= :: Fqn -> Fqn -> Bool
$cmax :: Fqn -> Fqn -> Fqn
max :: Fqn -> Fqn -> Fqn
$cmin :: Fqn -> Fqn -> Fqn
min :: Fqn -> Fqn -> Fqn
Ord, (forall x. Fqn -> Rep Fqn x)
-> (forall x. Rep Fqn x -> Fqn) -> Generic Fqn
forall x. Rep Fqn x -> Fqn
forall x. Fqn -> Rep Fqn x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cfrom :: forall x. Fqn -> Rep Fqn x
from :: forall x. Fqn -> Rep Fqn x
$cto :: forall x. Rep Fqn x -> Fqn
to :: forall x. Rep Fqn x -> Fqn
Generic, [Fqn] -> Value
[Fqn] -> Encoding
Fqn -> Bool
Fqn -> Value
Fqn -> Encoding
(Fqn -> Value)
-> (Fqn -> Encoding)
-> ([Fqn] -> Value)
-> ([Fqn] -> Encoding)
-> (Fqn -> Bool)
-> ToJSON Fqn
forall a.
(a -> Value)
-> (a -> Encoding)
-> ([a] -> Value)
-> ([a] -> Encoding)
-> (a -> Bool)
-> ToJSON a
$ctoJSON :: Fqn -> Value
toJSON :: Fqn -> Value
$ctoEncoding :: Fqn -> Encoding
toEncoding :: Fqn -> Encoding
$ctoJSONList :: [Fqn] -> Value
toJSONList :: [Fqn] -> Value
$ctoEncodingList :: [Fqn] -> Encoding
toEncodingList :: [Fqn] -> Encoding
$comitField :: Fqn -> Bool
omitField :: Fqn -> Bool
ToJSON, Maybe Fqn
Value -> Parser [Fqn]
Value -> Parser Fqn
(Value -> Parser Fqn)
-> (Value -> Parser [Fqn]) -> Maybe Fqn -> FromJSON Fqn
forall a.
(Value -> Parser a)
-> (Value -> Parser [a]) -> Maybe a -> FromJSON a
$cparseJSON :: Value -> Parser Fqn
parseJSON :: Value -> Parser Fqn
$cparseJSONList :: Value -> Parser [Fqn]
parseJSONList :: Value -> Parser [Fqn]
$comittedField :: Maybe Fqn
omittedField :: Maybe Fqn
FromJSON )

any :: Fqn
any :: Fqn
any = Fqn { content :: String
content = String
"any" }

nativeInt :: Fqn
nativeInt :: Fqn
nativeInt = Fqn { content :: String
content = String
"int" }

nativeStr :: Fqn
nativeStr :: Fqn
nativeStr = Fqn { content :: String
content = String
"str" }