| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Language.Drasil.Chunk.ConstraintMap
Synopsis
- type ConstraintCEMap = Map UID [ConstraintCE]
- type ConstraintCE = Constraint CodeExpr
- constraintMap :: (HasUID c, Constrained c) => [c] -> ConstraintCEMap
- physLookup :: HasUID q => ConstraintCEMap -> q -> (q, [ConstraintCE])
- sfwrLookup :: HasUID q => ConstraintCEMap -> q -> (q, [ConstraintCE])
Documentation
type ConstraintCEMap = Map UID [ConstraintCE] Source #
Constraints map. Contains all Constraints.
type ConstraintCE = Constraint CodeExpr Source #
Type synonym for 'Constraint CodeExpr'
constraintMap :: (HasUID c, Constrained c) => [c] -> ConstraintCEMap Source #
Creates a map from UID to Constraints for constrained chunks.
physLookup :: HasUID q => ConstraintCEMap -> q -> (q, [ConstraintCE]) Source #
Returns a pair of a chunk and its physical constraints.
sfwrLookup :: HasUID q => ConstraintCEMap -> q -> (q, [ConstraintCE]) Source #
Returns a pair of a chunk and its software constraints.