{-# LANGUAGE RankNTypes #-}

module Util where

import Control.Monad.State

import Data.Char
import Data.List

import Lens.Micro
import Lens.Micro.Extras

use :: MonadState s m => Lens s s a a -> m a
use l = gets $ view l
  -- eta-expanded for GHC-9.0

modifying :: MonadState s m => Lens s s a a -> (a -> a) -> m ()
modifying l = modify . over l

trim :: String -> String
trim = dropWhileEnd isSpace . dropWhile isSpace