Parsley.Internal.Backend.InstructionAnalyser

Documentation

coinsNeeded :: Fix4 (Instr o) xs n r a -> Int

relevancy :: SingNat (Length xs) => Fix4 (Instr o) xs n r a -> Vec (Length xs) Bool

type family Length (xs :: [Type]) :: Nat where ...

Equations

Length '[] = Zero

Length (_ ': xs) = Succ (Length xs)