{-# LANGUAGE TemplateHaskell #-} module Data.Concrete.Autogen.Lens.Property where import Control.Lens (makeLensesWith, classyRules_, lensField, mappingNamer, (&), (.~)) import Data.Concrete.Autogen.Situations_Types makeLensesWith (classyRules_ & lensField .~ mappingNamer (\f -> ["c" ++ dropWhile (\c -> c /= '_') f])) ''Property