Safe Haskell	Safe-Inferred
Language	Haskell2010

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) #
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) #
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 #
Generic (DisplayObject b a) Source #
Instance details Defined in Unison.Codebase.Editor.DisplayObject Associated Types type Rep (DisplayObject b a) :: Type -> Type # 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-JliU30UQmMa2dDW5SxUdL" '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 #