| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Unison.LabeledDependency
Synopsis
- derivedTerm :: Id -> LabeledDependency
- derivedType :: Id -> LabeledDependency
- termRef :: Reference -> LabeledDependency
- typeRef :: Reference -> LabeledDependency
- referent :: Referent -> LabeledDependency
- dataConstructor :: ConstructorReference -> LabeledDependency
- effectConstructor :: ConstructorReference -> LabeledDependency
- fold :: (Reference -> a) -> (Referent -> a) -> LabeledDependency -> a
- referents :: Foldable f => f Referent -> Set LabeledDependency
- data LabeledDependency
- pattern ConReference :: ConstructorReference -> ConstructorType -> LabeledDependency
- pattern TermReference :: Reference -> LabeledDependency
- partition :: Foldable t => t LabeledDependency -> ([Reference], [Referent])
Documentation
derivedTerm :: Id -> LabeledDependency Source #
derivedType :: Id -> LabeledDependency Source #
termRef :: Reference -> LabeledDependency Source #
typeRef :: Reference -> LabeledDependency Source #
referent :: Referent -> LabeledDependency Source #
data LabeledDependency Source #
A Union Type which contains either Type References or Term Referents.
Constructors
| TypeReference Reference | |
| TermReferent Referent |
Instances
| Show LabeledDependency Source # | |
Defined in Unison.LabeledDependency Methods showsPrec :: Int -> LabeledDependency -> ShowS # show :: LabeledDependency -> String # showList :: [LabeledDependency] -> ShowS # | |
| Eq LabeledDependency Source # | |
Defined in Unison.LabeledDependency Methods (==) :: LabeledDependency -> LabeledDependency -> Bool # (/=) :: LabeledDependency -> LabeledDependency -> Bool # | |
| Ord LabeledDependency Source # | |
Defined in Unison.LabeledDependency Methods compare :: LabeledDependency -> LabeledDependency -> Ordering # (<) :: LabeledDependency -> LabeledDependency -> Bool # (<=) :: LabeledDependency -> LabeledDependency -> Bool # (>) :: LabeledDependency -> LabeledDependency -> Bool # (>=) :: LabeledDependency -> LabeledDependency -> Bool # max :: LabeledDependency -> LabeledDependency -> LabeledDependency # min :: LabeledDependency -> LabeledDependency -> LabeledDependency # | |
pattern ConReference :: ConstructorReference -> ConstructorType -> LabeledDependency Source #
Match on a TermReferent which is a Constructor.
pattern TermReference :: Reference -> LabeledDependency Source #
Match on a TermReferent which is NOT a Constructor.