unison-parser-typechecker-0.0.0
Safe HaskellSafe-Inferred
LanguageHaskell2010

Unison.UnconflictedLocalDefnsView

Synopsis

Documentation

data UnconflictedLocalDefnsView Source #

A view of a namespace's dsefinition (everything outside of lib) that is unconflicted: each name refers to one thing. The data contained within is all just different expressions of the same contents, for various use cases. The intention is to use laziness to avoid recomputing data structures whenever possible.

Constructors

UnconflictedLocalDefnsView 

Fields

Instances

Instances details
Generic UnconflictedLocalDefnsView Source # 
Instance details

Defined in Unison.UnconflictedLocalDefnsView

Associated Types

type Rep UnconflictedLocalDefnsView :: Type -> Type #

Methods

from :: UnconflictedLocalDefnsView -> Rep UnconflictedLocalDefnsView x #

to :: Rep UnconflictedLocalDefnsView x -> UnconflictedLocalDefnsView #

Show UnconflictedLocalDefnsView Source # 
Instance details

Defined in Unison.UnconflictedLocalDefnsView

Methods

showsPrec :: Int -> UnconflictedLocalDefnsView -> ShowS #

show :: UnconflictedLocalDefnsView -> String #

showList :: [UnconflictedLocalDefnsView] -> ShowS #

type Rep UnconflictedLocalDefnsView Source # 
Instance details

Defined in Unison.UnconflictedLocalDefnsView

type Rep UnconflictedLocalDefnsView = D1 ('MetaData "UnconflictedLocalDefnsView" "Unison.UnconflictedLocalDefnsView" "unison-parser-typechecker-0.0.0-9wgJy4ruQAj7rh5oYfCJXY" 'False) (C1 ('MetaCons "UnconflictedLocalDefnsView" 'PrefixI 'True) (S1 ('MetaSel ('Just "defns") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Defns (BiMultimap Referent Name) (BiMultimap TypeReference Name))) :*: (S1 ('MetaSel ('Just "nametree") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Nametree (DefnsF (Map NameSegment) Referent TypeReference))) :*: S1 ('MetaSel ('Just "names") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Names))))

empty :: UnconflictedLocalDefnsView Source #

fromDefns :: DefnsF (Map Name) Referent TypeReference -> UnconflictedLocalDefnsView Source #