区間代数で無限大と無限小を統一的に扱う このドキュメントのコードのテストに必要な拡張とライブラリは以下の通りです。 numeric-prelude QuickCheck {-# LANGUAGE TypeOperators #-} {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE DataKinds #-} {-# LANGUAGE UndecidableInstances #-} {-# LANGUAGE GeneralizedNewtypeDeriving #-} {-# LANGUAGE RebindableSyntax #-} {-# LANGUAGE NoImplicitPrelude #-} import Test.QuickCheck import NumericPrelude import qualified Algebra.Field