This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{-# LANGUAGE TypeFamilies, FlexibleContexts, TypeOperators, UndecidableInstances, GeneralizedNewtypeDeriving #-} | |
module Numeric.Vector.Space where | |
import Data.Functor.Representable.Trie hiding (Entry) | |
import Data.Key (Adjustable(..), Key) | |
import qualified Data.Key as Key | |
import qualified Data.Heap as Heap | |
import Data.Heap (Heap, Entry(..)) | |
import qualified Data.List.NonEmpty as NonEmpty | |
import Data.List.NonEmpty (NonEmpty(..)) |
NewerOlder