napkin-spec-2.0.0
Safe HaskellNone
LanguageGHC2024

Napkin.Run.Effects.Languages.External

Documentation

data External (m :: k) a where #

Constructors

ExecuteExternalCommand' :: forall {k} (m :: k). ExternalCommand -> External m (Either Text ExitCode) 

Instances

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

Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types

Methods

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

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

Defined in Napkin.Run.Effects.Languages.External

Methods

geq :: 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 :: 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 :: EffectRow). Members '[FatalError :: (Type -> Type) -> Type -> Type, External :: (Type -> Type) -> Type -> Type] effs => ExternalCommand -> Sem effs () #