{-# language DataKinds #-}
{-# language TypeOperators #-}
{-# language UndecidableInstances #-}
{-# options_ghc -Wno-orphans #-}

{- |
Generic Parsing interface for submission types.
-}

module FlexTask.Generic.Parse (
  module FlexTask.Generic.ParseInternal
  ) where


import GHC.TypeLits (TypeError, ErrorMessage(Text,(:$$:)))

import FlexTask.Generic.ParseInternal


instance {-# Overlappable #-} TypeError ('Text "Parse instances for nested lists are not supported."
              ':$$: 'Text "Please use a newtype or custom datatype instead."
                   )
         => Parse [[a]] where
   formParser :: Parser [[a]]
formParser = [Char] -> Parser [[a]]
forall a. HasCallStack => [Char] -> a
error [Char]
"unreachable"