hiSearchTermProperty :: HoleInfo m -> Property (T m) String
hiSearchTermProperty holeInfo = hiState holeInfo & Property.composeLens hsSearchTerm
hiSearchTermProperty :: HoleInfo m -> Property (T m) String
hiSearchTermProperty holeInfo = hiState holeInfo & Property.composeLens hsSearchTerm
hiSearchTermProperty holeInfo = hiState holeInfo & Property.composeLens hsSearchTerm