Skip to content
Snippets Groups Projects
Select Git revision
  • 1dbe3da4c7eedb2474e012a15512114ffb44d907
  • master default protected
  • devel
  • hruska-feature-clients-api
  • malostik-#5066-deduplicate-idea-ids
  • warden-postgresql-port
  • hruska-feature-#6799-filter-keys
  • hruska-feature-5066-duplicateIdeaID
  • warden-client-3.0-beta3
  • warden-server-3.0-beta3
  • warden-client-2.2-final
  • warden-server-2.2-final
  • warden-client-3.0-beta2
  • warden-server-3.0-beta2
  • warden-client-2.2
  • warden-server-2.2-patch3
  • warden-client-3.0-beta1
  • warden-server-3.0-beta1
  • warden-server-2.2-patch1
  • warden-client-3.0-beta0
  • warden-server-3.0-beta0
  • warden-server-2.2
  • warden-server-2.1-patch1
  • warden-client-2.1
  • warden-server-2.1
  • warden-server-2.1-beta6
  • warden-server-2.1-beta5
  • warden-server-2.1-beta4
28 results

README

Blame
  • Forked from 713 / Warden / Warden - archive
    Source project has a limited visibility.
    loci.ts 806 B
    /**
     * Copyright (c) 2018 mol* contributors, licensed under MIT, See LICENSE file for more info.
     *
     * @author Alexander Rose <alexander.rose@weirdbyte.de>
     */
    
    import { Element } from './structure'
    import { Link } from './structure/structure/unit/links'
    
    /** A Loci that includes every loci */
    export const EveryLoci = { kind: 'every-loci' as 'every-loci' }
    export type EveryLoci = typeof EveryLoci
    export function isEveryLoci(x: any): x is EveryLoci {
        return !!x && x.kind === 'every-loci';
    }
    
    /** A Loci that that is empty */
    export const EmptyLoci = { kind: 'empty-loci' as 'empty-loci' }
    export type EmptyLoci = typeof EmptyLoci
    export function isEmptyLoci(x: any): x is EmptyLoci {
        return !!x && x.kind === 'empty-loci';
    }
    
    export type Loci =  Element.Loci | Link.Loci | EveryLoci | EmptyLoci