diff options
| author | sanine <sanine.not@pm.me> | 2023-12-04 20:10:18 -0600 |
|---|---|---|
| committer | sanine <sanine.not@pm.me> | 2023-12-04 20:10:18 -0600 |
| commit | 899ad0ed13d3e347e2818294f7ed9d8d4d468e94 (patch) | |
| tree | aa38d3b8c6980ca9e87f28be550573a3ba15b35e /src | |
| parent | 749df3069669787d2c0a57fb9b9ad66a3605da19 (diff) | |
refactor: Lattice -> World.Lattice
Diffstat (limited to 'src')
| -rw-r--r-- | src/World/Lattice.hs (renamed from src/Lattice.hs) | 2 | ||||
| -rw-r--r-- | src/World/Types.hs | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/Lattice.hs b/src/World/Lattice.hs index b69aa41..257ea50 100644 --- a/src/Lattice.hs +++ b/src/World/Lattice.hs @@ -1,4 +1,4 @@ -module Lattice +module World.Lattice ( LatticeCell (..) , Lattice , LatticeRule diff --git a/src/World/Types.hs b/src/World/Types.hs index e9be991..78bd5af 100644 --- a/src/World/Types.hs +++ b/src/World/Types.hs @@ -104,6 +104,6 @@ instance (Combinable a) => Combinable (AgentPropList a) where newtype Proposal a b c = Proposal (LatticePropList a b, AgentPropList c) deriving (Show, Eq) instance (Combinable a, Combinable b, Combinable c) => Combinable (Proposal a b c) where - identity = Proposal ([], []) + identity = Proposal (LatticePropList [], AgentPropList []) combinable (Proposal (l, a)) (Proposal (l', a')) = (combinable l l') && (combinable a a') combine (Proposal (l, a)) (Proposal (l', a')) = Proposal (combine l l', combine a a') |