Skip to content
Snippets Groups Projects
Commit fa32dea8 authored by Hans-Peter Deifel's avatar Hans-Peter Deifel
Browse files

Unpack fields of AlgoState

parent bc51813b
No related branches found
No related tags found
No related merge requests found
...@@ -24,12 +24,12 @@ import Data.RefinablePartition ( RefinablePartition ) ...@@ -24,12 +24,12 @@ import Data.RefinablePartition ( RefinablePartition )
import MA.Coalgebra.RefinementTypes import MA.Coalgebra.RefinementTypes
data AlgoState s h = AlgoState data AlgoState s h = AlgoState
{ toSub :: MVector s [EdgeRef] { toSub :: {-# UNPACK #-} (MVector s [EdgeRef])
, lastW :: MVector s (STRef s (Weight h)) , lastW :: {-# UNPACK #-} (MVector s (STRef s (Weight h)))
, encoding :: Encoding (Label h) (H1 h) , encoding :: {-# UNPACK #-} (Encoding (Label h) (H1 h))
, pred :: Vector [EdgeRef] , pred :: {-# UNPACK #-} (Vector [EdgeRef])
, partition :: RefinablePartition s , partition :: {-# UNPACK #-} (RefinablePartition s)
, h3Cache :: MVector s (H3 h) , h3Cache :: {-# UNPACK #-} (MVector s (H3 h))
} }
makeLensesFor makeLensesFor
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment