napkin-0.5.12
Safe HaskellNone
LanguageHaskell2010

Polysemy.Mock

Synopsis

Documentation

data LocalReaderZone i #

Instances

Instances details
Eq i => Eq (LocalReaderZone i) # 
Instance details

Defined in Polysemy.Mock

Show i => Show (LocalReaderZone i) # 
Instance details

Defined in Polysemy.Mock

data ActionList r rInitial #

To be used with OverloadedLists

Constructors

SingleAction (Action r rInitial) 
MultipleActions [ActionList r rInitial] 

Instances

Instances details
IsList (ActionList r rInitial) # 
Instance details

Defined in Polysemy.Mock

Associated Types

type Item (ActionList r rInitial) #

Methods

fromList :: [Item (ActionList r rInitial)] -> ActionList r rInitial #

fromListN :: Int -> [Item (ActionList r rInitial)] -> ActionList r rInitial #

toList :: ActionList r rInitial -> [Item (ActionList r rInitial)] #

Semigroup (ActionList r rInitial) # 
Instance details

Defined in Polysemy.Mock

Methods

(<>) :: ActionList r rInitial -> ActionList r rInitial -> ActionList r rInitial #

sconcat :: NonEmpty (ActionList r rInitial) -> ActionList r rInitial #

stimes :: Integral b => b -> ActionList r rInitial -> ActionList r rInitial #

Monoid (ActionList r rInitial) # 
Instance details

Defined in Polysemy.Mock

Methods

mempty :: ActionList r rInitial #

mappend :: ActionList r rInitial -> ActionList r rInitial -> ActionList r rInitial #

mconcat :: [ActionList r rInitial] -> ActionList r rInitial #

type Item (ActionList r rInitial) # 
Instance details

Defined in Polysemy.Mock

type Item (ActionList r rInitial) = ActionList r rInitial

type family AllFirstOrder xs where ... #

Equations

AllFirstOrder '[] = () 
AllFirstOrder (x ': xs) = (FirstOrder x "runMockM", AllFirstOrder xs) 

class Member (State (ActionsU effs rInitial)) r => MockInterpret (effs :: EffectRow) (r :: EffectRow) rInitial where #

Methods

interpretMock :: Sem r a -> Sem '[State (ActionsU effs rInitial), Error MockError'] a #

Instances

Instances details
(GShow (Union effs []), GShow (r []), GEq (r []), Member r effs, MockInterpret effs (ra ': (rs ': rw)) rInitial, Member (State (ActionsU effs rInitial) :: (Type -> Type) -> Type -> Type) (r ': (ra ': (rs ': rw))), FirstOrder r "interpretMock", Member (Error MockError' :: (Type -> Type) -> Type -> Type) (rs ': rw), Member (Error MockError' :: (Type -> Type) -> Type -> Type) (ra ': (rs ': rw))) => MockInterpret effs (r ': (ra ': (rs ': rw))) rInitial # 
Instance details

Defined in Polysemy.Mock

Methods

interpretMock :: Sem (r ': (ra ': (rs ': rw))) a -> Sem '[State (ActionsU effs rInitial), Error MockError'] a #

(GShow (r []), GEq (r []), Member r effs) => MockInterpret effs '[State (ActionsU effs rInitial) :: (Type -> Type) -> Type -> Type, Error MockError' :: (Type -> Type) -> Type -> Type] rInitial # 
Instance details

Defined in Polysemy.Mock

Methods

interpretMock :: Sem '[State (ActionsU effs rInitial), Error MockError'] a -> Sem '[State (ActionsU effs rInitial), Error MockError'] a #

data MockResult a #

Instances

Instances details
Eq a => Eq (MockResult a) # 
Instance details

Defined in Polysemy.Mock

Methods

(==) :: MockResult a -> MockResult a -> Bool #

(/=) :: MockResult a -> MockResult a -> Bool #

Show a => Show (MockResult a) # 
Instance details

Defined in Polysemy.Mock

newtype MockError' #

Constructors

MockErrorMessage Text 

Instances

Instances details
Eq MockError' # 
Instance details

Defined in Polysemy.Mock

Show MockError' # 
Instance details

Defined in Polysemy.Mock

IsString MockError' # 
Instance details

Defined in Polysemy.Mock

Exception MockError' # 
Instance details

Defined in Polysemy.Mock

(GShow (r []), GEq (r []), Member r effs) => MockInterpret effs '[State (ActionsU effs rInitial) :: (Type -> Type) -> Type -> Type, Error MockError' :: (Type -> Type) -> Type -> Type] rInitial # 
Instance details

Defined in Polysemy.Mock

Methods

interpretMock :: Sem '[State (ActionsU effs rInitial), Error MockError'] a -> Sem '[State (ActionsU effs rInitial), Error MockError'] a #

type ActionsU r rInitial = [Action r rInitial] #

data Action r rInitial #

Constructors

ExpectRequest (DSumI (Union r rInitial)) 
UnsafeForceReturn Any

Escape hatch, use with caution, expect segfaults

Instances

Instances details
(GShow (r []), GEq (r []), Member r effs) => MockInterpret effs '[State (ActionsU effs rInitial) :: (Type -> Type) -> Type -> Type, Error MockError' :: (Type -> Type) -> Type -> Type] rInitial # 
Instance details

Defined in Polysemy.Mock

Methods

interpretMock :: Sem '[State (ActionsU effs rInitial), Error MockError'] a -> Sem '[State (ActionsU effs rInitial), Error MockError'] a #

type DSumI f = DSum f Identity #

pattern (:->) :: f m a -> a -> DSumI (f m) #

 

forgetM :: forall (f :: Effect) m a. f m a -> f [] a #

We do only care about data in GADT, we can do unsafe coerce as long as our effect is first order

mockSem :: forall ra rb e m x r. (GShow (e []), GEq (e []), Member (State (ActionsU ra rb)) r, Member e ra, GShow (Union ra []), Member (Error MockError') r) => e m x -> Sem r x #

verifyU :: forall (f :: EffectRow) w r. GShow (Union f []) => Either MockError' ([Action f r], w) -> Either MockError' w #

runMockM :: forall mockedEffs a effs rInitial. (GShow (Union mockedEffs []), MockInterpret mockedEffs effs rInitial, effs ~ (mockedEffs ++ '[State (ActionsU mockedEffs rInitial), Error MockError']), AllFirstOrder mockedEffs) => ActionList mockedEffs rInitial -> Sem effs a -> MockResult a #

runMockM' :: forall mockedEffs a effs rInitial. (GShow (Union mockedEffs []), MockInterpret mockedEffs effs rInitial, effs ~ (mockedEffs ++ '[State (ActionsU mockedEffs rInitial), Error MockError']), AllFirstOrder mockedEffs) => ActionList mockedEffs rInitial -> Sem effs a -> IO a #

runMockMList :: forall mockedEffs a effs rInitial. (GShow (Union mockedEffs []), MockInterpret mockedEffs effs rInitial, effs ~ (mockedEffs ++ '[State (ActionsU mockedEffs rInitial), Error MockError']), AllFirstOrder mockedEffs) => ActionsU mockedEffs rInitial -> Sem effs a -> MockResult a #

gshow' :: GShow f => f a -> Text #

expectActions :: [Action r rInitial] -> ActionList r rInitial #

Use when OverloadedLists are not enabled

flattenActionList :: ActionList r rInitial -> [Action r rInitial] #

(===-) :: Member e r => e (Sem rInitial) a -> a -> ActionList r (Sem rInitial) #

runReaderMock :: forall i r a. Member (LocalReader i) r => i -> Sem (Reader i ': r) a -> Sem r a #

Run (Reader i) effect while emitting calls to (LocalReaderZone i) effect when local zone is entered and leaved.

localReaderBegin :: forall i r rInitial. Member (LocalReader i) r => i -> ActionList r (Sem rInitial) #

localReaderEnd :: forall i r rInitial. Member (LocalReader i) r => ActionList r (Sem rInitial) #

localReader :: forall i r rInitial. Member (LocalReader i) r => i -> ActionList r (Sem rInitial) -> ActionList r (Sem rInitial) #

localReaderAborted :: forall i r rInitial. Member (LocalReader i) r => i -> ActionList r (Sem rInitial) -> ActionList r (Sem rInitial) #

When computation is aborted with exception localReaderEnd is not registered as local computation does not return

inj :: forall e (r :: [(Type -> Type) -> Type -> Type]) (rInitial :: EffectRow) a. Member e r => e (Sem rInitial) a -> Union r (Sem rInitial) a #

Lift an effect e into a Union capable of holding it.