symparsec
Safe HaskellNone
LanguageGHC2021

Symparsec.Parser.Isolate

Documentation

data Isolate (n :: Natural) (p :: PParser a) (s :: FunKind PState (PReply a)) Source #

Instances

Instances details
type App (Isolate n p :: FunKind PState (PReply a) -> Type) (s :: PState) Source # 
Instance details

Defined in Symparsec.Parser.Isolate

type App (Isolate n p :: FunKind PState (PReply a) -> Type) (s :: PState)

data IsolateSym (p :: PParser a) (x :: FunKind Natural (PParser a)) Source #

Instances

Instances details
type App (IsolateSym p :: FunKind Natural (PParser a) -> Type) (n :: Natural) Source # 
Instance details

Defined in Symparsec.Parser.Isolate

type App (IsolateSym p :: FunKind Natural (PParser a) -> Type) (n :: Natural) = Isolate n p