Safe Haskell	Safe-Inferred
Language	Haskell2010

Unison.Server.Types

Synopsis

type APIHeaders x = Headers '[Header "Cache-Control" String] x
type APIGet c = Get '[JSON] (APIHeaders c)
type HashQualifiedName = Text
type NamespaceFQN = Text
type Size = Int
type UnisonName = Text
type UnisonHash = Text
data NamespaceDetails = NamespaceDetails {
- fqn :: Path
- hash :: UnisonHash
- readme :: Maybe Doc
}
data ExactName name ref = ExactName {
- name :: name
- ref :: ref
}
exactToHQ :: ExactName name ShortHash -> HashQualified name
exactToHQ' :: ExactName name ShortHash -> HashQualified name
data TermDefinitionDiff = TermDefinitionDiff {
- left :: TermDefinition
- right :: TermDefinition
- diff :: DisplayObjectDiff
}
data TypeDefinitionDiff = TypeDefinitionDiff {
- left :: TypeDefinition
- right :: TypeDefinition
- diff :: DisplayObjectDiff
}
newtype Suffixify = Suffixify {
- suffixified :: Bool
}
data TermDefinition = TermDefinition {
- termNames :: [HashQualifiedName]
- bestTermName :: HashQualifiedName
- defnTermTag :: TermTag
- termDefinition :: DisplayObject SyntaxText SyntaxText
- signature :: SyntaxText
- termDocs :: [(HashQualifiedName, UnisonHash, Doc)]
}
data TypeDefinition = TypeDefinition {
- typeNames :: [HashQualifiedName]
- bestTypeName :: HashQualifiedName
- defnTypeTag :: TypeTag
- typeDefinition :: DisplayObject SyntaxText SyntaxText
- typeDocs :: [(HashQualifiedName, UnisonHash, Doc)]
}
data DefinitionDisplayResults = DefinitionDisplayResults {
- termDefinitions :: Map UnisonHash TermDefinition
- typeDefinitions :: Map UnisonHash TypeDefinition
- missingDefinitions :: [HashQualifiedName]
}
data TermTag
- = Doc
- | Test
- | Plain
- | Constructor TypeTag
data TypeTag
- = Ability
- | Data
data SemanticSyntaxDiff a
- = OnlyThisSide (NonEmpty (Segment a))
- | Both (NonEmpty (Segment a))
- | SegmentChange (Text, Text) (Maybe a)
- | AnnotationChange Text (Maybe a, Maybe a)
data Changed a
- = Changed a
- | Unchanged a
- | Spacer
data LinewiseDiff a = LinewiseDiff {
- lhsLines :: [Changed [a]]
- rhsLines :: [Changed [a]]
}
data Paired a
- = OneSided a
- | Paired a a
swapPair :: Paired a -> Paired a
data DisplayObjectDiff
- = DisplayObjectDiff (DisplayObject (LinewiseDiff (SemanticSyntaxDiff Element)) (LinewiseDiff (SemanticSyntaxDiff Element)))
- | MismatchedDisplayObjects (DisplayObject SyntaxText SyntaxText) (DisplayObject SyntaxText SyntaxText)
data UnisonRef
- = TypeRef UnisonHash
- | TermRef UnisonHash
unisonRefToText :: UnisonRef -> Text
data NamedTerm = NamedTerm {
- termName :: HashQualified Name
- termHash :: ShortHash
- termType :: Maybe SyntaxText
- termTag :: TermTag
}
data NamedType = NamedType {
- typeName :: HashQualified Name
- typeHash :: ShortHash
- typeTag :: TypeTag
}
munge :: Text -> ByteString
mungeShow :: Show s => s -> ByteString
mungeString :: String -> ByteString
defaultWidth :: Width
discard :: Applicative m => a -> m ()
mayDefaultWidth :: Maybe Width -> Width
setCacheControl :: v -> APIHeaders v
branchToUnisonHash :: Branch m -> UnisonHash
v2CausalBranchToUnisonHash :: CausalBranch m -> UnisonHash
newtype ProjectBranchNameParam = ProjectBranchNameParam {
- unProjectBranchNameParam :: ProjectAndBranch ProjectName ProjectBranchName
}
data TermDiffResponse = TermDiffResponse {
- project :: ProjectName
- oldBranch :: ProjectBranchName
- newBranch :: ProjectBranchName
- oldTerm :: TermDefinition
- newTerm :: TermDefinition
- diff :: DisplayObjectDiff
}
data TypeDiffResponse = TypeDiffResponse {
- project :: ProjectName
- oldBranch :: ProjectBranchName
- newBranch :: ProjectBranchName
- oldType :: TypeDefinition
- newType :: TypeDefinition
- diff :: DisplayObjectDiff
}
type RequiredQueryParam = QueryParam' '[Required, Strict]
data DefinitionNameSearchResult = DefinitionNameSearchResult {
- token :: Name
- tag :: TermOrTypeTag
}
newtype DefinitionSearchResults = DefinitionSearchResults {
- results :: [DefinitionSearchResult]
}
data DefinitionSearchResult = DefinitionSearchResult {
- fqn :: Name
- summary :: TermOrTypeSummary
- project :: ProjectName
- branchRef :: ProjectBranchName
}
data TermSummary = TermSummary {
- displayName :: HashQualified Name
- hash :: ShortHash
- summary :: DisplayObject SyntaxText SyntaxText
- tag :: TermTag
}
data TypeSummary = TypeSummary {
- displayName :: HashQualified Name
- hash :: ShortHash
- summary :: DisplayObject SyntaxText SyntaxText
- tag :: TypeTag
}
data TermOrTypeSummary
- = ToTTermSummary TermSummary
- | ToTTypeSummary TypeSummary
data TermOrTypeTag
- = ToTTermTag TermTag
- | ToTTypeTag TypeTag

Documentation

type APIHeaders x = Headers '[Header "Cache-Control" String] x Source #

type APIGet c = Get '[JSON] (APIHeaders c) Source #

type HashQualifiedName = Text Source #

type NamespaceFQN = Text Source #

type Size = Int Source #

type UnisonName = Text Source #

type UnisonHash = Text Source #

data NamespaceDetails Source #

Constructors

NamespaceDetails
Fields fqn :: Path hash :: UnisonHash readme :: Maybe Doc

Instances

Instances details

FromJSON NamespaceDetails Source #
Instance details Defined in Unison.Server.Types Methods parseJSON :: Value -> Parser NamespaceDetails # parseJSONList :: Value -> Parser [NamespaceDetails] #
ToJSON NamespaceDetails Source #
Instance details Defined in Unison.Server.Types Methods toJSON :: NamespaceDetails -> Value # toEncoding :: NamespaceDetails -> Encoding # toJSONList :: [NamespaceDetails] -> Value # toEncodingList :: [NamespaceDetails] -> Encoding #
Generic NamespaceDetails Source #
Instance details Defined in Unison.Server.Types Associated Types type Rep NamespaceDetails :: Type -> Type # Methods from :: NamespaceDetails -> Rep NamespaceDetails x # to :: Rep NamespaceDetails x -> NamespaceDetails #
Show NamespaceDetails Source #
Instance details Defined in Unison.Server.Types Methods showsPrec :: Int -> NamespaceDetails -> ShowS # show :: NamespaceDetails -> String # showList :: [NamespaceDetails] -> ShowS #
ToSchema NamespaceDetails Source #
Instance details Defined in Unison.Server.Types Methods declareNamedSchema :: Proxy NamespaceDetails -> Declare (Definitions Schema) NamedSchema #
ToSample NamespaceDetails Source #
Instance details Defined in Unison.Server.Types Methods toSamples :: Proxy NamespaceDetails -> [(Text, NamespaceDetails)] #
type Rep NamespaceDetails Source #
Instance details Defined in Unison.Server.Types type Rep NamespaceDetails = D1 ('MetaData "NamespaceDetails" "Unison.Server.Types" "unison-share-api-0.0.0-8GEhFGTHnUTHIRlWc7O5yz" 'False) (C1 ('MetaCons "NamespaceDetails" 'PrefixI 'True) (S1 ('MetaSel ('Just "fqn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Path) :: (S1 ('MetaSel ('Just "hash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UnisonHash) :: S1 ('MetaSel ('Just "readme") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Doc)))))

data ExactName name ref Source #

A hash qualified name, unlike HashQualified, the hash is required

Constructors

ExactName
Fields name :: name ref :: ref

Instances

Instances details

Bifoldable ExactName Source #
Instance details Defined in Unison.Server.Types Methods bifold :: Monoid m => ExactName m m -> m # bifoldMap :: Monoid m => (a -> m) -> (b -> m) -> ExactName a b -> m # bifoldr :: (a -> c -> c) -> (b -> c -> c) -> c -> ExactName a b -> c # bifoldl :: (c -> a -> c) -> (c -> b -> c) -> c -> ExactName a b -> c #
Bifunctor ExactName Source #
Instance details Defined in Unison.Server.Types Methods bimap :: (a -> b) -> (c -> d) -> ExactName a c -> ExactName b d # first :: (a -> b) -> ExactName a c -> ExactName b c # second :: (b -> c) -> ExactName a b -> ExactName a c #
Bitraversable ExactName Source #
Instance details Defined in Unison.Server.Types Methods bitraverse :: Applicative f => (a -> f c) -> (b -> f d) -> ExactName a b -> f (ExactName c d) #
ToCapture (Capture "fqn" (ExactName Name ShortHash)) Source #
Instance details Defined in Unison.Server.Types Methods toCapture :: Proxy (Capture "fqn" (ExactName Name ShortHash)) -> DocCapture #
ToParam (QueryParam "exact-name" (ExactName Name ShortHash)) Source #
Instance details Defined in Unison.Server.Types Methods toParam :: Proxy (QueryParam "exact-name" (ExactName Name ShortHash)) -> DocQueryParam #
Functor (ExactName name) Source #
Instance details Defined in Unison.Server.Types Methods fmap :: (a -> b) -> ExactName name a -> ExactName name b # (<$) :: a -> ExactName name b -> ExactName name a #
(Show name, Show ref) => Show (ExactName name ref) Source #
Instance details Defined in Unison.Server.Types Methods showsPrec :: Int -> ExactName name ref -> ShowS # show :: ExactName name ref -> String # showList :: [ExactName name ref] -> ShowS #
(Eq name, Eq ref) => Eq (ExactName name ref) Source #
Instance details Defined in Unison.Server.Types Methods (==) :: ExactName name ref -> ExactName name ref -> Bool # (/=) :: ExactName name ref -> ExactName name ref -> Bool #
(Ord name, Ord ref) => Ord (ExactName name ref) Source #
Instance details Defined in Unison.Server.Types Methods compare :: ExactName name ref -> ExactName name ref -> Ordering # (<) :: ExactName name ref -> ExactName name ref -> Bool # (<=) :: ExactName name ref -> ExactName name ref -> Bool # (>) :: ExactName name ref -> ExactName name ref -> Bool # (>=) :: ExactName name ref -> ExactName name ref -> Bool # max :: ExactName name ref -> ExactName name ref -> ExactName name ref # min :: ExactName name ref -> ExactName name ref -> ExactName name ref #
FromHttpApiData (ExactName Name ShortHash) Source #
Instance details Defined in Unison.Server.Types Methods parseUrlPiece :: Text -> Either Text (ExactName Name ShortHash) # parseHeader :: ByteString -> Either Text (ExactName Name ShortHash) # parseQueryParam :: Text -> Either Text (ExactName Name ShortHash) #
ToParamSchema (ExactName Name ShortHash) Source #
Instance details Defined in Unison.Server.Types Methods toParamSchema :: Proxy (ExactName Name ShortHash) -> Schema #

exactToHQ :: ExactName name ShortHash -> HashQualified name Source #

exactToHQ' :: ExactName name ShortHash -> HashQualified name Source #

data TermDefinitionDiff Source #

Constructors

TermDefinitionDiff
Fields left :: TermDefinition right :: TermDefinition diff :: DisplayObjectDiff

Instances

Instances details

Generic TermDefinitionDiff Source #
Instance details Defined in Unison.Server.Types Associated Types type Rep TermDefinitionDiff :: Type -> Type # Methods from :: TermDefinitionDiff -> Rep TermDefinitionDiff x # to :: Rep TermDefinitionDiff x -> TermDefinitionDiff #
Show TermDefinitionDiff Source #
Instance details Defined in Unison.Server.Types Methods showsPrec :: Int -> TermDefinitionDiff -> ShowS # show :: TermDefinitionDiff -> String # showList :: [TermDefinitionDiff] -> ShowS #
Eq TermDefinitionDiff Source #
Instance details Defined in Unison.Server.Types Methods (==) :: TermDefinitionDiff -> TermDefinitionDiff -> Bool # (/=) :: TermDefinitionDiff -> TermDefinitionDiff -> Bool #
Ord TermDefinitionDiff Source #
Instance details Defined in Unison.Server.Types Methods compare :: TermDefinitionDiff -> TermDefinitionDiff -> Ordering # (<) :: TermDefinitionDiff -> TermDefinitionDiff -> Bool # (<=) :: TermDefinitionDiff -> TermDefinitionDiff -> Bool # (>) :: TermDefinitionDiff -> TermDefinitionDiff -> Bool # (>=) :: TermDefinitionDiff -> TermDefinitionDiff -> Bool # max :: TermDefinitionDiff -> TermDefinitionDiff -> TermDefinitionDiff # min :: TermDefinitionDiff -> TermDefinitionDiff -> TermDefinitionDiff #
type Rep TermDefinitionDiff Source #
Instance details Defined in Unison.Server.Types type Rep TermDefinitionDiff = D1 ('MetaData "TermDefinitionDiff" "Unison.Server.Types" "unison-share-api-0.0.0-8GEhFGTHnUTHIRlWc7O5yz" 'False) (C1 ('MetaCons "TermDefinitionDiff" 'PrefixI 'True) (S1 ('MetaSel ('Just "left") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TermDefinition) :: (S1 ('MetaSel ('Just "right") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TermDefinition) :: S1 ('MetaSel ('Just "diff") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DisplayObjectDiff))))

data TypeDefinitionDiff Source #

Constructors

TypeDefinitionDiff
Fields left :: TypeDefinition right :: TypeDefinition diff :: DisplayObjectDiff

Instances

Instances details

Generic TypeDefinitionDiff Source #
Instance details Defined in Unison.Server.Types Associated Types type Rep TypeDefinitionDiff :: Type -> Type # Methods from :: TypeDefinitionDiff -> Rep TypeDefinitionDiff x # to :: Rep TypeDefinitionDiff x -> TypeDefinitionDiff #
Show TypeDefinitionDiff Source #
Instance details Defined in Unison.Server.Types Methods showsPrec :: Int -> TypeDefinitionDiff -> ShowS # show :: TypeDefinitionDiff -> String # showList :: [TypeDefinitionDiff] -> ShowS #
Eq TypeDefinitionDiff Source #
Instance details Defined in Unison.Server.Types Methods (==) :: TypeDefinitionDiff -> TypeDefinitionDiff -> Bool # (/=) :: TypeDefinitionDiff -> TypeDefinitionDiff -> Bool #
Ord TypeDefinitionDiff Source #
Instance details Defined in Unison.Server.Types Methods compare :: TypeDefinitionDiff -> TypeDefinitionDiff -> Ordering # (<) :: TypeDefinitionDiff -> TypeDefinitionDiff -> Bool # (<=) :: TypeDefinitionDiff -> TypeDefinitionDiff -> Bool # (>) :: TypeDefinitionDiff -> TypeDefinitionDiff -> Bool # (>=) :: TypeDefinitionDiff -> TypeDefinitionDiff -> Bool # max :: TypeDefinitionDiff -> TypeDefinitionDiff -> TypeDefinitionDiff # min :: TypeDefinitionDiff -> TypeDefinitionDiff -> TypeDefinitionDiff #
type Rep TypeDefinitionDiff Source #
Instance details Defined in Unison.Server.Types type Rep TypeDefinitionDiff = D1 ('MetaData "TypeDefinitionDiff" "Unison.Server.Types" "unison-share-api-0.0.0-8GEhFGTHnUTHIRlWc7O5yz" 'False) (C1 ('MetaCons "TypeDefinitionDiff" 'PrefixI 'True) (S1 ('MetaSel ('Just "left") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeDefinition) :: (S1 ('MetaSel ('Just "right") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeDefinition) :: S1 ('MetaSel ('Just "diff") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DisplayObjectDiff))))

newtype Suffixify Source #

Constructors

Suffixify
Fields suffixified :: Bool

Instances

Instances details

Generic Suffixify Source #
Instance details Defined in Unison.Server.Types Associated Types type Rep Suffixify :: Type -> Type # Methods from :: Suffixify -> Rep Suffixify x # to :: Rep Suffixify x -> Suffixify #
Show Suffixify Source #
Instance details Defined in Unison.Server.Types Methods showsPrec :: Int -> Suffixify -> ShowS # show :: Suffixify -> String # showList :: [Suffixify] -> ShowS #
Eq Suffixify Source #
Instance details Defined in Unison.Server.Types Methods (==) :: Suffixify -> Suffixify -> Bool # (/=) :: Suffixify -> Suffixify -> Bool #
Ord Suffixify Source #
Instance details Defined in Unison.Server.Types Methods compare :: Suffixify -> Suffixify -> Ordering # (<) :: Suffixify -> Suffixify -> Bool # (<=) :: Suffixify -> Suffixify -> Bool # (>) :: Suffixify -> Suffixify -> Bool # (>=) :: Suffixify -> Suffixify -> Bool # max :: Suffixify -> Suffixify -> Suffixify # min :: Suffixify -> Suffixify -> Suffixify #
FromHttpApiData Suffixify Source #
Instance details Defined in Unison.Server.Types Methods parseUrlPiece :: Text -> Either Text Suffixify # parseHeader :: ByteString -> Either Text Suffixify # parseQueryParam :: Text -> Either Text Suffixify #
ToParamSchema Suffixify Source #
Instance details Defined in Unison.Server.Types Methods toParamSchema :: Proxy Suffixify -> Schema #
ToParam (QueryParam "suffixifyBindings" Suffixify) Source #
Instance details Defined in Unison.Server.Local.Endpoints.Definitions Methods toParam :: Proxy (QueryParam "suffixifyBindings" Suffixify) -> DocQueryParam #
type Rep Suffixify Source #
Instance details Defined in Unison.Server.Types type Rep Suffixify = D1 ('MetaData "Suffixify" "Unison.Server.Types" "unison-share-api-0.0.0-8GEhFGTHnUTHIRlWc7O5yz" 'True) (C1 ('MetaCons "Suffixify" 'PrefixI 'True) (S1 ('MetaSel ('Just "suffixified") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))

data TermDefinition Source #

Constructors

TermDefinition
Fields termNames :: [HashQualifiedName] bestTermName :: HashQualifiedName defnTermTag :: TermTag termDefinition :: DisplayObject SyntaxText SyntaxText signature :: SyntaxText termDocs :: [(HashQualifiedName, UnisonHash, Doc)]

Instances

Instances details

FromJSON TermDefinition Source #
Instance details Defined in Unison.Server.Types Methods parseJSON :: Value -> Parser TermDefinition # parseJSONList :: Value -> Parser [TermDefinition] #
ToJSON TermDefinition Source #
Instance details Defined in Unison.Server.Types Methods toJSON :: TermDefinition -> Value # toEncoding :: TermDefinition -> Encoding # toJSONList :: [TermDefinition] -> Value # toEncodingList :: [TermDefinition] -> Encoding #
Generic TermDefinition Source #
Instance details Defined in Unison.Server.Types Associated Types type Rep TermDefinition :: Type -> Type # Methods from :: TermDefinition -> Rep TermDefinition x # to :: Rep TermDefinition x -> TermDefinition #
Show TermDefinition Source #
Instance details Defined in Unison.Server.Types Methods showsPrec :: Int -> TermDefinition -> ShowS # show :: TermDefinition -> String # showList :: [TermDefinition] -> ShowS #
Eq TermDefinition Source #
Instance details Defined in Unison.Server.Types Methods (==) :: TermDefinition -> TermDefinition -> Bool # (/=) :: TermDefinition -> TermDefinition -> Bool #
Ord TermDefinition Source #
Instance details Defined in Unison.Server.Types Methods compare :: TermDefinition -> TermDefinition -> Ordering # (<) :: TermDefinition -> TermDefinition -> Bool # (<=) :: TermDefinition -> TermDefinition -> Bool # (>) :: TermDefinition -> TermDefinition -> Bool # (>=) :: TermDefinition -> TermDefinition -> Bool # max :: TermDefinition -> TermDefinition -> TermDefinition # min :: TermDefinition -> TermDefinition -> TermDefinition #
ToSchema TermDefinition Source #
Instance details Defined in Unison.Server.Types Methods declareNamedSchema :: Proxy TermDefinition -> Declare (Definitions Schema) NamedSchema #
type Rep TermDefinition Source #
Instance details Defined in Unison.Server.Types type Rep TermDefinition = D1 ('MetaData "TermDefinition" "Unison.Server.Types" "unison-share-api-0.0.0-8GEhFGTHnUTHIRlWc7O5yz" 'False) (C1 ('MetaCons "TermDefinition" 'PrefixI 'True) ((S1 ('MetaSel ('Just "termNames") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [HashQualifiedName]) :: (S1 ('MetaSel ('Just "bestTermName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 HashQualifiedName) :: S1 ('MetaSel ('Just "defnTermTag") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TermTag))) :: (S1 ('MetaSel ('Just "termDefinition") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (DisplayObject SyntaxText SyntaxText)) :: (S1 ('MetaSel ('Just "signature") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SyntaxText) :*: S1 ('MetaSel ('Just "termDocs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(HashQualifiedName, UnisonHash, Doc)])))))

data TypeDefinition Source #

Constructors

TypeDefinition
Fields typeNames :: [HashQualifiedName] bestTypeName :: HashQualifiedName defnTypeTag :: TypeTag typeDefinition :: DisplayObject SyntaxText SyntaxText typeDocs :: [(HashQualifiedName, UnisonHash, Doc)]

Instances

Instances details

FromJSON TypeDefinition Source #
Instance details Defined in Unison.Server.Types Methods parseJSON :: Value -> Parser TypeDefinition # parseJSONList :: Value -> Parser [TypeDefinition] #
ToJSON TypeDefinition Source #
Instance details Defined in Unison.Server.Types Methods toJSON :: TypeDefinition -> Value # toEncoding :: TypeDefinition -> Encoding # toJSONList :: [TypeDefinition] -> Value # toEncodingList :: [TypeDefinition] -> Encoding #
Generic TypeDefinition Source #
Instance details Defined in Unison.Server.Types Associated Types type Rep TypeDefinition :: Type -> Type # Methods from :: TypeDefinition -> Rep TypeDefinition x # to :: Rep TypeDefinition x -> TypeDefinition #
Show TypeDefinition Source #
Instance details Defined in Unison.Server.Types Methods showsPrec :: Int -> TypeDefinition -> ShowS # show :: TypeDefinition -> String # showList :: [TypeDefinition] -> ShowS #
Eq TypeDefinition Source #
Instance details Defined in Unison.Server.Types Methods (==) :: TypeDefinition -> TypeDefinition -> Bool # (/=) :: TypeDefinition -> TypeDefinition -> Bool #
Ord TypeDefinition Source #
Instance details Defined in Unison.Server.Types Methods compare :: TypeDefinition -> TypeDefinition -> Ordering # (<) :: TypeDefinition -> TypeDefinition -> Bool # (<=) :: TypeDefinition -> TypeDefinition -> Bool # (>) :: TypeDefinition -> TypeDefinition -> Bool # (>=) :: TypeDefinition -> TypeDefinition -> Bool # max :: TypeDefinition -> TypeDefinition -> TypeDefinition # min :: TypeDefinition -> TypeDefinition -> TypeDefinition #
ToSchema TypeDefinition Source #
Instance details Defined in Unison.Server.Types Methods declareNamedSchema :: Proxy TypeDefinition -> Declare (Definitions Schema) NamedSchema #
type Rep TypeDefinition Source #
Instance details Defined in Unison.Server.Types type Rep TypeDefinition = D1 ('MetaData "TypeDefinition" "Unison.Server.Types" "unison-share-api-0.0.0-8GEhFGTHnUTHIRlWc7O5yz" 'False) (C1 ('MetaCons "TypeDefinition" 'PrefixI 'True) ((S1 ('MetaSel ('Just "typeNames") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [HashQualifiedName]) :: S1 ('MetaSel ('Just "bestTypeName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 HashQualifiedName)) :: (S1 ('MetaSel ('Just "defnTypeTag") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeTag) :: (S1 ('MetaSel ('Just "typeDefinition") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (DisplayObject SyntaxText SyntaxText)) :: S1 ('MetaSel ('Just "typeDocs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(HashQualifiedName, UnisonHash, Doc)])))))

data DefinitionDisplayResults Source #

Constructors

DefinitionDisplayResults
Fields termDefinitions :: Map UnisonHash TermDefinition typeDefinitions :: Map UnisonHash TypeDefinition missingDefinitions :: [HashQualifiedName]

Instances

Instances details

FromJSON DefinitionDisplayResults Source #
Instance details Defined in Unison.Server.Types Methods parseJSON :: Value -> Parser DefinitionDisplayResults # parseJSONList :: Value -> Parser [DefinitionDisplayResults] #
ToJSON DefinitionDisplayResults Source #
Instance details Defined in Unison.Server.Types Methods toJSON :: DefinitionDisplayResults -> Value # toEncoding :: DefinitionDisplayResults -> Encoding # toJSONList :: [DefinitionDisplayResults] -> Value # toEncodingList :: [DefinitionDisplayResults] -> Encoding #
Monoid DefinitionDisplayResults Source #
Instance details Defined in Unison.Server.Types Methods mempty :: DefinitionDisplayResults # mappend :: DefinitionDisplayResults -> DefinitionDisplayResults -> DefinitionDisplayResults # mconcat :: [DefinitionDisplayResults] -> DefinitionDisplayResults #
Semigroup DefinitionDisplayResults Source #
Instance details Defined in Unison.Server.Types Methods (<>) :: DefinitionDisplayResults -> DefinitionDisplayResults -> DefinitionDisplayResults # sconcat :: NonEmpty DefinitionDisplayResults -> DefinitionDisplayResults # stimes :: Integral b => b -> DefinitionDisplayResults -> DefinitionDisplayResults #
Generic DefinitionDisplayResults Source #
Instance details Defined in Unison.Server.Types Associated Types type Rep DefinitionDisplayResults :: Type -> Type # Methods from :: DefinitionDisplayResults -> Rep DefinitionDisplayResults x # to :: Rep DefinitionDisplayResults x -> DefinitionDisplayResults #
Show DefinitionDisplayResults Source #
Instance details Defined in Unison.Server.Types Methods showsPrec :: Int -> DefinitionDisplayResults -> ShowS # show :: DefinitionDisplayResults -> String # showList :: [DefinitionDisplayResults] -> ShowS #
Eq DefinitionDisplayResults Source #
Instance details Defined in Unison.Server.Types Methods (==) :: DefinitionDisplayResults -> DefinitionDisplayResults -> Bool # (/=) :: DefinitionDisplayResults -> DefinitionDisplayResults -> Bool #
Ord DefinitionDisplayResults Source #
Instance details Defined in Unison.Server.Types Methods compare :: DefinitionDisplayResults -> DefinitionDisplayResults -> Ordering # (<) :: DefinitionDisplayResults -> DefinitionDisplayResults -> Bool # (<=) :: DefinitionDisplayResults -> DefinitionDisplayResults -> Bool # (>) :: DefinitionDisplayResults -> DefinitionDisplayResults -> Bool # (>=) :: DefinitionDisplayResults -> DefinitionDisplayResults -> Bool # max :: DefinitionDisplayResults -> DefinitionDisplayResults -> DefinitionDisplayResults # min :: DefinitionDisplayResults -> DefinitionDisplayResults -> DefinitionDisplayResults #
ToSchema DefinitionDisplayResults Source #
Instance details Defined in Unison.Server.Types Methods declareNamedSchema :: Proxy DefinitionDisplayResults -> Declare (Definitions Schema) NamedSchema #
ToSample DefinitionDisplayResults Source #
Instance details Defined in Unison.Server.Local.Endpoints.Definitions Methods toSamples :: Proxy DefinitionDisplayResults -> [(Text, DefinitionDisplayResults)] #
type Rep DefinitionDisplayResults Source #
Instance details Defined in Unison.Server.Types type Rep DefinitionDisplayResults = D1 ('MetaData "DefinitionDisplayResults" "Unison.Server.Types" "unison-share-api-0.0.0-8GEhFGTHnUTHIRlWc7O5yz" 'False) (C1 ('MetaCons "DefinitionDisplayResults" 'PrefixI 'True) (S1 ('MetaSel ('Just "termDefinitions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map UnisonHash TermDefinition)) :: (S1 ('MetaSel ('Just "typeDefinitions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map UnisonHash TypeDefinition)) :: S1 ('MetaSel ('Just "missingDefinitions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [HashQualifiedName]))))

data TermTag Source #

Constructors

Doc
Test
Plain
Constructor TypeTag

Instances

Instances details

FromJSON TermTag Source #
Instance details Defined in Unison.Server.Types Methods parseJSON :: Value -> Parser TermTag # parseJSONList :: Value -> Parser [TermTag] #
ToJSON TermTag Source #
Instance details Defined in Unison.Server.Types Methods toJSON :: TermTag -> Value # toEncoding :: TermTag -> Encoding # toJSONList :: [TermTag] -> Value # toEncodingList :: [TermTag] -> Encoding #
Generic TermTag Source #
Instance details Defined in Unison.Server.Types Associated Types type Rep TermTag :: Type -> Type # Methods from :: TermTag -> Rep TermTag x # to :: Rep TermTag x -> TermTag #
Show TermTag Source #
Instance details Defined in Unison.Server.Types Methods showsPrec :: Int -> TermTag -> ShowS # show :: TermTag -> String # showList :: [TermTag] -> ShowS #
Eq TermTag Source #
Instance details Defined in Unison.Server.Types Methods (==) :: TermTag -> TermTag -> Bool # (/=) :: TermTag -> TermTag -> Bool #
Ord TermTag Source #
Instance details Defined in Unison.Server.Types Methods compare :: TermTag -> TermTag -> Ordering # (<) :: TermTag -> TermTag -> Bool # (<=) :: TermTag -> TermTag -> Bool # (>) :: TermTag -> TermTag -> Bool # (>=) :: TermTag -> TermTag -> Bool # max :: TermTag -> TermTag -> TermTag # min :: TermTag -> TermTag -> TermTag #
ToSchema TermTag Source #
Instance details Defined in Unison.Server.Types Methods declareNamedSchema :: Proxy TermTag -> Declare (Definitions Schema) NamedSchema #
type Rep TermTag Source #
Instance details Defined in Unison.Server.Types type Rep TermTag = D1 ('MetaData "TermTag" "Unison.Server.Types" "unison-share-api-0.0.0-8GEhFGTHnUTHIRlWc7O5yz" 'False) ((C1 ('MetaCons "Doc" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Test" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Plain" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Constructor" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeTag))))

data TypeTag Source #

Constructors

Ability
Data

Instances

Instances details

FromJSON TypeTag Source #
Instance details Defined in Unison.Server.Types Methods parseJSON :: Value -> Parser TypeTag # parseJSONList :: Value -> Parser [TypeTag] #
ToJSON TypeTag Source #
Instance details Defined in Unison.Server.Types Methods toJSON :: TypeTag -> Value # toEncoding :: TypeTag -> Encoding # toJSONList :: [TypeTag] -> Value # toEncodingList :: [TypeTag] -> Encoding #
Generic TypeTag Source #
Instance details Defined in Unison.Server.Types Associated Types type Rep TypeTag :: Type -> Type # Methods from :: TypeTag -> Rep TypeTag x # to :: Rep TypeTag x -> TypeTag #
Show TypeTag Source #
Instance details Defined in Unison.Server.Types Methods showsPrec :: Int -> TypeTag -> ShowS # show :: TypeTag -> String # showList :: [TypeTag] -> ShowS #
Eq TypeTag Source #
Instance details Defined in Unison.Server.Types Methods (==) :: TypeTag -> TypeTag -> Bool # (/=) :: TypeTag -> TypeTag -> Bool #
Ord TypeTag Source #
Instance details Defined in Unison.Server.Types Methods compare :: TypeTag -> TypeTag -> Ordering # (<) :: TypeTag -> TypeTag -> Bool # (<=) :: TypeTag -> TypeTag -> Bool # (>) :: TypeTag -> TypeTag -> Bool # (>=) :: TypeTag -> TypeTag -> Bool # max :: TypeTag -> TypeTag -> TypeTag # min :: TypeTag -> TypeTag -> TypeTag #
ToSchema TypeTag Source #
Instance details Defined in Unison.Server.Types Methods declareNamedSchema :: Proxy TypeTag -> Declare (Definitions Schema) NamedSchema #
type Rep TypeTag Source #
Instance details Defined in Unison.Server.Types type Rep TypeTag = D1 ('MetaData "TypeTag" "Unison.Server.Types" "unison-share-api-0.0.0-8GEhFGTHnUTHIRlWc7O5yz" 'False) (C1 ('MetaCons "Ability" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Data" 'PrefixI 'False) (U1 :: Type -> Type))

data SemanticSyntaxDiff a Source #

A type for semantic diffing of definitions. Includes special-cases for when the name in a definition has changed but the hash hasn't (rename/alias), and when the hash has changed but the name hasn't (update propagation).

Constructors

OnlyThisSide (NonEmpty (Segment a))
Both (NonEmpty (Segment a))
SegmentChange (Text, Text) (Maybe a)
AnnotationChange Text (Maybe a, Maybe a)

Instances

Instances details

FromJSON a => FromJSON (SemanticSyntaxDiff a) Source #
Instance details Defined in Unison.Server.Types Methods parseJSON :: Value -> Parser (SemanticSyntaxDiff a) # parseJSONList :: Value -> Parser [SemanticSyntaxDiff a] #
ToJSON a => ToJSON (SemanticSyntaxDiff a) Source #
Instance details Defined in Unison.Server.Types Methods toJSON :: SemanticSyntaxDiff a -> Value # toEncoding :: SemanticSyntaxDiff a -> Encoding # toJSONList :: [SemanticSyntaxDiff a] -> Value # toEncodingList :: [SemanticSyntaxDiff a] -> Encoding #
Generic (SemanticSyntaxDiff a) Source #
Instance details Defined in Unison.Server.Types Associated Types type Rep (SemanticSyntaxDiff a) :: Type -> Type # Methods from :: SemanticSyntaxDiff a -> Rep (SemanticSyntaxDiff a) x # to :: Rep (SemanticSyntaxDiff a) x -> SemanticSyntaxDiff a #
Show a => Show (SemanticSyntaxDiff a) Source #
Instance details Defined in Unison.Server.Types Methods showsPrec :: Int -> SemanticSyntaxDiff a -> ShowS # show :: SemanticSyntaxDiff a -> String # showList :: [SemanticSyntaxDiff a] -> ShowS #
Eq a => Eq (SemanticSyntaxDiff a) Source #
Instance details Defined in Unison.Server.Types Methods (==) :: SemanticSyntaxDiff a -> SemanticSyntaxDiff a -> Bool # (/=) :: SemanticSyntaxDiff a -> SemanticSyntaxDiff a -> Bool #
Ord a => Ord (SemanticSyntaxDiff a) Source #
Instance details Defined in Unison.Server.Types Methods compare :: SemanticSyntaxDiff a -> SemanticSyntaxDiff a -> Ordering # (<) :: SemanticSyntaxDiff a -> SemanticSyntaxDiff a -> Bool # (<=) :: SemanticSyntaxDiff a -> SemanticSyntaxDiff a -> Bool # (>) :: SemanticSyntaxDiff a -> SemanticSyntaxDiff a -> Bool # (>=) :: SemanticSyntaxDiff a -> SemanticSyntaxDiff a -> Bool # max :: SemanticSyntaxDiff a -> SemanticSyntaxDiff a -> SemanticSyntaxDiff a # min :: SemanticSyntaxDiff a -> SemanticSyntaxDiff a -> SemanticSyntaxDiff a #
ToSchema a => ToSchema (SemanticSyntaxDiff a) Source #
Instance details Defined in Unison.Server.Types Methods declareNamedSchema :: Proxy (SemanticSyntaxDiff a) -> Declare (Definitions Schema) NamedSchema #
type Rep (SemanticSyntaxDiff a) Source #
Instance details Defined in Unison.Server.Types type Rep (SemanticSyntaxDiff a) = D1 ('MetaData "SemanticSyntaxDiff" "Unison.Server.Types" "unison-share-api-0.0.0-8GEhFGTHnUTHIRlWc7O5yz" 'False) ((C1 ('MetaCons "OnlyThisSide" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (Segment a)))) :+: C1 ('MetaCons "Both" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (Segment a))))) :+: (C1 ('MetaCons "SegmentChange" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Text, Text)) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe a))) :+: C1 ('MetaCons "AnnotationChange" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe a, Maybe a)))))

data Changed a Source #

Constructors

Changed a
Unchanged a
Spacer

Instances

Instances details

Foldable Changed Source #
Instance details Defined in Unison.Server.Types Methods fold :: Monoid m => Changed m -> m # foldMap :: Monoid m => (a -> m) -> Changed a -> m # foldMap' :: Monoid m => (a -> m) -> Changed a -> m # foldr :: (a -> b -> b) -> b -> Changed a -> b # foldr' :: (a -> b -> b) -> b -> Changed a -> b # foldl :: (b -> a -> b) -> b -> Changed a -> b # foldl' :: (b -> a -> b) -> b -> Changed a -> b # foldr1 :: (a -> a -> a) -> Changed a -> a # foldl1 :: (a -> a -> a) -> Changed a -> a # toList :: Changed a -> [a] # null :: Changed a -> Bool # length :: Changed a -> Int # elem :: Eq a => a -> Changed a -> Bool # maximum :: Ord a => Changed a -> a # minimum :: Ord a => Changed a -> a # sum :: Num a => Changed a -> a # product :: Num a => Changed a -> a #
Traversable Changed Source #
Instance details Defined in Unison.Server.Types Methods traverse :: Applicative f => (a -> f b) -> Changed a -> f (Changed b) # sequenceA :: Applicative f => Changed (f a) -> f (Changed a) # mapM :: Monad m => (a -> m b) -> Changed a -> m (Changed b) # sequence :: Monad m => Changed (m a) -> m (Changed a) #
Functor Changed Source #
Instance details Defined in Unison.Server.Types Methods fmap :: (a -> b) -> Changed a -> Changed b # (<$) :: a -> Changed b -> Changed a #
FromJSON a => FromJSON (Changed a) Source #
Instance details Defined in Unison.Server.Types Methods parseJSON :: Value -> Parser (Changed a) # parseJSONList :: Value -> Parser [Changed a] #
ToJSON a => ToJSON (Changed a) Source #
Instance details Defined in Unison.Server.Types Methods toJSON :: Changed a -> Value # toEncoding :: Changed a -> Encoding # toJSONList :: [Changed a] -> Value # toEncodingList :: [Changed a] -> Encoding #
Generic (Changed a) Source #
Instance details Defined in Unison.Server.Types Associated Types type Rep (Changed a) :: Type -> Type # Methods from :: Changed a -> Rep (Changed a) x # to :: Rep (Changed a) x -> Changed a #
Show a => Show (Changed a) Source #
Instance details Defined in Unison.Server.Types Methods showsPrec :: Int -> Changed a -> ShowS # show :: Changed a -> String # showList :: [Changed a] -> ShowS #
Eq a => Eq (Changed a) Source #
Instance details Defined in Unison.Server.Types Methods (==) :: Changed a -> Changed a -> Bool # (/=) :: Changed a -> Changed a -> Bool #
Ord a => Ord (Changed a) Source #
Instance details Defined in Unison.Server.Types Methods compare :: Changed a -> Changed a -> Ordering # (<) :: Changed a -> Changed a -> Bool # (<=) :: Changed a -> Changed a -> Bool # (>) :: Changed a -> Changed a -> Bool # (>=) :: Changed a -> Changed a -> Bool # max :: Changed a -> Changed a -> Changed a # min :: Changed a -> Changed a -> Changed a #
ToSchema a => ToSchema (Changed a) Source #
Instance details Defined in Unison.Server.Types Methods declareNamedSchema :: Proxy (Changed a) -> Declare (Definitions Schema) NamedSchema #
type Rep (Changed a) Source #
Instance details Defined in Unison.Server.Types type Rep (Changed a) = D1 ('MetaData "Changed" "Unison.Server.Types" "unison-share-api-0.0.0-8GEhFGTHnUTHIRlWc7O5yz" 'False) (C1 ('MetaCons "Changed" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: (C1 ('MetaCons "Unchanged" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: C1 ('MetaCons "Spacer" 'PrefixI 'False) (U1 :: Type -> Type)))

data LinewiseDiff a Source #

Constructors

LinewiseDiff
Fields lhsLines :: [Changed [a]] rhsLines :: [Changed [a]]

Instances

Instances details

Foldable LinewiseDiff Source #
Instance details Defined in Unison.Server.Types Methods fold :: Monoid m => LinewiseDiff m -> m # foldMap :: Monoid m => (a -> m) -> LinewiseDiff a -> m # foldMap' :: Monoid m => (a -> m) -> LinewiseDiff a -> m # foldr :: (a -> b -> b) -> b -> LinewiseDiff a -> b # foldr' :: (a -> b -> b) -> b -> LinewiseDiff a -> b # foldl :: (b -> a -> b) -> b -> LinewiseDiff a -> b # foldl' :: (b -> a -> b) -> b -> LinewiseDiff a -> b # foldr1 :: (a -> a -> a) -> LinewiseDiff a -> a # foldl1 :: (a -> a -> a) -> LinewiseDiff a -> a # toList :: LinewiseDiff a -> [a] # null :: LinewiseDiff a -> Bool # length :: LinewiseDiff a -> Int # elem :: Eq a => a -> LinewiseDiff a -> Bool # maximum :: Ord a => LinewiseDiff a -> a # minimum :: Ord a => LinewiseDiff a -> a # sum :: Num a => LinewiseDiff a -> a # product :: Num a => LinewiseDiff a -> a #
Traversable LinewiseDiff Source #
Instance details Defined in Unison.Server.Types Methods traverse :: Applicative f => (a -> f b) -> LinewiseDiff a -> f (LinewiseDiff b) # sequenceA :: Applicative f => LinewiseDiff (f a) -> f (LinewiseDiff a) # mapM :: Monad m => (a -> m b) -> LinewiseDiff a -> m (LinewiseDiff b) # sequence :: Monad m => LinewiseDiff (m a) -> m (LinewiseDiff a) #
Functor LinewiseDiff Source #
Instance details Defined in Unison.Server.Types Methods fmap :: (a -> b) -> LinewiseDiff a -> LinewiseDiff b # (<$) :: a -> LinewiseDiff b -> LinewiseDiff a #
FromJSON a => FromJSON (LinewiseDiff a) Source #
Instance details Defined in Unison.Server.Types Methods parseJSON :: Value -> Parser (LinewiseDiff a) # parseJSONList :: Value -> Parser [LinewiseDiff a] #
ToJSON a => ToJSON (LinewiseDiff a) Source #
Instance details Defined in Unison.Server.Types Methods toJSON :: LinewiseDiff a -> Value # toEncoding :: LinewiseDiff a -> Encoding # toJSONList :: [LinewiseDiff a] -> Value # toEncodingList :: [LinewiseDiff a] -> Encoding #
Generic (LinewiseDiff a) Source #
Instance details Defined in Unison.Server.Types Associated Types type Rep (LinewiseDiff a) :: Type -> Type # Methods from :: LinewiseDiff a -> Rep (LinewiseDiff a) x # to :: Rep (LinewiseDiff a) x -> LinewiseDiff a #
Show a => Show (LinewiseDiff a) Source #
Instance details Defined in Unison.Server.Types Methods showsPrec :: Int -> LinewiseDiff a -> ShowS # show :: LinewiseDiff a -> String # showList :: [LinewiseDiff a] -> ShowS #
Eq a => Eq (LinewiseDiff a) Source #
Instance details Defined in Unison.Server.Types Methods (==) :: LinewiseDiff a -> LinewiseDiff a -> Bool # (/=) :: LinewiseDiff a -> LinewiseDiff a -> Bool #
Ord a => Ord (LinewiseDiff a) Source #
Instance details Defined in Unison.Server.Types Methods compare :: LinewiseDiff a -> LinewiseDiff a -> Ordering # (<) :: LinewiseDiff a -> LinewiseDiff a -> Bool # (<=) :: LinewiseDiff a -> LinewiseDiff a -> Bool # (>) :: LinewiseDiff a -> LinewiseDiff a -> Bool # (>=) :: LinewiseDiff a -> LinewiseDiff a -> Bool # max :: LinewiseDiff a -> LinewiseDiff a -> LinewiseDiff a # min :: LinewiseDiff a -> LinewiseDiff a -> LinewiseDiff a #
ToSchema a => ToSchema (LinewiseDiff a) Source #
Instance details Defined in Unison.Server.Types Methods declareNamedSchema :: Proxy (LinewiseDiff a) -> Declare (Definitions Schema) NamedSchema #
type Rep (LinewiseDiff a) Source #
Instance details Defined in Unison.Server.Types type Rep (LinewiseDiff a) = D1 ('MetaData "LinewiseDiff" "Unison.Server.Types" "unison-share-api-0.0.0-8GEhFGTHnUTHIRlWc7O5yz" 'False) (C1 ('MetaCons "LinewiseDiff" 'PrefixI 'True) (S1 ('MetaSel ('Just "lhsLines") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Changed [a]]) :*: S1 ('MetaSel ('Just "rhsLines") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Changed [a]])))

data Paired a Source #

Constructors

OneSided a
Paired a a

Instances

Instances details

Show a => Show (Paired a) Source #
Instance details Defined in Unison.Server.Types Methods showsPrec :: Int -> Paired a -> ShowS # show :: Paired a -> String # showList :: [Paired a] -> ShowS #
Eq a => Eq (Paired a) Source #
Instance details Defined in Unison.Server.Types Methods (==) :: Paired a -> Paired a -> Bool # (/=) :: Paired a -> Paired a -> Bool #
Ord a => Ord (Paired a) Source #
Instance details Defined in Unison.Server.Types Methods compare :: Paired a -> Paired a -> Ordering # (<) :: Paired a -> Paired a -> Bool # (<=) :: Paired a -> Paired a -> Bool # (>) :: Paired a -> Paired a -> Bool # (>=) :: Paired a -> Paired a -> Bool # max :: Paired a -> Paired a -> Paired a # min :: Paired a -> Paired a -> Paired a #

swapPair :: Paired a -> Paired a Source #

data DisplayObjectDiff Source #

A diff of the syntax of a term or type

It doesn't make sense to diff builtins with ABTs, so in that case we just provide the undiffed syntax.

Constructors

DisplayObjectDiff (DisplayObject (LinewiseDiff (SemanticSyntaxDiff Element)) (LinewiseDiff (SemanticSyntaxDiff Element)))
MismatchedDisplayObjects (DisplayObject SyntaxText SyntaxText) (DisplayObject SyntaxText SyntaxText)

Instances

Instances details

Generic DisplayObjectDiff Source #
Instance details Defined in Unison.Server.Types Associated Types type Rep DisplayObjectDiff :: Type -> Type # Methods from :: DisplayObjectDiff -> Rep DisplayObjectDiff x # to :: Rep DisplayObjectDiff x -> DisplayObjectDiff #
Show DisplayObjectDiff Source #
Instance details Defined in Unison.Server.Types Methods showsPrec :: Int -> DisplayObjectDiff -> ShowS # show :: DisplayObjectDiff -> String # showList :: [DisplayObjectDiff] -> ShowS #
Eq DisplayObjectDiff Source #
Instance details Defined in Unison.Server.Types Methods (==) :: DisplayObjectDiff -> DisplayObjectDiff -> Bool # (/=) :: DisplayObjectDiff -> DisplayObjectDiff -> Bool #
Ord DisplayObjectDiff Source #
Instance details Defined in Unison.Server.Types Methods compare :: DisplayObjectDiff -> DisplayObjectDiff -> Ordering # (<) :: DisplayObjectDiff -> DisplayObjectDiff -> Bool # (<=) :: DisplayObjectDiff -> DisplayObjectDiff -> Bool # (>) :: DisplayObjectDiff -> DisplayObjectDiff -> Bool # (>=) :: DisplayObjectDiff -> DisplayObjectDiff -> Bool # max :: DisplayObjectDiff -> DisplayObjectDiff -> DisplayObjectDiff # min :: DisplayObjectDiff -> DisplayObjectDiff -> DisplayObjectDiff #
ToSchema DisplayObjectDiff Source #
Instance details Defined in Unison.Server.Types Methods declareNamedSchema :: Proxy DisplayObjectDiff -> Declare (Definitions Schema) NamedSchema #
type Rep DisplayObjectDiff Source #
Instance details Defined in Unison.Server.Types type Rep DisplayObjectDiff = D1 ('MetaData "DisplayObjectDiff" "Unison.Server.Types" "unison-share-api-0.0.0-8GEhFGTHnUTHIRlWc7O5yz" 'False) (C1 ('MetaCons "DisplayObjectDiff" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (DisplayObject (LinewiseDiff (SemanticSyntaxDiff Element)) (LinewiseDiff (SemanticSyntaxDiff Element))))) :+: C1 ('MetaCons "MismatchedDisplayObjects" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (DisplayObject SyntaxText SyntaxText)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (DisplayObject SyntaxText SyntaxText))))

data UnisonRef Source #

Constructors

TypeRef UnisonHash
TermRef UnisonHash

Instances

Instances details

Generic UnisonRef Source #
Instance details Defined in Unison.Server.Types Associated Types type Rep UnisonRef :: Type -> Type # Methods from :: UnisonRef -> Rep UnisonRef x # to :: Rep UnisonRef x -> UnisonRef #
Show UnisonRef Source #
Instance details Defined in Unison.Server.Types Methods showsPrec :: Int -> UnisonRef -> ShowS # show :: UnisonRef -> String # showList :: [UnisonRef] -> ShowS #
Eq UnisonRef Source #
Instance details Defined in Unison.Server.Types Methods (==) :: UnisonRef -> UnisonRef -> Bool # (/=) :: UnisonRef -> UnisonRef -> Bool #
Ord UnisonRef Source #
Instance details Defined in Unison.Server.Types Methods compare :: UnisonRef -> UnisonRef -> Ordering # (<) :: UnisonRef -> UnisonRef -> Bool # (<=) :: UnisonRef -> UnisonRef -> Bool # (>) :: UnisonRef -> UnisonRef -> Bool # (>=) :: UnisonRef -> UnisonRef -> Bool # max :: UnisonRef -> UnisonRef -> UnisonRef # min :: UnisonRef -> UnisonRef -> UnisonRef #
type Rep UnisonRef Source #
Instance details Defined in Unison.Server.Types type Rep UnisonRef = D1 ('MetaData "UnisonRef" "Unison.Server.Types" "unison-share-api-0.0.0-8GEhFGTHnUTHIRlWc7O5yz" 'False) (C1 ('MetaCons "TypeRef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UnisonHash)) :+: C1 ('MetaCons "TermRef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UnisonHash)))

unisonRefToText :: UnisonRef -> Text Source #

data NamedTerm Source #

Constructors

NamedTerm
Fields termName :: HashQualified Name termHash :: ShortHash termType :: Maybe SyntaxText termTag :: TermTag

Instances

Instances details

FromJSON NamedTerm Source #
Instance details Defined in Unison.Server.Types Methods parseJSON :: Value -> Parser NamedTerm # parseJSONList :: Value -> Parser [NamedTerm] #
ToJSON NamedTerm Source #
Instance details Defined in Unison.Server.Types Methods toJSON :: NamedTerm -> Value # toEncoding :: NamedTerm -> Encoding # toJSONList :: [NamedTerm] -> Value # toEncodingList :: [NamedTerm] -> Encoding #
Generic NamedTerm Source #
Instance details Defined in Unison.Server.Types Associated Types type Rep NamedTerm :: Type -> Type # Methods from :: NamedTerm -> Rep NamedTerm x # to :: Rep NamedTerm x -> NamedTerm #
Show NamedTerm Source #
Instance details Defined in Unison.Server.Types Methods showsPrec :: Int -> NamedTerm -> ShowS # show :: NamedTerm -> String # showList :: [NamedTerm] -> ShowS #
Eq NamedTerm Source #
Instance details Defined in Unison.Server.Types Methods (==) :: NamedTerm -> NamedTerm -> Bool # (/=) :: NamedTerm -> NamedTerm -> Bool #
Ord NamedTerm Source #
Instance details Defined in Unison.Server.Types Methods compare :: NamedTerm -> NamedTerm -> Ordering # (<) :: NamedTerm -> NamedTerm -> Bool # (<=) :: NamedTerm -> NamedTerm -> Bool # (>) :: NamedTerm -> NamedTerm -> Bool # (>=) :: NamedTerm -> NamedTerm -> Bool # max :: NamedTerm -> NamedTerm -> NamedTerm # min :: NamedTerm -> NamedTerm -> NamedTerm #
ToSchema NamedTerm Source #
Instance details Defined in Unison.Server.Types Methods declareNamedSchema :: Proxy NamedTerm -> Declare (Definitions Schema) NamedSchema #
type Rep NamedTerm Source #
Instance details Defined in Unison.Server.Types type Rep NamedTerm = D1 ('MetaData "NamedTerm" "Unison.Server.Types" "unison-share-api-0.0.0-8GEhFGTHnUTHIRlWc7O5yz" 'False) (C1 ('MetaCons "NamedTerm" 'PrefixI 'True) ((S1 ('MetaSel ('Just "termName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (HashQualified Name)) :: S1 ('MetaSel ('Just "termHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ShortHash)) :: (S1 ('MetaSel ('Just "termType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe SyntaxText)) :*: S1 ('MetaSel ('Just "termTag") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TermTag))))

data NamedType Source #

Constructors

NamedType
Fields typeName :: HashQualified Name typeHash :: ShortHash typeTag :: TypeTag

Instances

Instances details

FromJSON NamedType Source #
Instance details Defined in Unison.Server.Types Methods parseJSON :: Value -> Parser NamedType # parseJSONList :: Value -> Parser [NamedType] #
ToJSON NamedType Source #
Instance details Defined in Unison.Server.Types Methods toJSON :: NamedType -> Value # toEncoding :: NamedType -> Encoding # toJSONList :: [NamedType] -> Value # toEncodingList :: [NamedType] -> Encoding #
Generic NamedType Source #
Instance details Defined in Unison.Server.Types Associated Types type Rep NamedType :: Type -> Type # Methods from :: NamedType -> Rep NamedType x # to :: Rep NamedType x -> NamedType #
Show NamedType Source #
Instance details Defined in Unison.Server.Types Methods showsPrec :: Int -> NamedType -> ShowS # show :: NamedType -> String # showList :: [NamedType] -> ShowS #
Eq NamedType Source #
Instance details Defined in Unison.Server.Types Methods (==) :: NamedType -> NamedType -> Bool # (/=) :: NamedType -> NamedType -> Bool #
Ord NamedType Source #
Instance details Defined in Unison.Server.Types Methods compare :: NamedType -> NamedType -> Ordering # (<) :: NamedType -> NamedType -> Bool # (<=) :: NamedType -> NamedType -> Bool # (>) :: NamedType -> NamedType -> Bool # (>=) :: NamedType -> NamedType -> Bool # max :: NamedType -> NamedType -> NamedType # min :: NamedType -> NamedType -> NamedType #
ToSchema NamedType Source #
Instance details Defined in Unison.Server.Types Methods declareNamedSchema :: Proxy NamedType -> Declare (Definitions Schema) NamedSchema #
type Rep NamedType Source #
Instance details Defined in Unison.Server.Types type Rep NamedType = D1 ('MetaData "NamedType" "Unison.Server.Types" "unison-share-api-0.0.0-8GEhFGTHnUTHIRlWc7O5yz" 'False) (C1 ('MetaCons "NamedType" 'PrefixI 'True) (S1 ('MetaSel ('Just "typeName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (HashQualified Name)) :: (S1 ('MetaSel ('Just "typeHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ShortHash) :: S1 ('MetaSel ('Just "typeTag") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeTag))))

munge :: Text -> ByteString Source #

mungeShow :: Show s => s -> ByteString Source #

mungeString :: String -> ByteString Source #

defaultWidth :: Width Source #

discard :: Applicative m => a -> m () Source #

mayDefaultWidth :: Maybe Width -> Width Source #

setCacheControl :: v -> APIHeaders v Source #

branchToUnisonHash :: Branch m -> UnisonHash Source #

v2CausalBranchToUnisonHash :: CausalBranch m -> UnisonHash Source #

newtype ProjectBranchNameParam Source #

Constructors

ProjectBranchNameParam
Fields unProjectBranchNameParam :: ProjectAndBranch ProjectName ProjectBranchName

Instances

Instances details

Generic ProjectBranchNameParam Source #
Instance details Defined in Unison.Server.Types Associated Types type Rep ProjectBranchNameParam :: Type -> Type # Methods from :: ProjectBranchNameParam -> Rep ProjectBranchNameParam x # to :: Rep ProjectBranchNameParam x -> ProjectBranchNameParam #
Show ProjectBranchNameParam Source #
Instance details Defined in Unison.Server.Types Methods showsPrec :: Int -> ProjectBranchNameParam -> ShowS # show :: ProjectBranchNameParam -> String # showList :: [ProjectBranchNameParam] -> ShowS #
Eq ProjectBranchNameParam Source #
Instance details Defined in Unison.Server.Types Methods (==) :: ProjectBranchNameParam -> ProjectBranchNameParam -> Bool # (/=) :: ProjectBranchNameParam -> ProjectBranchNameParam -> Bool #
FromHttpApiData ProjectBranchNameParam Source #	Parses URL escaped project and branch names, e.g. `unison%2Fbase%2Fmain` or `unison%2Fbase%2F@runarorama%2Fmain`
Instance details Defined in Unison.Server.Types Methods parseUrlPiece :: Text -> Either Text ProjectBranchNameParam # parseHeader :: ByteString -> Either Text ProjectBranchNameParam # parseQueryParam :: Text -> Either Text ProjectBranchNameParam #
ToParamSchema ProjectBranchNameParam Source #
Instance details Defined in Unison.Server.Types Methods toParamSchema :: Proxy ProjectBranchNameParam -> Schema #
ToCapture (Capture "project-and-branch" ProjectBranchNameParam) Source #
Instance details Defined in Unison.Server.Types Methods toCapture :: Proxy (Capture "project-and-branch" ProjectBranchNameParam) -> DocCapture #
ToParam (QueryParam "project-and-branch" ProjectBranchNameParam) Source #
Instance details Defined in Unison.Server.Types Methods toParam :: Proxy (QueryParam "project-and-branch" ProjectBranchNameParam) -> DocQueryParam #
type Rep ProjectBranchNameParam Source #
Instance details Defined in Unison.Server.Types type Rep ProjectBranchNameParam = D1 ('MetaData "ProjectBranchNameParam" "Unison.Server.Types" "unison-share-api-0.0.0-8GEhFGTHnUTHIRlWc7O5yz" 'True) (C1 ('MetaCons "ProjectBranchNameParam" 'PrefixI 'True) (S1 ('MetaSel ('Just "unProjectBranchNameParam") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ProjectAndBranch ProjectName ProjectBranchName))))

data TermDiffResponse Source #

Constructors

TermDiffResponse
Fields project :: ProjectName oldBranch :: ProjectBranchName newBranch :: ProjectBranchName oldTerm :: TermDefinition newTerm :: TermDefinition diff :: DisplayObjectDiff

Instances

Instances details

FromJSON TermDiffResponse Source #
Instance details Defined in Unison.Server.Types Methods parseJSON :: Value -> Parser TermDiffResponse # parseJSONList :: Value -> Parser [TermDiffResponse] #
ToJSON TermDiffResponse Source #
Instance details Defined in Unison.Server.Types Methods toJSON :: TermDiffResponse -> Value # toEncoding :: TermDiffResponse -> Encoding # toJSONList :: [TermDiffResponse] -> Value # toEncodingList :: [TermDiffResponse] -> Encoding #
Generic TermDiffResponse Source #
Instance details Defined in Unison.Server.Types Associated Types type Rep TermDiffResponse :: Type -> Type # Methods from :: TermDiffResponse -> Rep TermDiffResponse x # to :: Rep TermDiffResponse x -> TermDiffResponse #
Show TermDiffResponse Source #
Instance details Defined in Unison.Server.Types Methods showsPrec :: Int -> TermDiffResponse -> ShowS # show :: TermDiffResponse -> String # showList :: [TermDiffResponse] -> ShowS #
Eq TermDiffResponse Source #
Instance details Defined in Unison.Server.Types Methods (==) :: TermDiffResponse -> TermDiffResponse -> Bool # (/=) :: TermDiffResponse -> TermDiffResponse -> Bool #
Ord TermDiffResponse Source #
Instance details Defined in Unison.Server.Types Methods compare :: TermDiffResponse -> TermDiffResponse -> Ordering # (<) :: TermDiffResponse -> TermDiffResponse -> Bool # (<=) :: TermDiffResponse -> TermDiffResponse -> Bool # (>) :: TermDiffResponse -> TermDiffResponse -> Bool # (>=) :: TermDiffResponse -> TermDiffResponse -> Bool # max :: TermDiffResponse -> TermDiffResponse -> TermDiffResponse # min :: TermDiffResponse -> TermDiffResponse -> TermDiffResponse #
ToSchema TermDiffResponse Source #
Instance details Defined in Unison.Server.Types Methods declareNamedSchema :: Proxy TermDiffResponse -> Declare (Definitions Schema) NamedSchema #
ToSample TermDiffResponse Source #
Instance details Defined in Unison.Server.Types Methods toSamples :: Proxy TermDiffResponse -> [(Text, TermDiffResponse)] #
type Rep TermDiffResponse Source #
Instance details Defined in Unison.Server.Types type Rep TermDiffResponse = D1 ('MetaData "TermDiffResponse" "Unison.Server.Types" "unison-share-api-0.0.0-8GEhFGTHnUTHIRlWc7O5yz" 'False) (C1 ('MetaCons "TermDiffResponse" 'PrefixI 'True) ((S1 ('MetaSel ('Just "project") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ProjectName) :: (S1 ('MetaSel ('Just "oldBranch") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ProjectBranchName) :: S1 ('MetaSel ('Just "newBranch") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ProjectBranchName))) :: (S1 ('MetaSel ('Just "oldTerm") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TermDefinition) :: (S1 ('MetaSel ('Just "newTerm") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TermDefinition) :*: S1 ('MetaSel ('Just "diff") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DisplayObjectDiff)))))

data TypeDiffResponse Source #

Constructors

TypeDiffResponse
Fields project :: ProjectName oldBranch :: ProjectBranchName newBranch :: ProjectBranchName oldType :: TypeDefinition newType :: TypeDefinition diff :: DisplayObjectDiff

Instances

Instances details

FromJSON TypeDiffResponse Source #
Instance details Defined in Unison.Server.Types Methods parseJSON :: Value -> Parser TypeDiffResponse # parseJSONList :: Value -> Parser [TypeDiffResponse] #
ToJSON TypeDiffResponse Source #
Instance details Defined in Unison.Server.Types Methods toJSON :: TypeDiffResponse -> Value # toEncoding :: TypeDiffResponse -> Encoding # toJSONList :: [TypeDiffResponse] -> Value # toEncodingList :: [TypeDiffResponse] -> Encoding #
Generic TypeDiffResponse Source #
Instance details Defined in Unison.Server.Types Associated Types type Rep TypeDiffResponse :: Type -> Type # Methods from :: TypeDiffResponse -> Rep TypeDiffResponse x # to :: Rep TypeDiffResponse x -> TypeDiffResponse #
Show TypeDiffResponse Source #
Instance details Defined in Unison.Server.Types Methods showsPrec :: Int -> TypeDiffResponse -> ShowS # show :: TypeDiffResponse -> String # showList :: [TypeDiffResponse] -> ShowS #
Eq TypeDiffResponse Source #
Instance details Defined in Unison.Server.Types Methods (==) :: TypeDiffResponse -> TypeDiffResponse -> Bool # (/=) :: TypeDiffResponse -> TypeDiffResponse -> Bool #
Ord TypeDiffResponse Source #
Instance details Defined in Unison.Server.Types Methods compare :: TypeDiffResponse -> TypeDiffResponse -> Ordering # (<) :: TypeDiffResponse -> TypeDiffResponse -> Bool # (<=) :: TypeDiffResponse -> TypeDiffResponse -> Bool # (>) :: TypeDiffResponse -> TypeDiffResponse -> Bool # (>=) :: TypeDiffResponse -> TypeDiffResponse -> Bool # max :: TypeDiffResponse -> TypeDiffResponse -> TypeDiffResponse # min :: TypeDiffResponse -> TypeDiffResponse -> TypeDiffResponse #
ToSchema TypeDiffResponse Source #
Instance details Defined in Unison.Server.Types Methods declareNamedSchema :: Proxy TypeDiffResponse -> Declare (Definitions Schema) NamedSchema #
ToSample TypeDiffResponse Source #
Instance details Defined in Unison.Server.Types Methods toSamples :: Proxy TypeDiffResponse -> [(Text, TypeDiffResponse)] #
type Rep TypeDiffResponse Source #
Instance details Defined in Unison.Server.Types type Rep TypeDiffResponse = D1 ('MetaData "TypeDiffResponse" "Unison.Server.Types" "unison-share-api-0.0.0-8GEhFGTHnUTHIRlWc7O5yz" 'False) (C1 ('MetaCons "TypeDiffResponse" 'PrefixI 'True) ((S1 ('MetaSel ('Just "project") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ProjectName) :: (S1 ('MetaSel ('Just "oldBranch") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ProjectBranchName) :: S1 ('MetaSel ('Just "newBranch") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ProjectBranchName))) :: (S1 ('MetaSel ('Just "oldType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeDefinition) :: (S1 ('MetaSel ('Just "newType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeDefinition) :*: S1 ('MetaSel ('Just "diff") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DisplayObjectDiff)))))

type RequiredQueryParam = QueryParam' '[Required, Strict] Source #

Servant utility for a query param that's required, providing a useful error message if it's missing.

data DefinitionNameSearchResult Source #

Constructors

DefinitionNameSearchResult
Fields token :: Name tag :: TermOrTypeTag

Instances

Instances details

FromJSON DefinitionNameSearchResult Source #
Instance details Defined in Unison.Server.Types Methods parseJSON :: Value -> Parser DefinitionNameSearchResult # parseJSONList :: Value -> Parser [DefinitionNameSearchResult] #
ToJSON DefinitionNameSearchResult Source #
Instance details Defined in Unison.Server.Types Methods toJSON :: DefinitionNameSearchResult -> Value # toEncoding :: DefinitionNameSearchResult -> Encoding # toJSONList :: [DefinitionNameSearchResult] -> Value # toEncodingList :: [DefinitionNameSearchResult] -> Encoding #

newtype DefinitionSearchResults Source #

Constructors

DefinitionSearchResults
Fields results :: [DefinitionSearchResult]

Instances

Instances details

FromJSON DefinitionSearchResults Source #
Instance details Defined in Unison.Server.Types Methods parseJSON :: Value -> Parser DefinitionSearchResults # parseJSONList :: Value -> Parser [DefinitionSearchResults] #
ToJSON DefinitionSearchResults Source #
Instance details Defined in Unison.Server.Types Methods toJSON :: DefinitionSearchResults -> Value # toEncoding :: DefinitionSearchResults -> Encoding # toJSONList :: [DefinitionSearchResults] -> Value # toEncodingList :: [DefinitionSearchResults] -> Encoding #
Generic DefinitionSearchResults Source #
Instance details Defined in Unison.Server.Types Associated Types type Rep DefinitionSearchResults :: Type -> Type # Methods from :: DefinitionSearchResults -> Rep DefinitionSearchResults x # to :: Rep DefinitionSearchResults x -> DefinitionSearchResults #
Show DefinitionSearchResults Source #
Instance details Defined in Unison.Server.Types Methods showsPrec :: Int -> DefinitionSearchResults -> ShowS # show :: DefinitionSearchResults -> String # showList :: [DefinitionSearchResults] -> ShowS #
Eq DefinitionSearchResults Source #
Instance details Defined in Unison.Server.Types Methods (==) :: DefinitionSearchResults -> DefinitionSearchResults -> Bool # (/=) :: DefinitionSearchResults -> DefinitionSearchResults -> Bool #
ToSchema DefinitionSearchResults Source #
Instance details Defined in Unison.Server.Types Methods declareNamedSchema :: Proxy DefinitionSearchResults -> Declare (Definitions Schema) NamedSchema #
ToSample DefinitionSearchResults Source #
Instance details Defined in Unison.Server.Types Methods toSamples :: Proxy DefinitionSearchResults -> [(Text, DefinitionSearchResults)] #
type Rep DefinitionSearchResults Source #
Instance details Defined in Unison.Server.Types type Rep DefinitionSearchResults = D1 ('MetaData "DefinitionSearchResults" "Unison.Server.Types" "unison-share-api-0.0.0-8GEhFGTHnUTHIRlWc7O5yz" 'True) (C1 ('MetaCons "DefinitionSearchResults" 'PrefixI 'True) (S1 ('MetaSel ('Just "results") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [DefinitionSearchResult])))

data DefinitionSearchResult Source #

Constructors

DefinitionSearchResult
Fields fqn :: Name summary :: TermOrTypeSummary project :: ProjectName branchRef :: ProjectBranchName

Instances

Instances details

FromJSON DefinitionSearchResult Source #
Instance details Defined in Unison.Server.Types Methods parseJSON :: Value -> Parser DefinitionSearchResult # parseJSONList :: Value -> Parser [DefinitionSearchResult] #
ToJSON DefinitionSearchResult Source #
Instance details Defined in Unison.Server.Types Methods toJSON :: DefinitionSearchResult -> Value # toEncoding :: DefinitionSearchResult -> Encoding # toJSONList :: [DefinitionSearchResult] -> Value # toEncodingList :: [DefinitionSearchResult] -> Encoding #
Generic DefinitionSearchResult Source #
Instance details Defined in Unison.Server.Types Associated Types type Rep DefinitionSearchResult :: Type -> Type # Methods from :: DefinitionSearchResult -> Rep DefinitionSearchResult x # to :: Rep DefinitionSearchResult x -> DefinitionSearchResult #
Show DefinitionSearchResult Source #
Instance details Defined in Unison.Server.Types Methods showsPrec :: Int -> DefinitionSearchResult -> ShowS # show :: DefinitionSearchResult -> String # showList :: [DefinitionSearchResult] -> ShowS #
Eq DefinitionSearchResult Source #
Instance details Defined in Unison.Server.Types Methods (==) :: DefinitionSearchResult -> DefinitionSearchResult -> Bool # (/=) :: DefinitionSearchResult -> DefinitionSearchResult -> Bool #
ToSchema DefinitionSearchResult Source #
Instance details Defined in Unison.Server.Types Methods declareNamedSchema :: Proxy DefinitionSearchResult -> Declare (Definitions Schema) NamedSchema #
type Rep DefinitionSearchResult Source #
Instance details Defined in Unison.Server.Types type Rep DefinitionSearchResult = D1 ('MetaData "DefinitionSearchResult" "Unison.Server.Types" "unison-share-api-0.0.0-8GEhFGTHnUTHIRlWc7O5yz" 'False) (C1 ('MetaCons "DefinitionSearchResult" 'PrefixI 'True) ((S1 ('MetaSel ('Just "fqn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :: S1 ('MetaSel ('Just "summary") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TermOrTypeSummary)) :: (S1 ('MetaSel ('Just "project") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ProjectName) :*: S1 ('MetaSel ('Just "branchRef") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ProjectBranchName))))

data TermSummary Source #

Constructors

TermSummary
Fields displayName :: HashQualified Name hash :: ShortHash summary :: DisplayObject SyntaxText SyntaxText tag :: TermTag

Instances

Instances details

ToJSON TermSummary Source #
Instance details Defined in Unison.Server.Types Methods toJSON :: TermSummary -> Value # toEncoding :: TermSummary -> Encoding # toJSONList :: [TermSummary] -> Value # toEncodingList :: [TermSummary] -> Encoding #
Generic TermSummary Source #
Instance details Defined in Unison.Server.Types Associated Types type Rep TermSummary :: Type -> Type # Methods from :: TermSummary -> Rep TermSummary x # to :: Rep TermSummary x -> TermSummary #
Show TermSummary Source #
Instance details Defined in Unison.Server.Types Methods showsPrec :: Int -> TermSummary -> ShowS # show :: TermSummary -> String # showList :: [TermSummary] -> ShowS #
Eq TermSummary Source #
Instance details Defined in Unison.Server.Types Methods (==) :: TermSummary -> TermSummary -> Bool # (/=) :: TermSummary -> TermSummary -> Bool #
Ord TermSummary Source #
Instance details Defined in Unison.Server.Types Methods compare :: TermSummary -> TermSummary -> Ordering # (<) :: TermSummary -> TermSummary -> Bool # (<=) :: TermSummary -> TermSummary -> Bool # (>) :: TermSummary -> TermSummary -> Bool # (>=) :: TermSummary -> TermSummary -> Bool # max :: TermSummary -> TermSummary -> TermSummary # min :: TermSummary -> TermSummary -> TermSummary #
ToSchema TermSummary Source #
Instance details Defined in Unison.Server.Types Methods declareNamedSchema :: Proxy TermSummary -> Declare (Definitions Schema) NamedSchema #
ToSample TermSummary Source #
Instance details Defined in Unison.Server.Types Methods toSamples :: Proxy TermSummary -> [(Text, TermSummary)] #
type Rep TermSummary Source #
Instance details Defined in Unison.Server.Types type Rep TermSummary = D1 ('MetaData "TermSummary" "Unison.Server.Types" "unison-share-api-0.0.0-8GEhFGTHnUTHIRlWc7O5yz" 'False) (C1 ('MetaCons "TermSummary" 'PrefixI 'True) ((S1 ('MetaSel ('Just "displayName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (HashQualified Name)) :: S1 ('MetaSel ('Just "hash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ShortHash)) :: (S1 ('MetaSel ('Just "summary") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (DisplayObject SyntaxText SyntaxText)) :*: S1 ('MetaSel ('Just "tag") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TermTag))))

data TypeSummary Source #

Constructors

TypeSummary
Fields displayName :: HashQualified Name hash :: ShortHash summary :: DisplayObject SyntaxText SyntaxText tag :: TypeTag

Instances

Instances details

ToJSON TypeSummary Source #
Instance details Defined in Unison.Server.Types Methods toJSON :: TypeSummary -> Value # toEncoding :: TypeSummary -> Encoding # toJSONList :: [TypeSummary] -> Value # toEncodingList :: [TypeSummary] -> Encoding #
Generic TypeSummary Source #
Instance details Defined in Unison.Server.Types Associated Types type Rep TypeSummary :: Type -> Type # Methods from :: TypeSummary -> Rep TypeSummary x # to :: Rep TypeSummary x -> TypeSummary #
Show TypeSummary Source #
Instance details Defined in Unison.Server.Types Methods showsPrec :: Int -> TypeSummary -> ShowS # show :: TypeSummary -> String # showList :: [TypeSummary] -> ShowS #
Eq TypeSummary Source #
Instance details Defined in Unison.Server.Types Methods (==) :: TypeSummary -> TypeSummary -> Bool # (/=) :: TypeSummary -> TypeSummary -> Bool #
Ord TypeSummary Source #
Instance details Defined in Unison.Server.Types Methods compare :: TypeSummary -> TypeSummary -> Ordering # (<) :: TypeSummary -> TypeSummary -> Bool # (<=) :: TypeSummary -> TypeSummary -> Bool # (>) :: TypeSummary -> TypeSummary -> Bool # (>=) :: TypeSummary -> TypeSummary -> Bool # max :: TypeSummary -> TypeSummary -> TypeSummary # min :: TypeSummary -> TypeSummary -> TypeSummary #
ToSchema TypeSummary Source #
Instance details Defined in Unison.Server.Types Methods declareNamedSchema :: Proxy TypeSummary -> Declare (Definitions Schema) NamedSchema #
ToSample TypeSummary Source #
Instance details Defined in Unison.Server.Types Methods toSamples :: Proxy TypeSummary -> [(Text, TypeSummary)] #
type Rep TypeSummary Source #
Instance details Defined in Unison.Server.Types type Rep TypeSummary = D1 ('MetaData "TypeSummary" "Unison.Server.Types" "unison-share-api-0.0.0-8GEhFGTHnUTHIRlWc7O5yz" 'False) (C1 ('MetaCons "TypeSummary" 'PrefixI 'True) ((S1 ('MetaSel ('Just "displayName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (HashQualified Name)) :: S1 ('MetaSel ('Just "hash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ShortHash)) :: (S1 ('MetaSel ('Just "summary") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (DisplayObject SyntaxText SyntaxText)) :*: S1 ('MetaSel ('Just "tag") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeTag))))

data TermOrTypeSummary Source #

Constructors

ToTTermSummary TermSummary
ToTTypeSummary TypeSummary

Instances

Instances details

FromJSON TermOrTypeSummary Source #
Instance details Defined in Unison.Server.Types Methods parseJSON :: Value -> Parser TermOrTypeSummary # parseJSONList :: Value -> Parser [TermOrTypeSummary] #
ToJSON TermOrTypeSummary Source #
Instance details Defined in Unison.Server.Types Methods toJSON :: TermOrTypeSummary -> Value # toEncoding :: TermOrTypeSummary -> Encoding # toJSONList :: [TermOrTypeSummary] -> Value # toEncodingList :: [TermOrTypeSummary] -> Encoding #
Generic TermOrTypeSummary Source #
Instance details Defined in Unison.Server.Types Associated Types type Rep TermOrTypeSummary :: Type -> Type # Methods from :: TermOrTypeSummary -> Rep TermOrTypeSummary x # to :: Rep TermOrTypeSummary x -> TermOrTypeSummary #
Show TermOrTypeSummary Source #
Instance details Defined in Unison.Server.Types Methods showsPrec :: Int -> TermOrTypeSummary -> ShowS # show :: TermOrTypeSummary -> String # showList :: [TermOrTypeSummary] -> ShowS #
Eq TermOrTypeSummary Source #
Instance details Defined in Unison.Server.Types Methods (==) :: TermOrTypeSummary -> TermOrTypeSummary -> Bool # (/=) :: TermOrTypeSummary -> TermOrTypeSummary -> Bool #
Ord TermOrTypeSummary Source #
Instance details Defined in Unison.Server.Types Methods compare :: TermOrTypeSummary -> TermOrTypeSummary -> Ordering # (<) :: TermOrTypeSummary -> TermOrTypeSummary -> Bool # (<=) :: TermOrTypeSummary -> TermOrTypeSummary -> Bool # (>) :: TermOrTypeSummary -> TermOrTypeSummary -> Bool # (>=) :: TermOrTypeSummary -> TermOrTypeSummary -> Bool # max :: TermOrTypeSummary -> TermOrTypeSummary -> TermOrTypeSummary # min :: TermOrTypeSummary -> TermOrTypeSummary -> TermOrTypeSummary #
ToSchema TermOrTypeSummary Source #
Instance details Defined in Unison.Server.Types Methods declareNamedSchema :: Proxy TermOrTypeSummary -> Declare (Definitions Schema) NamedSchema #
type Rep TermOrTypeSummary Source #
Instance details Defined in Unison.Server.Types type Rep TermOrTypeSummary = D1 ('MetaData "TermOrTypeSummary" "Unison.Server.Types" "unison-share-api-0.0.0-8GEhFGTHnUTHIRlWc7O5yz" 'False) (C1 ('MetaCons "ToTTermSummary" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TermSummary)) :+: C1 ('MetaCons "ToTTypeSummary" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeSummary)))

data TermOrTypeTag Source #

Constructors

ToTTermTag TermTag
ToTTypeTag TypeTag

Instances

Instances details

FromJSON TermOrTypeTag Source #
Instance details Defined in Unison.Server.Types Methods parseJSON :: Value -> Parser TermOrTypeTag # parseJSONList :: Value -> Parser [TermOrTypeTag] #
ToJSON TermOrTypeTag Source #
Instance details Defined in Unison.Server.Types Methods toJSON :: TermOrTypeTag -> Value # toEncoding :: TermOrTypeTag -> Encoding # toJSONList :: [TermOrTypeTag] -> Value # toEncodingList :: [TermOrTypeTag] -> Encoding #
Show TermOrTypeTag Source #
Instance details Defined in Unison.Server.Types Methods showsPrec :: Int -> TermOrTypeTag -> ShowS # show :: TermOrTypeTag -> String # showList :: [TermOrTypeTag] -> ShowS #
Eq TermOrTypeTag Source #
Instance details Defined in Unison.Server.Types Methods (==) :: TermOrTypeTag -> TermOrTypeTag -> Bool # (/=) :: TermOrTypeTag -> TermOrTypeTag -> Bool #
Ord TermOrTypeTag Source #
Instance details Defined in Unison.Server.Types Methods compare :: TermOrTypeTag -> TermOrTypeTag -> Ordering # (<) :: TermOrTypeTag -> TermOrTypeTag -> Bool # (<=) :: TermOrTypeTag -> TermOrTypeTag -> Bool # (>) :: TermOrTypeTag -> TermOrTypeTag -> Bool # (>=) :: TermOrTypeTag -> TermOrTypeTag -> Bool # max :: TermOrTypeTag -> TermOrTypeTag -> TermOrTypeTag # min :: TermOrTypeTag -> TermOrTypeTag -> TermOrTypeTag #
FromHttpApiData TermOrTypeTag Source #
Instance details Defined in Unison.Server.Types Methods parseUrlPiece :: Text -> Either Text TermOrTypeTag # parseHeader :: ByteString -> Either Text TermOrTypeTag # parseQueryParam :: Text -> Either Text TermOrTypeTag #
ToHttpApiData TermOrTypeTag Source #
Instance details Defined in Unison.Server.Types Methods toUrlPiece :: TermOrTypeTag -> Text # toEncodedUrlPiece :: TermOrTypeTag -> Builder # toHeader :: TermOrTypeTag -> ByteString # toQueryParam :: TermOrTypeTag -> Text # toEncodedQueryParam :: TermOrTypeTag -> Builder #