package Ġcom . j uj ink im . note . core . reducer Ċ Ċ import Ġcom . j uj ink im . note . core . App Screen Ċ import Ġcom . j uj ink im . note . core . AppState Ċ import Ġcom . j uj ink im . note . model . Category Ċ Ċ object ĠUi Reducers Ġ{ ĊĠĠĠ Ġfun Ġnavigate To Categories ( state : ĠApp State ) Ġ= Ġstate . copy ( ĊĠĠĠĠĠĠĠ Ġcurrent Screen Ġ= ĠApp Screen . CATEGORY _ LIST ĊĠĠĠ Ġ) ĊĊĠĠĠ Ġfun Ġnavigate To Notes ( state : ĠApp State , Ġcat : ĠCategory ) Ġ= Ġstate . copy ( ĊĠĠĠĠĠĠĠ Ġcurrent Screen Ġ= ĠApp Screen . NOTE _ LIST , ĊĠĠĠĠĠĠĠ Ġfocused Category Ġ= Ġcat ĊĠĠĠ Ġ) ĊĊĠĠĠ Ġfun Ġnavigate To Settings ( state : ĠApp State ) Ġ= Ġstate . copy ( ĊĠĠĠĠĠĠĠ Ġcurrent Screen Ġ= ĠApp Screen . SETTING ĊĠĠĠ Ġ) ĊĊĠĠĠ Ġfun Ġtoggle Category Edit Mode ( state : ĠApp State ) Ġ= Ġstate . copy ( ĊĠĠĠĠĠĠĠ Ġis Category Edit Mode Ġ= Ġ! state . is Category Edit Mode ĊĠĠĠ Ġ) Ċ }