about summary refs log blame commit diff
path: root/users/Profpatsch/my-prelude/src/ValidationParseT.hs
blob: 593b7ebf3918072c77e900c0a05862637a41277c (plain) (tree)
1
2
3
4
5
6
7
8
9
10
11

                             
                                    







                                                                                                                    
                                     



                                                     
module ValidationParseT where

import Control.Selective (Selective)
import Data.Functor.Compose (Compose (..))
import PossehlAnalyticsPrelude

-- | A simple way to create an Applicative parser that parses from some environment.
--
-- Use with DerivingVia. Grep codebase for examples.
newtype ValidationParseT env m a = ValidationParseT {unValidationParseT :: env -> m (Validation (NonEmpty Error) a)}
  deriving
    (Functor, Applicative, Selective)
    via ( Compose
            ((->) env)
            (Compose m (Validation (NonEmpty Error)))
        )