Safe Haskell	None
Language	Haskell2010

Polysemy.Mock.Example

Documentation

data Teletype m s where #

Constructors

PutStrLn' :: String -> Teletype m ()
GetLine' :: Teletype m String

Instances details

GShow (Teletype m :: Type -> Type) #
Instance details Defined in Polysemy.Mock.Example Methods gshowsPrec :: forall (a :: k). Int -> Teletype m a -> ShowS #
GEq (Teletype m :: Type -> Type) #
Instance details Defined in Polysemy.Mock.Example Methods geq :: forall (a :: k) (b :: k). Teletype m a -> Teletype m b -> Maybe (a :~: b) #
Eq (Teletype m a) #
Instance details Defined in Polysemy.Mock.Example Methods (==) :: Teletype m a -> Teletype m a -> Bool # (/=) :: Teletype m a -> Teletype m a -> Bool #
Show (Teletype m a) #
Instance details Defined in Polysemy.Mock.Example Methods showsPrec :: Int -> Teletype m a -> ShowS # show :: Teletype m a -> String # showList :: [Teletype m a] -> ShowS #
type DefiningModule (Teletype :: k -> Type -> Type) #
Instance details Defined in Polysemy.Mock.Example type DefiningModule (Teletype :: k -> Type -> Type) = "Polysemy.Mock.Example"

data Logger m s where #

Constructors

Instances details

GShow (Logger m :: Type -> Type) #
Instance details Defined in Polysemy.Mock.Example Methods gshowsPrec :: forall (a :: k). Int -> Logger m a -> ShowS #
GEq (Logger m :: Type -> Type) #
Instance details Defined in Polysemy.Mock.Example Methods geq :: forall (a :: k) (b :: k). Logger m a -> Logger m b -> Maybe (a :~: b) #
Eq (Logger m a) #
Instance details Defined in Polysemy.Mock.Example Methods (==) :: Logger m a -> Logger m a -> Bool # (/=) :: Logger m a -> Logger m a -> Bool #
Show (Logger m a) #
Instance details Defined in Polysemy.Mock.Example Methods showsPrec :: Int -> Logger m a -> ShowS # show :: Logger m a -> String # showList :: [Logger m a] -> ShowS #
type DefiningModule (Logger :: k -> Type -> Type) #
Instance details Defined in Polysemy.Mock.Example type DefiningModule (Logger :: k -> Type -> Type) = "Polysemy.Mock.Example"