ReflectionSpec.hs

{-# LANGUAGE ScopedTypeVariables #-}
{-# OPTIONS_GHC -fno-warn-missing-signatures #-}
{-# OPTIONS_GHC -fno-warn-deprecations #-}

module Test.Data.Registry.Internal.ReflectionSpec where

import           Data.Dynamic
import           Data.Registry.Internal.Types
import           Data.Registry.Internal.Reflection
import           Prelude                      (String)
import           Protolude                    as P
import           Test.Tasty.Extensions

test_is_function = test "we can check if a type rep represents a function" $ do

  isFunction (dynTypeRep $ toDyn (u :: Int -> Int))    === True
  isFunction (dynTypeRep $ toDyn (u :: Int -> IO Int)) === True
  isFunction (dynTypeRep $ toDyn (u :: Int))           === False
  isFunction (dynTypeRep $ toDyn (u :: IO Int))        === False

test_show_value = test "show value for a simple type" $ do
  valDescriptionToText (describeValue (1 :: Int)    )  === "Int: 1"
  valDescriptionToText (describeValue (1 :: Double) )  === "Double: 1.0"
  valDescriptionToText (describeValue (True :: Bool))  === "Bool: True"
  valDescriptionToText (describeValue ("1" :: Text) )  === "Text: \"1\""
  valDescriptionToText (describeValue ("1" :: String)) === "String: \"1\""

test_show_value_nested_type = test "show value for a nested types" $ do
  valDescriptionToText (describeValue (Just 1 :: Maybe Int)) === "Maybe Int: Just 1"


  -- putting parentheses around types doesn't really work when type constructors
  -- have more than one argument :-(
  valDescriptionToText (describeValue (Right 1 :: Either Text Int)) === "Either (Text Int): Right 1"
  valDescriptionToText (describeValue ([1] :: [Int])              ) === "[Int]: [1]"

  -- user types must be shown with their full component names
  valDescriptionToText (describeValue mod1) === "Test.Data.Registry.Internal.ReflectionSpec.Mod Int: Mod 1 \"hey\""

test_show_function = test "show simple functions" $ do
  funDescriptionToText (describeFunction add1 ) === "Int -> Int"
  funDescriptionToText (describeFunction add2 ) === "Int -> Int -> Text"
  funDescriptionToText (describeFunction iomod) === "IO (Test.Data.Registry.Internal.ReflectionSpec.Mod Int)"

  funDescriptionToText (describeFunction fun0)  === "IO Int"
  funDescriptionToText (describeFunction fun1)  === "IO Int -> IO Int"
  funDescriptionToText (describeFunction fun2)  === "IO Int -> IO Int -> IO Int"
  funDescriptionToText (describeFunction fun3)  === "IO (Test.Data.Registry.Internal.ReflectionSpec.Mod Int) -> IO Int"

-- * helpers
u = undefined

data Mod a = Mod a Text deriving (Eq, Show)

mod1 :: Mod Int
mod1 = Mod 1 "hey"

iomod :: IO (Mod Int)
iomod = pure (Mod 1 "hey")

add1 :: Int -> Int
add1 i = i + 1

add2 :: Int -> Int -> Text
add2 _ = undefined

fun0 :: IO Int
fun0 = undefined

fun1 :: IO Int -> IO Int
fun1 = undefined

fun2 :: IO Int -> IO Int -> IO Int
fun2 = undefined

fun3 :: IO (Mod Int) -> IO Int
fun3 = undefined