unison-parser-typechecker-0.0.0
Safe HaskellNone
LanguageHaskell2010

Unison.Codebase.Editor.DisplayObject

Documentation

data DisplayObject b a Source #

Constructors

BuiltinObject b 
MissingObject ShortHash 
UserObject a 

Instances

Instances details
Bifoldable DisplayObject Source # 
Instance details

Defined in Unison.Codebase.Editor.DisplayObject

Methods

bifold :: Monoid m => DisplayObject m m -> m #

bifoldMap :: Monoid m => (a -> m) -> (b -> m) -> DisplayObject a b -> m #

bifoldr :: (a -> c -> c) -> (b -> c -> c) -> c -> DisplayObject a b -> c #

bifoldl :: (c -> a -> c) -> (c -> b -> c) -> c -> DisplayObject a b -> c #

Bifunctor DisplayObject Source # 
Instance details

Defined in Unison.Codebase.Editor.DisplayObject

Methods

bimap :: (a -> b) -> (c -> d) -> DisplayObject a c -> DisplayObject b d #

first :: (a -> b) -> DisplayObject a c -> DisplayObject b c #

second :: (b -> c) -> DisplayObject a b -> DisplayObject a c #

Bitraversable DisplayObject Source # 
Instance details

Defined in Unison.Codebase.Editor.DisplayObject

Methods

bitraverse :: Applicative f => (a -> f c) -> (b -> f d) -> DisplayObject a b -> f (DisplayObject c d) #

Functor (DisplayObject b) Source # 
Instance details

Defined in Unison.Codebase.Editor.DisplayObject

Methods

fmap :: (a -> b0) -> DisplayObject b a -> DisplayObject b b0 #

(<$) :: a -> DisplayObject b b0 -> DisplayObject b a #

Foldable (DisplayObject b) Source # 
Instance details

Defined in Unison.Codebase.Editor.DisplayObject

Methods

fold :: Monoid m => DisplayObject b m -> m #

foldMap :: Monoid m => (a -> m) -> DisplayObject b a -> m #

foldMap' :: Monoid m => (a -> m) -> DisplayObject b a -> m #

foldr :: (a -> b0 -> b0) -> b0 -> DisplayObject b a -> b0 #

foldr' :: (a -> b0 -> b0) -> b0 -> DisplayObject b a -> b0 #

foldl :: (b0 -> a -> b0) -> b0 -> DisplayObject b a -> b0 #

foldl' :: (b0 -> a -> b0) -> b0 -> DisplayObject b a -> b0 #

foldr1 :: (a -> a -> a) -> DisplayObject b a -> a #

foldl1 :: (a -> a -> a) -> DisplayObject b a -> a #

toList :: DisplayObject b a -> [a] #

null :: DisplayObject b a -> Bool #

length :: DisplayObject b a -> Int #

elem :: Eq a => a -> DisplayObject b a -> Bool #

maximum :: Ord a => DisplayObject b a -> a #

minimum :: Ord a => DisplayObject b a -> a #

sum :: Num a => DisplayObject b a -> a #

product :: Num a => DisplayObject b a -> a #

Traversable (DisplayObject b) Source # 
Instance details

Defined in Unison.Codebase.Editor.DisplayObject

Methods

traverse :: Applicative f => (a -> f b0) -> DisplayObject b a -> f (DisplayObject b b0) #

sequenceA :: Applicative f => DisplayObject b (f a) -> f (DisplayObject b a) #

mapM :: Monad m => (a -> m b0) -> DisplayObject b a -> m (DisplayObject b b0) #

sequence :: Monad m => DisplayObject b (m a) -> m (DisplayObject b a) #

Generic (DisplayObject b a) Source # 
Instance details

Defined in Unison.Codebase.Editor.DisplayObject

Associated Types

type Rep (DisplayObject b a) 
Instance details

Defined in Unison.Codebase.Editor.DisplayObject

type Rep (DisplayObject b a) = D1 ('MetaData "DisplayObject" "Unison.Codebase.Editor.DisplayObject" "unison-parser-typechecker-0.0.0-9Dzq7Hdutm9Hkedg7C7TJ1" 'False) (C1 ('MetaCons "BuiltinObject" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 b)) :+: (C1 ('MetaCons "MissingObject" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ShortHash)) :+: C1 ('MetaCons "UserObject" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a))))

Methods

from :: DisplayObject b a -> Rep (DisplayObject b a) x #

to :: Rep (DisplayObject b a) x -> DisplayObject b a #

(Show b, Show a) => Show (DisplayObject b a) Source # 
Instance details

Defined in Unison.Codebase.Editor.DisplayObject

Methods

showsPrec :: Int -> DisplayObject b a -> ShowS #

show :: DisplayObject b a -> String #

showList :: [DisplayObject b a] -> ShowS #

(Eq b, Eq a) => Eq (DisplayObject b a) Source # 
Instance details

Defined in Unison.Codebase.Editor.DisplayObject

Methods

(==) :: DisplayObject b a -> DisplayObject b a -> Bool #

(/=) :: DisplayObject b a -> DisplayObject b a -> Bool #

(Ord b, Ord a) => Ord (DisplayObject b a) Source # 
Instance details

Defined in Unison.Codebase.Editor.DisplayObject

Methods

compare :: DisplayObject b a -> DisplayObject b a -> Ordering #

(<) :: DisplayObject b a -> DisplayObject b a -> Bool #

(<=) :: DisplayObject b a -> DisplayObject b a -> Bool #

(>) :: DisplayObject b a -> DisplayObject b a -> Bool #

(>=) :: DisplayObject b a -> DisplayObject b a -> Bool #

max :: DisplayObject b a -> DisplayObject b a -> DisplayObject b a #

min :: DisplayObject b a -> DisplayObject b a -> DisplayObject b a #

type Rep (DisplayObject b a) Source # 
Instance details

Defined in Unison.Codebase.Editor.DisplayObject

type Rep (DisplayObject b a) = D1 ('MetaData "DisplayObject" "Unison.Codebase.Editor.DisplayObject" "unison-parser-typechecker-0.0.0-9Dzq7Hdutm9Hkedg7C7TJ1" 'False) (C1 ('MetaCons "BuiltinObject" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 b)) :+: (C1 ('MetaCons "MissingObject" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ShortHash)) :+: C1 ('MetaCons "UserObject" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a))))

toMaybe :: DisplayObject b a -> Maybe a Source #

termDisplayObjectLabeledDependencies :: TermReference -> DisplayObject (Type Symbol Ann) (Term Symbol Ann) -> Set LabeledDependency Source #

typeDisplayObjectLabeledDependencies :: TypeReference -> DisplayObject () (Decl Symbol Ann) -> Set LabeledDependency Source #