You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

20 lines
392 B
Haskell

{-# language GADTs #-}
module AOC.Types (
Solution (..),
Submission (..)
) where
import Data.Text (Text)
import GHC.Generics (Generic)
import Web.Internal.FormUrlEncoded (ToForm)
data Solution where
Solution :: Show b => (Text -> a) -> (a -> b) -> (a -> b) -> Solution
data Submission = Submission {
part :: Int,
answer :: String
} deriving (Generic)
instance ToForm Submission