napkin-0.5.14
Safe HaskellSafe-Inferred
LanguageGHC2021

Napkin.Run.Effects.Languages.External

Documentation

data External m a where #

Instances

Instances details
ToDumpItem (b :: k) (External :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Napkin.Run.Effects.Interceptors.LogProgram

Methods

toDumpItem :: forall (r :: EffectRow) (x :: k1). External (Sem r) x -> DumpItem b #

GEq (External a :: Type -> Type) # 
Instance details

Defined in Napkin.Run.Effects.Languages.External

Methods

geq :: forall (a0 :: k) (b :: k). External a a0 -> External a b -> Maybe (a0 :~: b) #

GShow (External t :: Type -> Type) # 
Instance details

Defined in Napkin.Run.Effects.Languages.External

Methods

gshowsPrec :: forall (a :: k). Int -> External t a -> ShowS #

Show (External m a) # 
Instance details

Defined in Napkin.Run.Effects.Languages.External

Methods

showsPrec :: Int -> External m a -> ShowS #

show :: External m a -> String #

showList :: [External m a] -> ShowS #

Eq (External m a) # 
Instance details

Defined in Napkin.Run.Effects.Languages.External

Methods

(==) :: External m a -> External m a -> Bool #

(/=) :: External m a -> External m a -> Bool #

executeExternalCommand :: forall effs. Members [FatalError, External] effs => ExternalCommand -> Sem effs () #