Safe Haskell	None
Language	Haskell2010

Unison.Codebase.Editor.SlurpComponent

Contents

Slurp component

Synopsis

data SlurpComponent = SlurpComponent {
- types :: Set Symbol
- terms :: Set Symbol
- ctors :: Set Symbol
}
empty :: SlurpComponent
fromTerms :: Set Symbol -> SlurpComponent
fromTypes :: Set Symbol -> SlurpComponent
fromCtors :: Set Symbol -> SlurpComponent
isEmpty :: SlurpComponent -> Bool
difference :: SlurpComponent -> SlurpComponent -> SlurpComponent
intersection :: SlurpComponent -> SlurpComponent -> SlurpComponent
closeWithDependencies :: TypecheckedUnisonFile Symbol a -> SlurpComponent -> SlurpComponent

Slurp component

data SlurpComponent Source #

Constructors

SlurpComponent
Fields types :: Set Symbol terms :: Set Symbol ctors :: Set Symbol

Instances

Instances details

Monoid SlurpComponent Source #

Instance details

Defined in Unison.Codebase.Editor.SlurpComponent

Methods

mempty :: SlurpComponent #

mappend :: SlurpComponent -> SlurpComponent -> SlurpComponent #

mconcat :: [SlurpComponent] -> SlurpComponent #

Semigroup SlurpComponent Source #

Instance details

Defined in Unison.Codebase.Editor.SlurpComponent

Methods

(<>) :: SlurpComponent -> SlurpComponent -> SlurpComponent #

sconcat :: NonEmpty SlurpComponent -> SlurpComponent #

stimes :: Integral b => b -> SlurpComponent -> SlurpComponent #

Generic SlurpComponent Source #

Instance details

Defined in Unison.Codebase.Editor.SlurpComponent

Associated Types

type Rep SlurpComponent

Instance details

Defined in Unison.Codebase.Editor.SlurpComponent

type Rep SlurpComponent = D1 ('MetaData "SlurpComponent" "Unison.Codebase.Editor.SlurpComponent" "unison-cli-0.0.0-LhzFLU2HGMJ2BPpNqy6RQx" 'False) (C1 ('MetaCons "SlurpComponent" 'PrefixI 'True) (S1 ('MetaSel ('Just "types") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set Symbol)) :*: (S1 ('MetaSel ('Just "terms") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set Symbol)) :*: S1 ('MetaSel ('Just "ctors") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set Symbol)))))

Methods

from :: SlurpComponent -> Rep SlurpComponent x #

to :: Rep SlurpComponent x -> SlurpComponent #

Show SlurpComponent Source #

Instance details

Defined in Unison.Codebase.Editor.SlurpComponent

Methods

showsPrec :: Int -> SlurpComponent -> ShowS #

show :: SlurpComponent -> String #

showList :: [SlurpComponent] -> ShowS #

Eq SlurpComponent Source #

Instance details

Defined in Unison.Codebase.Editor.SlurpComponent

Methods

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

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

Ord SlurpComponent Source #

Instance details

Defined in Unison.Codebase.Editor.SlurpComponent

Methods

compare :: SlurpComponent -> SlurpComponent -> Ordering #

(<) :: SlurpComponent -> SlurpComponent -> Bool #

(<=) :: SlurpComponent -> SlurpComponent -> Bool #

(>) :: SlurpComponent -> SlurpComponent -> Bool #

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

max :: SlurpComponent -> SlurpComponent -> SlurpComponent #

min :: SlurpComponent -> SlurpComponent -> SlurpComponent #

type Rep SlurpComponent Source #

Instance details

Defined in Unison.Codebase.Editor.SlurpComponent

type Rep SlurpComponent = D1 ('MetaData "SlurpComponent" "Unison.Codebase.Editor.SlurpComponent" "unison-cli-0.0.0-LhzFLU2HGMJ2BPpNqy6RQx" 'False) (C1 ('MetaCons "SlurpComponent" 'PrefixI 'True) (S1 ('MetaSel ('Just "types") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set Symbol)) :*: (S1 ('MetaSel ('Just "terms") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set Symbol)) :*: S1 ('MetaSel ('Just "ctors") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set Symbol)))))

Basic constructors

empty :: SlurpComponent Source #

fromTerms :: Set Symbol -> SlurpComponent Source #

fromTypes :: Set Symbol -> SlurpComponent Source #

fromCtors :: Set Symbol -> SlurpComponent Source #

Predicates

isEmpty :: SlurpComponent -> Bool Source #

Set operations

difference :: SlurpComponent -> SlurpComponent -> SlurpComponent Source #

intersection :: SlurpComponent -> SlurpComponent -> SlurpComponent Source #

Closure

closeWithDependencies :: TypecheckedUnisonFile Symbol a -> SlurpComponent -> SlurpComponent Source #