hs-abci-sdk-0.1.0.0

Safe HaskellNone
LanguageHaskell2010

Tendermint.SDK.Types.Effects

Synopsis
  • type family (as :: [a]) :& (bs :: [a]) :: [a] where ...

Documentation

type family (as :: [a]) :& (bs :: [a]) :: [a] where ... infixr 5 Source #

This type family gives a nice syntax for combining multiple lists of effects.

Equations

'[] :& bs = bs 
(a ': as) :& bs = a ': (as :& bs)