Syntax.hs

{-# LANGUAGE StandaloneDeriving #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE DataKinds         #-}
{-# LANGUAGE DeriveGeneric     #-}
{-# LANGUAGE DeriveTraversable #-}
{-# LANGUAGE FlexibleContexts  #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE GADTs             #-}
{-# LANGUAGE KindSignatures    #-}
{-# LANGUAGE LambdaCase        #-}
{-# LANGUAGE PatternSynonyms   #-}
{-# LANGUAGE RankNTypes        #-}
{-# LANGUAGE TemplateHaskell   #-}
{-# LANGUAGE TypeFamilies      #-}
-- Generated conversions carry a redundant @Ord@ constraint; 'soas' silences the
-- same warning in its generated module, as it does the orphan 'ZipMatchK'
-- instance for the raw identifier type.
{-# OPTIONS_GHC -Wno-missing-signatures -Wno-redundant-constraints -Wno-orphans #-}

-- | The scope-safe syntax generated from
-- "Control.Monad.Free.Foil.TH.MkFreeFoilSpec.Config".
--
-- That this module /compiles at all/ is the regression test: before the fix,
-- 'mkFreeFoil' and 'mkFreeFoilConversions' generated ill-typed code for @Let@
-- and @LetRec@ (a pattern synonym whose signature disagreed with its arguments,
-- and conversions that gave the raw constructor the wrong number of arguments in
-- the wrong order).
module Control.Monad.Free.Foil.TH.MkFreeFoilSpec.Syntax where

import qualified Control.Monad.Foil                              as Foil
import           Control.Monad.Free.Foil.Binary          ()
import           Control.Monad.Free.Foil.Binary.TH       (deriveBinaryPattern)
import           Control.Monad.Free.Foil.TH.MkFreeFoil
import           Data.ZipMatchK
import           Generics.Kind.TH                                (deriveGenericK)

import           Control.Monad.Free.Foil.TH.MkFreeFoilSpec.Config

mkFreeFoil config

deriveGenericK ''FFPattern
instance Foil.SinkableK FFPattern
instance Foil.HasNameBinders FFPattern
-- Foil.CoSinkable FFPattern is generated by mkFreeFoil.
instance Foil.UnifiablePattern FFPattern
deriveBinaryPattern ''FFPattern

instance ZipMatchK VarIdent where zipMatchWithK = zipMatchViaEq

mkFreeFoilConversions config

-- For the tests of the generated instances.
deriving instance (Eq scope, Eq term) => Eq (TermSig scope term)
deriving instance (Show scope, Show term) => Show (TermSig scope term)