Polysemy.Mock.Example
data Teletype m s where #
Constructors
Defined in Polysemy.Mock.Example
Methods
gshowsPrec :: forall (a :: k). Int -> Teletype m a -> ShowS #
geq :: forall (a :: k) (b :: k). Teletype m a -> Teletype m b -> Maybe (a :~: b) #
(==) :: Teletype m a -> Teletype m a -> Bool #
(/=) :: Teletype m a -> Teletype m a -> Bool #
showsPrec :: Int -> Teletype m a -> ShowS #
show :: Teletype m a -> String #
showList :: [Teletype m a] -> ShowS #
data Logger m s where #
gshowsPrec :: forall (a :: k). Int -> Logger m a -> ShowS #
geq :: forall (a :: k) (b :: k). Logger m a -> Logger m b -> Maybe (a :~: b) #
(==) :: Logger m a -> Logger m a -> Bool #
(/=) :: Logger m a -> Logger m a -> Bool #
showsPrec :: Int -> Logger m a -> ShowS #
show :: Logger m a -> String #
showList :: [Logger m a] -> ShowS #
getLine' :: forall r. MemberWithError Teletype r => Sem r String #
putStrLn' :: forall r. MemberWithError Teletype r => String -> Sem r () #
log' :: forall r. MemberWithError Logger r => String -> Sem r () #
exampleTest :: IO () #