curry-base-1.1.0: Functions for manipulating Curry programs

Copyright(c) 2006 Martin Engelke
2011 - 2014 Björn Peemöller
2014 Jan Tikovsky
LicenseBSD-3-clause
Maintainerbjp@informatik.uni-kiel.de
Stabilityexperimental
Portabilityportable
Safe HaskellSafe
LanguageHaskell2010

Curry.FlatCurry.InterfaceEquivalence

Description

 
Synopsis

Documentation

eqInterface :: Prog -> Prog -> Bool Source #

Check whether the interfaces of two FlatCurry programs are equivalent.