github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-24 23:42:31 +03:00
Code Issues Projects Releases Wiki Activity

Don’t wrap Range & Category in newtypes.

Browse Source
This commit is contained in:
Rob Rix 2016-06-17 11:15:22 -04:00
parent ed1b0b692d
commit 138f66ae0d
1 changed files with 9 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
src/Info.hs
View File

@ -6,26 +6,24 @@ import Prologue
import Category
import Range
newtype RangeA = RangeA { unRangeA :: Range }
newtype CategoryA = CategoryA { unCategoryA :: Category }
newtype SizeA = SizeA { unSizeA :: Integer }
newtype CostA = CostA { unCostA :: Integer }
type InfoFields = '[ RangeA, CategoryA, SizeA, CostA ]
type InfoFields = '[ Range, Category, SizeA, CostA ]
type Info' = Record InfoFields
characterRange' :: HasField fields RangeA => Record fields -> Range
characterRange' = unRangeA . getField
characterRange' :: HasField fields Range => Record fields -> Range
characterRange' = getField
setCharacterRange' :: SetField fields RangeA => Record fields -> Range -> Record fields
setCharacterRange' record = setField record . RangeA
setCharacterRange' :: SetField fields Range => Record fields -> Range -> Record fields
setCharacterRange' = setField
category' :: HasField fields CategoryA => Record fields -> Category
category' = unCategoryA . getField
category' :: HasField fields Category => Record fields -> Category
category' = getField
setCategory' :: SetField fields CategoryA => Record fields -> Category -> Record fields
setCategory' record = setField record . CategoryA
setCategory' :: SetField fields Category => Record fields -> Category -> Record fields
setCategory' = setField
size' :: HasField fields SizeA => Record fields -> Integer
size' = unSizeA . getField