Parsley.Internal.Backend.InstructionAnalyser
coinsNeeded :: Fix4 (Instr o) xs n r a -> Int Source #
relevancy :: SingNat (Length xs) => Fix4 (Instr o) xs n r a -> Vec (Length xs) Bool Source #
type family Length (xs :: [Type]) :: Nat where ... Source #
Equations