Safe Haskell	None
Language	GHC2024

Language.Drasil.Chunk.Concept.Core

Contents

Concept-related Datatypes

Description

Define concept-related chunks. A concept is usually something that has a term, definition, and comes from some domain of knowledge.

Synopsis

data ConceptChunk = ConDict UID NP (Maybe String) Sentence [UID]
sDom :: [UID] -> UID

Concept-related Datatypes

data ConceptChunk Source #

The ConceptChunk datatype records a concept that contains a unique id (UID), a term (NP), a definition (Sentence), an optional abbreviation ('Maybe String'), and an associated domain of knowledge ([UID]).

Ex. The concept of Accuracy may be defined as the quality or state of being correct or precise.

Constructors

ConDict UID NP (Maybe String) Sentence [UID]

Instances

Instances details

HasChunkRefs ConceptChunk Source #

Instance details

Defined in Language.Drasil.Chunk.Concept.Core

Methods

chunkRefs :: ConceptChunk -> Set UID #

HasUID ConceptChunk Source #

Finds UID of the ConceptChunk.

Instance details

Defined in Language.Drasil.Chunk.Concept.Core

Methods

uid :: Getter ConceptChunk UID #

Idea ConceptChunk Source #

Finds the abbreviation of the ConceptChunk.

Instance details

Defined in Language.Drasil.Chunk.Concept.Core

Methods

getA :: ConceptChunk -> Maybe String Source #

NamedIdea ConceptChunk Source #

Finds term (NP) of the ConceptChunk.

Instance details

Defined in Language.Drasil.Chunk.Concept.Core

Methods

term :: Lens' ConceptChunk NP Source #

ConceptDomain ConceptChunk Source #

Finds the domain of UIDs of a ConceptChunk.

Instance details

Defined in Language.Drasil.Chunk.Concept.Core

Methods

cdom :: ConceptChunk -> [UID] Source #

Definition ConceptChunk Source #

Finds definition of a ConceptChunk.

Instance details

Defined in Language.Drasil.Chunk.Concept.Core

Methods

defn :: Lens' ConceptChunk Sentence Source #

Generic ConceptChunk Source #

Instance details

Defined in Language.Drasil.Chunk.Concept.Core

Associated Types

type Rep ConceptChunk

Instance details

Defined in Language.Drasil.Chunk.Concept.Core

type Rep ConceptChunk = D1 ('MetaData "ConceptChunk" "Language.Drasil.Chunk.Concept.Core" "drasil-lang-0.1.60.0-1HMwkmtaiHpDlCGzFv9lso" 'False) (C1 ('MetaCons "ConDict" 'PrefixI 'True) ((S1 ('MetaSel ('Just "_uu") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 UID) :*: S1 ('MetaSel ('Just "_np") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 NP)) :*: (S1 ('MetaSel ('Just "mabbr") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe String)) :*: (S1 ('MetaSel ('Just "_defn'") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Sentence) :*: S1 ('MetaSel ('Just "cdom'") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [UID])))))

Methods

from :: ConceptChunk -> Rep ConceptChunk x #

to :: Rep ConceptChunk x -> ConceptChunk #

Eq ConceptChunk Source #

Equal if UIDs are equal.

Instance details

Defined in Language.Drasil.Chunk.Concept.Core

Methods

(==) :: ConceptChunk -> ConceptChunk -> Bool #

(/=) :: ConceptChunk -> ConceptChunk -> Bool #

type Rep ConceptChunk Source #

Instance details

Defined in Language.Drasil.Chunk.Concept.Core

type Rep ConceptChunk = D1 ('MetaData "ConceptChunk" "Language.Drasil.Chunk.Concept.Core" "drasil-lang-0.1.60.0-1HMwkmtaiHpDlCGzFv9lso" 'False) (C1 ('MetaCons "ConDict" 'PrefixI 'True) ((S1 ('MetaSel ('Just "_uu") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 UID) :*: S1 ('MetaSel ('Just "_np") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 NP)) :*: (S1 ('MetaSel ('Just "mabbr") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe String)) :*: (S1 ('MetaSel ('Just "_defn'") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Sentence) :*: S1 ('MetaSel ('Just "cdom'") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [UID])))))

sDom :: [UID] -> UID Source #

Check if something has one domain. Throws an error if there is more than one.