homepage: ''
changelog-type: markdown
hash: 6773a65d69769f3b3dc27b5e33557e94f7b5b6d9c18641e2aaa7903a0dbc5137
test-bench-deps: {}
maintainer: dan.firth@homotopic.tech
synopsis: ReaderT transformer pattern for higher kinded composite data.
changelog: |
  # Changelog for composite-xstep

  ## (v0.1.0.0)

  * Initial commit - Higher kinded ReaderT transformer pattern for composite records.
basic-deps:
  base: '>=4.7 && <5'
  composite-base: -any
  vinyl: -any
all-versions:
- 0.1.0.0
author: Daniel Firth
latest: 0.1.0.0
description-type: markdown
description: |
  # composite-xstep

  This package provides a specific XRec pattern for [composite](https://hackage.haskell.org/package/composite) records, where the interpretation functor is isomorphic to `ReaderT r m`.

  For example

  ```
  import Path
  import Composite.Record
  import Composite.TH

  withLensesAndProxies [d|
    type FPath          = "path"            :-> Path Rel File
    type FPath2         = "path2"           :-> Path Rel File
    |]

  type A = '[FPath, FPath2]

  foo :: MonadThrow m => XStep m FilePath A
  foo =  parseRelDir
     ::& stripProperPrefix $(mkRelFile "foo") =<< parseRelDir
     ::& XRNil
  ```
license-name: MIT

Update from Hackage at 2020-09-05T14:26:16Z
Update from Hackage at 2020-09-05T14:26:16Z
