agda2hs-1.0: src/Agda2Hs/Compile/Function.hs-boot

module Agda2Hs.Compile.Function where

import qualified Language.Haskell.Exts.Syntax as Hs ( Match, Name )
import Agda.Syntax.Internal ( Clause, ModuleName )
import Agda2Hs.Compile.Types ( C )

compileClause :: ModuleName -> Hs.Name () -> Clause -> C (Hs.Match ())