valor.hs

{-# LANGUAGE DeriveAnyClass #-}
{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE StandaloneDeriving #-}
{-# LANGUAGE FlexibleInstances #-}

module Main where

import Data.Valor ( Validatable, Validate )
import Data.Text ( Text )
import Data.Functor.Identity ( Identity (..) )
import Data.Aeson
import GHC.Generics

data User' a = User
  { username :: Validatable a String   Text
  , password :: Validatable a [String] Text
  }


type User = User' Identity
deriving instance Show User
deriving instance Generic User
deriving instance ToJSON User
deriving instance FromJSON User

type UserError = User' Validate
deriving instance Show UserError

main :: IO ()
main = putStrLn "yo"