napkin-0.5.12
Safe HaskellNone
LanguageHaskell2010

Polysemy.Mock.Example

Documentation

data Teletype m s where #

Constructors

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

Instances

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

Log' :: String -> Logger m () 

Instances

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"

putStrLn' :: forall r. MemberWithError Teletype r => String -> Sem r () #

log' :: forall r. MemberWithError Logger r => String -> Sem r () #