Safe Haskell	Safe-Inferred
Language	Haskell2010

Unison.Server.Local.Endpoints.FuzzyFind

Contents

Orphan instances

Documentation

type FuzzyFindAPI = "find" :> (QueryParam "relativeTo" Path :> (QueryParam "limit" Int :> (QueryParam "renderWidth" Width :> (QueryParam "query" String :> APIGet [(Alignment, FoundResult)])))) Source #

data FoundTerm Source #

Constructors

FoundTerm
Fields bestFoundTermName :: HashQualifiedName namedTerm :: NamedTerm

Instances

Instances details

ToJSON FoundTerm Source #
Instance details Defined in Unison.Server.Local.Endpoints.FuzzyFind Methods toJSON :: FoundTerm -> Value # toEncoding :: FoundTerm -> Encoding # toJSONList :: [FoundTerm] -> Value # toEncodingList :: [FoundTerm] -> Encoding #
Generic FoundTerm Source #
Instance details Defined in Unison.Server.Local.Endpoints.FuzzyFind Associated Types type Rep FoundTerm :: Type -> Type # Methods from :: FoundTerm -> Rep FoundTerm x # to :: Rep FoundTerm x -> FoundTerm #
Show FoundTerm Source #
Instance details Defined in Unison.Server.Local.Endpoints.FuzzyFind Methods showsPrec :: Int -> FoundTerm -> ShowS # show :: FoundTerm -> String # showList :: [FoundTerm] -> ShowS #
ToSchema FoundTerm Source #
Instance details Defined in Unison.Server.Local.Endpoints.FuzzyFind Methods declareNamedSchema :: Proxy FoundTerm -> Declare (Definitions Schema) NamedSchema #
type Rep FoundTerm Source #
Instance details Defined in Unison.Server.Local.Endpoints.FuzzyFind type Rep FoundTerm = D1 ('MetaData "FoundTerm" "Unison.Server.Local.Endpoints.FuzzyFind" "unison-share-api-0.0.0-7lCnmLo0h1RCAMi07EAZKZ" 'False) (C1 ('MetaCons "FoundTerm" 'PrefixI 'True) (S1 ('MetaSel ('Just "bestFoundTermName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 HashQualifiedName) :*: S1 ('MetaSel ('Just "namedTerm") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NamedTerm)))

data FoundType Source #

Constructors

FoundType
Fields bestFoundTypeName :: HashQualifiedName typeDef :: DisplayObject SyntaxText SyntaxText namedType :: NamedType

Instances

Instances details

ToJSON FoundType Source #
Instance details Defined in Unison.Server.Local.Endpoints.FuzzyFind Methods toJSON :: FoundType -> Value # toEncoding :: FoundType -> Encoding # toJSONList :: [FoundType] -> Value # toEncodingList :: [FoundType] -> Encoding #
Generic FoundType Source #
Instance details Defined in Unison.Server.Local.Endpoints.FuzzyFind Associated Types type Rep FoundType :: Type -> Type # Methods from :: FoundType -> Rep FoundType x # to :: Rep FoundType x -> FoundType #
Show FoundType Source #
Instance details Defined in Unison.Server.Local.Endpoints.FuzzyFind Methods showsPrec :: Int -> FoundType -> ShowS # show :: FoundType -> String # showList :: [FoundType] -> ShowS #
ToSchema FoundType Source #
Instance details Defined in Unison.Server.Local.Endpoints.FuzzyFind Methods declareNamedSchema :: Proxy FoundType -> Declare (Definitions Schema) NamedSchema #
type Rep FoundType Source #
Instance details Defined in Unison.Server.Local.Endpoints.FuzzyFind type Rep FoundType = D1 ('MetaData "FoundType" "Unison.Server.Local.Endpoints.FuzzyFind" "unison-share-api-0.0.0-7lCnmLo0h1RCAMi07EAZKZ" 'False) (C1 ('MetaCons "FoundType" 'PrefixI 'True) (S1 ('MetaSel ('Just "bestFoundTypeName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 HashQualifiedName) :: (S1 ('MetaSel ('Just "typeDef") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (DisplayObject SyntaxText SyntaxText)) :: S1 ('MetaSel ('Just "namedType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NamedType))))

data FoundResult Source #

Constructors

FoundTermResult FoundTerm
FoundTypeResult FoundType

Instances

Instances details

ToJSON FoundResult Source #
Instance details Defined in Unison.Server.Local.Endpoints.FuzzyFind Methods toJSON :: FoundResult -> Value # toEncoding :: FoundResult -> Encoding # toJSONList :: [FoundResult] -> Value # toEncodingList :: [FoundResult] -> Encoding #
Generic FoundResult Source #
Instance details Defined in Unison.Server.Local.Endpoints.FuzzyFind Associated Types type Rep FoundResult :: Type -> Type # Methods from :: FoundResult -> Rep FoundResult x # to :: Rep FoundResult x -> FoundResult #
Show FoundResult Source #
Instance details Defined in Unison.Server.Local.Endpoints.FuzzyFind Methods showsPrec :: Int -> FoundResult -> ShowS # show :: FoundResult -> String # showList :: [FoundResult] -> ShowS #
ToSchema FoundResult Source #
Instance details Defined in Unison.Server.Local.Endpoints.FuzzyFind Methods declareNamedSchema :: Proxy FoundResult -> Declare (Definitions Schema) NamedSchema #
ToSample FoundResult Source #
Instance details Defined in Unison.Server.Local.Endpoints.FuzzyFind Methods toSamples :: Proxy FoundResult -> [(Text, FoundResult)] #
type Rep FoundResult Source #
Instance details Defined in Unison.Server.Local.Endpoints.FuzzyFind type Rep FoundResult = D1 ('MetaData "FoundResult" "Unison.Server.Local.Endpoints.FuzzyFind" "unison-share-api-0.0.0-7lCnmLo0h1RCAMi07EAZKZ" 'False) (C1 ('MetaCons "FoundTermResult" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FoundTerm)) :+: C1 ('MetaCons "FoundTypeResult" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FoundType)))

serveFuzzyFind :: forall m. MonadIO m => Codebase m Symbol Ann -> Either ShortCausalHash CausalHash -> Maybe Path -> Maybe Int -> Maybe Width -> Maybe String -> Backend m [(Alignment, FoundResult)] Source #

Orphan instances

ToJSON Alignment Source #
Instance details Methods toJSON :: Alignment -> Value # toEncoding :: Alignment -> Encoding # toJSONList :: [Alignment] -> Value # toEncodingList :: [Alignment] -> Encoding #
ToJSON Result Source #
Instance details Methods toJSON :: Result -> Value # toEncoding :: Result -> Encoding # toJSONList :: [Result] -> Value # toEncodingList :: [Result] -> Encoding #
ToJSON ResultSegment Source #
Instance details Methods toJSON :: ResultSegment -> Value # toEncoding :: ResultSegment -> Encoding # toJSONList :: [ResultSegment] -> Value # toEncodingList :: [ResultSegment] -> Encoding #
ToSchema Alignment Source #
Instance details Methods declareNamedSchema :: Proxy Alignment -> Declare (Definitions Schema) NamedSchema #
ToSchema Result Source #
Instance details Methods declareNamedSchema :: Proxy Result -> Declare (Definitions Schema) NamedSchema #
ToSchema ResultSegment Source #
Instance details Methods declareNamedSchema :: Proxy ResultSegment -> Declare (Definitions Schema) NamedSchema #
ToSample Alignment Source #
Instance details Methods toSamples :: Proxy Alignment -> [(Text, Alignment)] #
ToParam (QueryParam "limit" Int) Source #
Instance details Methods toParam :: Proxy (QueryParam "limit" Int) -> DocQueryParam #
ToParam (QueryParam "query" String) Source #
Instance details Methods toParam :: Proxy (QueryParam "query" String) -> DocQueryParam #