github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-30 10:27:45 +03:00
Code Issues Projects Releases Wiki Activity

Define a function to produce a list of associations from a Table.

Browse Source
This commit is contained in:
Rob Rix 2017-08-31 23:08:54 -04:00
parent aede0519c5
commit d742af2c28
1 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
src/Data/Syntax/Assignment/Table/Array.hs
View File

@ -2,11 +2,11 @@ module Data.Syntax.Assignment.Table.Array
( Table(tableAddresses)
, singleton
, fromListWith
, toList
) where
import Control.Arrow ((&&&))
import Data.Array
import Data.Foldable (toList)
import Data.Functor.Classes
import Data.List.NonEmpty (NonEmpty(..))
import Data.Semigroup (Max(..), Min(..), sconcat)
@ -25,6 +25,9 @@ fromListWith with assocs@(a:as) = Table (fst <$> assocs) (accumArray merge Nothi
merge Nothing b = Just b
merge (Just a) b = Just (with a b)
toList :: Ix i => Table i a -> [(i, a)]
toList Table{..} = tableAddresses >>= \ addr -> maybe [] (pure . (,) addr) (tableBranches ! addr)
instance (Ix i, Show i) => Show1 (Table i) where
liftShowsPrec spA slA d Table{..} = showsBinaryWith showsPrec (const (liftShowList spA slA)) "Table" d tableAddresses (tableAddresses >>= \ addr -> (,) addr <$> toList (tableBranches ! addr))
liftShowsPrec spA slA d t = showsBinaryWith showsPrec (const (liftShowList spA slA)) "Table" d (tableAddresses t) (toList t)