unison-share-api-0.0.0

Safe Haskell	None
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 #

omitField :: FoundTerm -> Bool #

Generic FoundTerm Source #

Instance details

Defined in Unison.Server.Local.Endpoints.FuzzyFind

Associated Types

type Rep FoundTerm

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-9fFxz1kl0ay2hTWczK4vVA" 'False) (C1 ('MetaCons "FoundTerm" 'PrefixI 'True) (S1 ('MetaSel ('Just "bestFoundTermName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 HashQualifiedName) :*: S1 ('MetaSel ('Just "namedTerm") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NamedTerm)))

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-9fFxz1kl0ay2hTWczK4vVA" '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 #

omitField :: FoundType -> Bool #

Generic FoundType Source #

Instance details

Defined in Unison.Server.Local.Endpoints.FuzzyFind

Associated Types

type Rep FoundType

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-9fFxz1kl0ay2hTWczK4vVA" '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))))

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-9fFxz1kl0ay2hTWczK4vVA" '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 #

omitField :: FoundResult -> Bool #

Generic FoundResult Source #

Instance details

Defined in Unison.Server.Local.Endpoints.FuzzyFind

Associated Types

type Rep FoundResult

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-9fFxz1kl0ay2hTWczK4vVA" '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)))

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-9fFxz1kl0ay2hTWczK4vVA" '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 :: Type -> Type). 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 # omitField :: Alignment -> Bool #
ToJSON Result Source #
Instance details Methods toJSON :: Result -> Value # toEncoding :: Result -> Encoding # toJSONList :: [Result] -> Value # toEncodingList :: [Result] -> Encoding # omitField :: Result -> Bool #
ToJSON ResultSegment Source #
Instance details Methods toJSON :: ResultSegment -> Value # toEncoding :: ResultSegment -> Encoding # toJSONList :: [ResultSegment] -> Value # toEncodingList :: [ResultSegment] -> Encoding # omitField :: ResultSegment -> Bool #
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 #