template-haskell

3열

1답변

템플릿 하스켈에서 Q 모나드는 모든 마술이 일어나는 곳입니다. 그러나 Q에는 매우 제한된 API가 있습니다. 나는 valueNameStore :: Q (String -> Maybe Name) 타입의 값을 갖고 싶다. 기본으로는 lookupValueName :: String -> Q (Maybe Name)이지만 아직 사용 가능한 변수의 저장소는 바인딩되어있다

3열

1답변

템플릿의 변수 하스켈 커스텀 쿼티 퀴어

예를 들어 천 단어의 가치가 있습니다. 여기에 꽤 간단합니다. quasi quoter 방금 작성했습니다. import Language.Haskell.TH.Quote import Language.Haskell.TH.Syntax quoter :: QuasiQuoter quoter = QuasiQuoter { quotePat = parse }

6열

1답변

컴파일시 확인 된 URI

컴파일 시간 오류 또는 URI과 같은 표현식을 만들고 싶습니다. [uri|http://stackoverflow.com|] 컴파일해야 하지만 [uri|foo:/bar:\|] 안된다. 저는 분명히 이런 종류의 문제인 QuasiQuotes를 보았습니다. 그러나, 나는 URI에서 Q Exp을 만들 수없는 것 같습니다. 이 URI에 대한 Lift 인스턴스를

1열

1답변

TemplateHaskell 함수에서 유형을 정의하고 같은 함수에서 사용하는 방법은 무엇입니까?

단일 TH 기능을 가지고 유형을 정의하고 유형을 사용하는 방법이 있습니까? 아래 관련 코드. PersonPoly2은 makeRecordSplice에 의해 정의 된 후 TH 함수이기도 한 makeAdaptorAndInstance (Opalaye에서)으로 전달됩니다.는 {-# LANGUAGE FlexibleContexts #-} {-# LANGUAGE Fl

0열

1답변

템플릿 하스켈을 사용하여 FFI 통화 생성

Frames library에는 CSV 파일을 기반으로 레코드 유형을 생성하는 readTable 함수가 있습니다. foreign import ccall unsafe "// c code" c_foo :: Int -> IO()과 같은 전화를 생성 할 수 있습니까? 나는 [d| ... |]과 [t| ... |] 쿼지백을 사용하여이를 수행하려고 시도했지만 두 가지

1열

1답변

hamletFile, luciusFile, juliusFile 변수가 범위 내에 없습니다

저는 Yesod를 사용하여 간단한 응용 프로그램을 작성 중이며 외부 파일을 가져 오는 데 어려움을 겪고 있습니다. 여기 내 코드입니다 : 내가 whamletFile로 hamletFile를 교체 할 경우 {-# LANGUAGE OverloadedStrings #-} {-# LANGUAGE QuasiQuotes #-} {-# LANGUAGE Templ

0열

1답변

하스켈 : makeLenses - 데이터 생성자가 범위에 없음

여기에 유형을 정의하고 makeLenses을 사용하여 렌즈를 생성하는 간단한 코드가 있습니다. module Api.Jira.Types.Search ( SearchRequest(..) ) where import GHC.Generics import qualified Data.Text as T import Data.Aeson (FromJ

1열

1답변

템플릿 Haskell에서 생성자를 호출하는 방법

템플릿 하스켈을 사용하여 데이터 형식을 구성하는 함수 (mkSome이라고 부르 자)가 있습니다. 일반적인 서명은 Name -> Q [Dec]입니다. 몸에 어딘가에 내가 패턴 매칭과 다른 유형의 생성자를 추출하고 있습니다 : 그래서 class MyClass a where specialValue :: a , 내가 반복 해요 : 그 생성자 cs의 c

3열

1답변

동적으로 SQL 쿼리를 Esqueleto와 Template Haskell로 빌드 하시겠습니까?

저는 웹 응용 프로그램을 작성하고 있습니다. Yesod & Persistent. 내 "프로젝트"의 특성을 포함하는 여러 테이블이있는 SQL 데이터베이스가 있습니다. 나는 메인 테이블을 가지고 있고, id를 가진 여러 테이블에 여분의 테이블을 가진 Option을 가지고있다. 사용자는 원하는 특성의 마녀를 선택하여 필터 값을 지정할 수 있어야합니다. 운영 체제

1열

1답변

템플릿 하스켈 : 기록을 템플릿 하스켈로

를 생성 내가 레코드를 생성하고자하는, 예를 들면 : data MyRecordA = MyRecordA {fooA :: String, barA :: Bool} 대문자 MyRecordA, 으로 fooA,바라 및 유형 BOOL에서 두 번째 필드의 변수는 TH 함수 호출자가 변수를 지정해야합니다. 내가 여러 변화와 시도 : 내가 좋아하는 구문 분석 오