Type Definition kul_core::combiner::Result

type Result<DA, CE> = Result<Option<Datum<<DA as DatumAllocator>::TT, <DA as DatumAllocator>::ET, <DA as DatumAllocator>::DR>>, Error<<<DA as DatumAllocator>::TT as TextBase>::Pos, CE>>;

The type returned by "operative" and "applicative" functions. For a successful Some return, the returned Datum is substituted for the original form by the parser in the AST it yields. For a successful None return, the original form is removed from the AST. An Error is returned if the combiner fails for any reason.