Safe Haskell	Safe-Inferred
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 :: forall a. 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 :: Type -> Type # 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-B9QON8ivVlfDVnczaEfnsV" '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 :: forall a. TypecheckedUnisonFile Symbol a -> SlurpComponent -> SlurpComponent Source #