Safe Haskell	Safe-Inferred
Language	GHC2021

Polysemy.Mock

Synopsis

data Action r rInitial
- = ExpectRequest (DSumI (Union r rInitial))
- | UnsafeForceReturn Any
type DSumI f = DSum f Identity
type ActionsU r rInitial = [Action r rInitial]
newtype MockError' = MockErrorMessage Text
data MockResult a
- = MockSuccess a
- | MockError MockError'
class Member (State (ActionsU effs rInitial)) r => MockInterpret (effs :: EffectRow) (r :: EffectRow) rInitial where
- interpretMock :: Sem r a -> Sem '[State (ActionsU effs rInitial), Error MockError'] a
type family AllFirstOrder xs where ...
data ActionList r rInitial
- = SingleAction (Action r rInitial)
- | MultipleActions [ActionList r rInitial]
data LocalReaderZone i
- = LocalReaderBegin i
- | LocalReaderEnd
type LocalReader i = Output (LocalReaderZone i)
pattern (:->) :: f m a -> a -> DSumI (f m)
forgetM :: forall (f :: Effect) m a. f m a -> f [] a
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
gshow' :: GShow f => f a -> Text
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
runMockMList :: forall mockedEffs a effs rInitial. (GShow (Union mockedEffs []), MockInterpret mockedEffs effs rInitial) => ActionsU mockedEffs rInitial -> Sem effs a -> MockResult a
flattenActionList :: ActionList r rInitial -> [Action r rInitial]
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
expectActions :: [Action r rInitial] -> ActionList 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
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)
inj :: forall e (r :: EffectRow) (rInitial :: EffectRow) a. Member e r => e (Sem rInitial) a -> Union r (Sem rInitial) a

Documentation

data Action r rInitial #

Constructors

ExpectRequest (DSumI (Union r rInitial))
UnsafeForceReturn Any	Escape hatch, use with caution, expect segfaults

Instances

Instances details

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 #

type ActionsU r rInitial = [Action r rInitial] #

newtype MockError' #

Constructors

MockErrorMessage Text

Instances

Instances details

IsString MockError' #
Instance details Defined in Polysemy.Mock Methods fromString :: String -> MockError' #
Exception MockError' #
Instance details Defined in Polysemy.Mock Methods toException :: MockError' -> SomeException # fromException :: SomeException -> Maybe MockError' # displayException :: MockError' -> String #
Show MockError' #
Instance details Defined in Polysemy.Mock Methods showsPrec :: Int -> MockError' -> ShowS # show :: MockError' -> String # showList :: [MockError'] -> ShowS #
Eq MockError' #
Instance details Defined in Polysemy.Mock Methods (==) :: MockError' -> MockError' -> Bool # (/=) :: MockError' -> MockError' -> Bool #
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 #

Constructors

MockSuccess a
MockError MockError'

Instances

Instances details

Show a => Show (MockResult a) #
Instance details Defined in Polysemy.Mock Methods showsPrec :: Int -> MockResult a -> ShowS # show :: MockResult a -> String # showList :: [MockResult a] -> ShowS #
Eq a => Eq (MockResult a) #
Instance details Defined in Polysemy.Mock Methods (==) :: MockResult a -> MockResult a -> Bool # (/=) :: MockResult a -> MockResult a -> Bool #

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

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 #
(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 #

type family AllFirstOrder xs where ... #

Equations

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

data ActionList r rInitial #

To be used with OverloadedLists

Constructors

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

Instances

Instances details

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 #
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 #
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)] #
type Item (ActionList r rInitial) #
Instance details Defined in Polysemy.Mock type Item (ActionList r rInitial) = ActionList r rInitial

data LocalReaderZone i #

Constructors

LocalReaderBegin i
LocalReaderEnd

Instances

Instances details

Show i => Show (LocalReaderZone i) #
Instance details Defined in Polysemy.Mock Methods showsPrec :: Int -> LocalReaderZone i -> ShowS # show :: LocalReaderZone i -> String # showList :: [LocalReaderZone i] -> ShowS #
Eq i => Eq (LocalReaderZone i) #
Instance details Defined in Polysemy.Mock Methods (==) :: LocalReaderZone i -> LocalReaderZone i -> Bool # (/=) :: LocalReaderZone i -> LocalReaderZone i -> Bool #

type LocalReader i = Output (LocalReaderZone i) #

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 #

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

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 #

runMockMList :: forall mockedEffs a effs rInitial. (GShow (Union mockedEffs []), MockInterpret mockedEffs effs rInitial) => ActionsU mockedEffs rInitial -> Sem effs a -> MockResult a #

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

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 #

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

Use when OverloadedLists are not enabled

(===-) :: 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 :: EffectRow) (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.