-
Notifications
You must be signed in to change notification settings - Fork 52
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge branch 'main' into refactor/extract-state-initialization
- Loading branch information
Showing
3 changed files
with
122 additions
and
112 deletions.
There are no files selected for viewing
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
118 changes: 118 additions & 0 deletions
118
src/swarm-topography/Swarm/Game/Scenario/Topography/Structure/Recognition/Prep.hs
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
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,118 @@ | ||
| -- | | ||
| -- SPDX-License-Identifier: BSD-3-Clause | ||
| module Swarm.Game.Scenario.Topography.Structure.Recognition.Prep (mkEntityLookup) where | ||
|
|
||
| import Control.Arrow ((&&&)) | ||
| import Data.Hashable (Hashable) | ||
| import Data.Int (Int32) | ||
| import Data.List.NonEmpty qualified as NE | ||
| import Data.Map qualified as M | ||
| import Data.Maybe (catMaybes) | ||
| import Data.Semigroup (sconcat) | ||
| import Data.Set qualified as S | ||
| import Data.Tuple (swap) | ||
| import Swarm.Game.Scenario.Topography.Structure.Recognition.Type | ||
| import Swarm.Util (binTuples) | ||
| import Text.AhoCorasick | ||
|
|
||
| allStructureRows :: [StructureWithGrid b a] -> [StructureRow b a] | ||
| allStructureRows = | ||
| concatMap transformRows | ||
| where | ||
| transformRows :: StructureWithGrid b a -> [StructureRow b a] | ||
| transformRows g = zipWith (StructureRow g) [0 ..] $ entityGrid g | ||
|
|
||
| mkOffsets :: Foldable f => Int32 -> f a -> InspectionOffsets | ||
| mkOffsets pos xs = | ||
| InspectionOffsets (pure (negate pos)) $ | ||
| pure $ | ||
| fromIntegral (length xs) - 1 - pos | ||
|
|
||
| -- | Given each possible row of entities observed in the world, | ||
| -- yield a searcher that can determine whether adjacent | ||
| -- rows constitute a complete structure. | ||
| mkRowLookup :: | ||
| (Hashable a, Ord en) => | ||
| (a -> en) -> | ||
| NE.NonEmpty (StructureRow b a) -> | ||
| AutomatonInfo en (SymbolSequence a) (StructureWithGrid b a) | ||
| mkRowLookup nameFunc neList = | ||
| AutomatonInfo participatingEnts bounds sm | ||
| where | ||
| mkSmTuple = entityGrid &&& id | ||
| tuples = NE.toList $ NE.map (mkSmTuple . wholeStructure) neList | ||
|
|
||
| -- All of the unique entities across all of the full candidate structures | ||
| participatingEnts = | ||
| S.fromList $ | ||
| map nameFunc $ | ||
| concatMap (concatMap catMaybes . fst) tuples | ||
|
|
||
| deriveRowOffsets :: StructureRow b a -> InspectionOffsets | ||
| deriveRowOffsets (StructureRow (StructureWithGrid _ _ g) rwIdx _) = | ||
| mkOffsets rwIdx g | ||
|
|
||
| bounds = sconcat $ NE.map deriveRowOffsets neList | ||
| sm = makeStateMachine tuples | ||
|
|
||
| -- | Make the first-phase lookup map, keyed by 'Entity', | ||
| -- along with automatons whose key symbols are "Maybe Entity". | ||
| -- | ||
| -- Each automaton in this first layer will attempt to match the | ||
| -- underlying world row against all rows within all structures | ||
| -- (so long as they contain the keyed entity). | ||
| mkEntityLookup :: | ||
| (Hashable a, Ord a, Ord en) => | ||
| (a -> en) -> | ||
| [StructureWithGrid b a] -> | ||
| M.Map a (AutomatonInfo en (AtomicKeySymbol a) (StructureSearcher b en a)) | ||
| mkEntityLookup nameFunc grids = | ||
| M.map mkValues rowsByEntityParticipation | ||
| where | ||
| rowsAcrossAllStructures = allStructureRows grids | ||
|
|
||
| -- The input here are all rows across all structures | ||
| -- that share the same entity sequence. | ||
| mkSmValue ksms singleRows = | ||
| StructureSearcher sm2D ksms singleRows | ||
| where | ||
| structureRowsNE = NE.map myRow singleRows | ||
| sm2D = mkRowLookup nameFunc structureRowsNE | ||
|
|
||
| mkValues neList = AutomatonInfo participatingEnts bounds sm | ||
| where | ||
| participatingEnts = | ||
| (S.fromList . map nameFunc) | ||
| (concatMap (catMaybes . fst) tuples) | ||
|
|
||
| tuples = M.toList $ M.mapWithKey mkSmValue groupedByUniqueRow | ||
|
|
||
| groupedByUniqueRow = binTuples $ NE.toList $ NE.map (rowContent . myRow &&& id) neList | ||
| bounds = sconcat $ NE.map expandedOffsets neList | ||
| sm = makeStateMachine tuples | ||
|
|
||
| -- The values of this map are guaranteed to contain only one | ||
| -- entry per row of a given structure. | ||
| rowsByEntityParticipation = | ||
| binTuples $ | ||
| map (myEntity &&& id) $ | ||
| concatMap explodeRowEntities rowsAcrossAllStructures | ||
|
|
||
| deriveEntityOffsets :: PositionWithinRow b a -> InspectionOffsets | ||
| deriveEntityOffsets (PositionWithinRow pos r) = | ||
| mkOffsets pos $ rowContent r | ||
|
|
||
| -- The members of "rowMembers" are of 'Maybe' type; the 'Nothing's | ||
| -- are dropped but accounted for when indexing the columns. | ||
| explodeRowEntities :: Ord a => StructureRow b a -> [SingleRowEntityOccurrences b a] | ||
| explodeRowEntities r@(StructureRow _ _ rowMembers) = | ||
| map f $ M.toList $ binTuples unconsolidated | ||
| where | ||
| f (e, occurrences) = | ||
| SingleRowEntityOccurrences r e occurrences $ | ||
| sconcat $ | ||
| NE.map deriveEntityOffsets occurrences | ||
| unconsolidated = | ||
| map swap $ | ||
| catMaybes $ | ||
| zipWith (\idx -> fmap (PositionWithinRow idx r,)) [0 ..] rowMembers |
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