Searched refs:iso_S (Results 1 – 1 of 1) sorted by relevance
29 iso_S :: Iso (StateT i Id) (State i)35 iso_S = Iso S' unS function60 (>>=) = derive_bind iso_S83 instance Functor (State i) where fmap = derive_fmap iso_S96 pure = derive_return iso_S109 instance MonadFix (State i) where mfix = derive_mfix iso_S114 instance StateM (State i) i where get = derive_get iso_S; set = derive_set iso_S