Data.Tyro

Introduction

Building types

type Extract a

type family (x :: Symbol) >%> (b :: *) :: *

type family List (x :: *) :: *

unwrap

Value level API

data Tyro

extract

(>%>)

(%%>)

Internal types

data JSBranch

type family Unwrap (x :: *) :: *