Interface ReCreation<Name>

interface ReCreation<Name extends string> {
    sort<SeqSortRef extends SeqSort<Name, Sort<Name>>>(
        seqSort: SeqSortRef,
    ): ReSort<Name, SeqSortRef>;
    toRe(
        seq: string | Seq<Name, Sort<Name>>,
    ): Re<Name, SeqSort<Name, Sort<Name>>>;
}

Methods

sort<SeqSortRef extends SeqSort<Name, Sort<Name>>>(
seqSort: SeqSortRef,
): ReSort<Name, SeqSortRef>
Create a regular expression sort over the given sequence sort
Type Parameters
- SeqSortRef extends SeqSort<Name, Sort<Name>>
Parameters
- seqSort: SeqSortRef
Returns ReSort<Name, SeqSortRef>
- Defined in src/high-level/types.ts:3224

toRe(seq: string | Seq<Name, Sort<Name>>): Re<Name, SeqSort<Name, Sort<Name>>>
Convert a sequence to a regular expression that accepts exactly that sequence
Parameters
- seq: string | Seq<Name, Sort<Name>>
Returns Re<Name, SeqSort<Name, Sort<Name>>>
- Defined in src/high-level/types.ts:3229